Este gofer é um fork do original de Mark Jones com algumas adições e modificações, sendo a mais visível o ponto Dijkstra para aplicação de função. Consulte Convenções Notacionais – página 8 em diante.
Eu costumava chamá-lo de pugofer porque o usava para ensinar quando estava na Universidade de Pune, no início dos anos 90.
Mark Jones é reconhecido com gratidão por este trabalho pioneiro.
Veja instalação/configuração
Para ver como a fonte fica com essas sintaxes alteradas, observe o prelúdio padrão: pustd.pre.
O prelúdio alternativo pusimple é particularmente interessante para aqueles que sentem a necessidade de grocar Hindley-Milner antes de entrar nas aulas de tipografia. Com isso você obterá, por exemplo:
? : t (+)
(+) : Int -> Int -> Int
? : t (==)
(==) : a -> a -> Bool Você pode voltar para a sintaxe clássica de Haskell com :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 (para MacOS) deve ser 1; todo o resto deve ser 0CC – no Makefile$ make Não há configuração para executar.
O Windows parece ser construído com mingw para 32 bits, mas não para 64.
As justificativas para essas alterações são explicadas em Notas sobre Notação
Também pode ser de interesse:
Evidentemente, no final da sua vida, Dijkstra apoiou FP
