2016-03-18 6 views

Antwort

27

Es ist eine ASCII-Version der Notation, die im Original-Idiom-Papier verwendet wird: "Idioms: applicative programming with effects". Diese Notation wurde wiederum von einer bereits ASCII-verfassten Version von Sweirsras und Duponcheels Papier über Fehlerkorrektur-Parser-Kombinatoren inspiriert: "Deterministic, Error-Correcting Combinator Parsers". Das kam aus "Functional Parsers" von Jeroen Fokker. Dieses Papier zeigt nicht an, woher es kam, was bedeuten könnte, dass es es hervorgebracht hat. Ich wäre nicht überrascht, wenn es vorher zum Parsen verwendet wurde.

+1

Nur um zu helfen, diese Notation in der Fokker-Papier zu finden: es ist auf S.5, zu Beginn von §4 eingeführt. – PLL

13

The original idioms paper verwendet bereits für Anwendung; <*> wurde als eine ASCII-Art-Approximation davon ausgewählt, da (*) nicht verfügbar ist (es ist die Syntax der Präfixform des Infix-Operators *).