Dieser Gofer ist eine Abzweigung des Originals von Mark Jones mit einigen Ergänzungen und Modifikationen, wobei der Dijkstra-Punkt für die Funktionsanwendung die sichtbarste ist. Siehe Notationskonventionen – Seite 8 ff.
Ich habe es Pugofer genannt, seit ich es Anfang der 90er Jahre an der Universität Pune zum Unterrichten verwendet habe.
Mark Jones wird für diese Pionierarbeit dankbar gewürdigt.
Siehe Installation/Setup
Um zu sehen, wie die Quelle mit diesen geänderten Syntaxen aussieht, sehen Sie sich das Standard-Vorspiel an: pustd.pre.
Das alternative Präludium Pusimple ist besonders gut für diejenigen geeignet, die das Bedürfnis verspüren, Hindley-Milner zu groken, bevor sie in den Schriftunterricht einsteigen. Damit erhalten Sie zum Beispiel:
? : t (+)
(+) : Int -> Int -> Int
? : t (==)
(==) : a -> a -> Bool Sie können mit :s -S zur klassischen Haskell-Syntax zurückkehren
? map . ( 1 + ) . [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] : [ Int ]
? : s - S
? map ( 1 + ) [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] :: [ Int ]
cd srcLINUX , WIN32 oder NETBSD (für MacOS) sollte 1 sein; der Rest sollte 0 seinCC – in Makefile$ make Es gibt keine Konfiguration zum Ausführen.
Windows scheint mit mingw für 32 Bit zu erstellen, aber nicht für 64.
Die Begründungen für diese Änderungen werden in den Anmerkungen zur Notation erläutert
Könnte auch von Interesse sein:
Offensichtlich unterstützte Dijkstra am Ende seines Lebens FP
