Este gofer es una bifurcación del original de Mark Jones con algunas adiciones y modificaciones, siendo la más visible el punto Dijkstra para la aplicación de funciones. Consulte Convenciones de notación, página 8 en adelante.
Solía llamarlo pugofer porque lo usaba para enseñar en la Universidad de Pune a principios de los años 90.
Se agradece a Mark Jones por este trabajo pionero.
Ver instalación/configuración
Para ver cómo se ve el código fuente con estas sintaxis modificadas, mire el preludio estándar: pustd.pre.
El preludio pusimple alternativo es particularmente interesante para aquellos que sienten la necesidad de asimilar Hindley-Milner antes de comenzar las clases tipográficas. Con eso obtendrás, por ejemplo:
? : t (+)
(+) : Int -> Int -> Int
? : t (==)
(==) : a -> a -> Bool Puede volver a la sintaxis clásica de Haskell con :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 o NETBSD (para MacOS) debería ser 1; todo lo demás debería ser 0CC – en Makefile$ make No hay ninguna configuración para ejecutar.
Windows parece compilarse con mingw para 32 bits pero no para 64.
Las justificaciones de estos cambios se explican en Notas sobre notación.
También puede ser de interés:
Evidentemente, al final de su vida, Dijkstra apoyó a FP.
