Этот гофер представляет собой ответвление оригинала Марка Джонса с некоторыми дополнениями и модификациями, наиболее заметной из которых является точка Дейкстры для обозначения функции. См. условные обозначения – стр. 8 и далее.
Раньше я называл его пугофером, так как использовал его для преподавания в Университете Пуны в начале 90-х.
Марк Джонс выражает благодарность за эту новаторскую работу.
См. установку/настройку
Чтобы увидеть, как выглядит исходный код с этими измененными синтаксисами, взгляните на стандартную прелюдию: pustd.pre.
Альтернативная прелюдия-простая особенно удобна для тех, кто чувствует необходимость вникнуть в Хиндли-Милнера, прежде чем приступить к типографским занятиям. При этом вы получите, например:
? : t (+)
(+) : Int -> Int -> Int
? : t (==)
(==) : a -> a -> Bool Вы можете вернуться к классическому синтаксису Haskell с помощью :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 или NETBSD (для MacOS) должен быть равен 1; все остальное должно быть 0CC – в Makefile.$ make Нет конфигурации для запуска.
Windows, похоже, собирается с mingw для 32-битной версии, но не для 64-битной.
Обоснование этих изменений объяснено в Примечаниях к обозначениям.
Также может быть интересно:
Очевидно, в конце своей жизни Дийкстра действительно поддерживал ФП.
