¿Cuál es la etimología de<*> de Applicative en Haskell?

notation nomenclature

Question

¿Dónde comenzó a aparecer el nombre <*> en la literatura o en el código, y llegó con alguna explicación para la elección del símbolo?

Answer 1

Es una ASCIIificación de la notación utilizada en el original modismos: " Modismos: programación aplicativa con efectos ". Esa notación, a su vez, estaba inspirada en una versión ya ASCIIificada del documento de Sweirstra y Duponcheel sobre los combinadores de analizadores de corrección de errores: " Deterministas, correctores de compresores de corrección de errores ". Eso vino de " Functional Parsers " por Jeroen Fokker. Este documento no indica de dónde vino, lo que puede significar que lo originó. No me sorprendería si se usara para analizar antes.

Answer 2

El trabajo original de modismos ya usa ⊛ para la aplicación; <*> se seleccionó como una aproximación ASCII-art de eso, ya que (*) no está disponible (es la sintaxis de la forma de prefijo del operador infijo * ).