このゴーファーは、Mark Jones のオリジナルにいくつかの追加と変更を加えたもので、最も目立つものは関数適用用のDijkstra ドットです。表記規則 – ページ 8 以降を参照してください。
90年代初頭にプネ大学で教えていたときから、私はそれをpugoferと呼んでいました。
マーク・ジョーンズは、この先駆的な業績に対して感謝の意を表します。
インストール/セットアップを参照してください
これらの変更された構文でソースがどのように見えるかを確認するには、標準のプレリュードである pustd.pre を参照してください。
別のプレリュード pusimple は、型クラスに入る前に 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 つだけが 1 である必要があります。残りはすべて 0 である必要がありますCC – を選択します。$ make実行する構成はありません。
Windows は 32 ビットでは mingw でビルドされているようですが、64 ビットではビルドされていないようです。
これらの変更の正当な理由は、「表記上の注意」で説明されています。
以下も興味深いかもしれません:
明らかに、ディクストラは人生の終わりにFPをサポートしました
