Ce gofer est un fork de Mark Jones original avec quelques ajouts et modifications, le plus visible étant le point Dijkstra pour l'application des fonctions. Voir Conventions de notation – à partir de la page 8.
Je l'appelais pugofer puisque je l'utilisais pour enseigner à l'Université de Pune au début des années 90.
Mark Jones est grandement remercié pour ce travail pionnier.
Voir installation/configuration
Pour voir à quoi ressemble la source avec ces syntaxes modifiées, regardez le prélude standard : pustd.pre.
Le prélude alternatif pusimple est particulièrement intéressant pour ceux qui ressentent le besoin de comprendre Hindley-Milner avant de se lancer dans des cours de dactylographie. Avec cela vous obtiendrez par exemple :
? : t (+)
(+) : Int -> Int -> Int
? : t (==)
(==) : a -> a -> Bool Vous pouvez revenir à la syntaxe Haskell classique avec :s -S
? map . ( 1 + ) . [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] : [ Int ]
? : s - S
? map ( 1 + ) [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] :: [ Int ]
cd srcLINUX , WIN32 ou NETBSD (pour MacOS) devrait être 1 ; tout le reste devrait être 0CC – dans Makefile$ make Il n'y a pas de configuration à exécuter.
Windows semble être construit avec Mingw pour 32 bits mais pas 64.
Les justifications de ces changements sont expliquées dans les Notes sur la notation.
Peut également être intéressant :
De toute évidence, à la fin de sa vie, Dijkstra a soutenu FP
