2016-03-18 11 views

Odpowiedz

27

Jest to ASCIIfikacja notacji użytej w oryginalnym dokumencie idiomów: "Idioms: applicative programming with effects". Ta notacja została zainspirowana przez już zmodyfikowaną wersję z artykułu Sweirstry i Duponcheela na temat kombinatorów parsera poprawiających błędy: "Deterministic, Error-Correcting Combinator Parsers". To pochodziło z "Functional Parsers" Jeroena Fokkera. Ten dokument nie wskazuje, skąd pochodzi, co może oznaczać, że pochodzi. Nie zdziwiłbym się, gdyby wcześniej był używany do analizowania.

+1

Aby pomóc w znalezieniu tego zapisu w dokumencie Fokkera: został wprowadzony na stronie 5, na początku §4. – PLL

13

The original idioms paper już korzysta z aplikacji ; <*> został wybrany jako przybliżenie ASCII-art, ponieważ (*) nie jest dostępny (jest to składnia prefiksu operatora infiksowania *).

Powiązane problemy