這個 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 src
LINUX
、 WIN32
或NETBSD
(針對 MacOS)中的一個應該為 1;其餘的都應該是 0CC
$ make
沒有要運行的配置。
Windows 似乎是用 mingw 建置的 32 位元版本,但不是 64 位元版本。
符號說明中解釋了這些變更的理由
還可能感興趣:
顯然迪傑斯特拉在他生命的最後階段確實支持了 FP