25
Skąd nazwa <*> zaczęła pojawiać się najpierw w literaturze lub kodzie, i czy zawierała jakieś wyjaśnienie wyboru symbolu?Jaka jest etymologia <*> z Applicative w Haskell?
A
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.
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 *).
Aby pomóc w znalezieniu tego zapisu w dokumencie Fokkera: został wprowadzony na stronie 5, na początku §4. – PLL