이 고퍼는 일부 추가 및 수정이 포함된 Mark Jones 원본 포크이며, 가장 눈에 띄는 것은 기능 적용을 위한 Dijkstra 도트 입니다. 표기 규칙 – 8페이지 이후를 참조하세요.
저는 90년대 초반 푸네 대학에서 가르칠 때 사용했던 이후로 그것을 Pugofer 라고 부르곤 했습니다.
Mark Jones는 이 선구적인 작업에 대해 감사하게 생각합니다.
설치/설정 보기
이렇게 변경된 구문으로 소스가 어떻게 보이는지 보려면 표준 서문인 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이어야 합니다. 나머지는 모두 0이어야합니다CC )를 선택합니다.$ make 실행할 구성이 없습니다.
Windows는 32비트용 mingw로 빌드되지만 64비트에서는 빌드되지 않는 것 같습니다.
이러한 변경에 대한 근거는 표기법에 대한 참고 사항에 설명되어 있습니다.
또한 관심이 있을 수 있습니다:
분명히 그의 생애 말기에 Dijkstra는 FP를 지지했습니다.
