这个 Gofer 是 Mark Jones 原版的一个分支，并进行了一些添加和修改，最明显的是用于函数应用的Dijkstra 点。请参阅符号约定 – 第 8 页起。
我以前称它为pugofer，因为我在 90 年代初期在浦那大学用它来教学。
马克·琼斯对这项开创性工作表示感谢。
请参阅安装/设置
要了解源代码在这些更改后的语法下的外观，请查看标准前奏：pustd.pre。
对于那些在进入类型类之前需要先了解 Hindley-Milner 的人来说，备用前奏曲特别简洁。这样你就会得到，例如：
? : t (+)
(+) : Int -> Int -> Int
? : t (==)
(==) : a -> a -> Bool您可以使用:s -S切换回经典 Haskell 语法
? map . ( 1 + ) . [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] : [ Int ]
? : s - S
? map ( 1 + ) [ 1 , 2 , 3 ]
[ 2 , 3 , 4 ] :: [ Int ]
cd srcLINUX 、 WIN32或NETBSD （对于 MacOS）中的一个应该为 1；其余的都应该是 0CC$ make没有要运行的配置。
Windows 似乎是用 mingw 构建的 32 位版本，但不是 64 位版本。
符号说明中解释了这些更改的理由
还可能感兴趣：
显然迪杰斯特拉在他生命的最后阶段确实支持了 FP
