Dove il nome <*>
inizia a comparire in letteratura o in codice e ha fornito una spiegazione per la scelta del simbolo?Qual è l'etimologia di <*> da Applicativo in Haskell?
risposta
È un'accentuazione della notazione utilizzata nel documento originale idiomi: "Idioms: applicative programming with effects". Questa notazione, a sua volta, è stata ispirata da una versione già ASCIIified dal documento di Sweirstra e Duponcheel sui combinatori di parser con correzione degli errori: "Deterministic, Error-Correcting Combinator Parsers". Veniva da "Functional Parsers" di Jeroen Fokker. Questo documento non indica da dove proviene che possa significare che lo ha originato. Non sarei sorpreso se fosse usato per l'analisi prima di allora.
The original idioms paper utilizza già ⊛
per applicazione; <*>
è stato scelto come un'approssimazione di arte ASCII di quello, dal momento che (*)
non è disponibile (è la sintassi del modulo prefisso dell'operatore infisso *
).
Solo per aiutare a trovare questa notazione nel documento Fokker: è stata introdotta a p.5, all'inizio di §4. – PLL