История изменений
Исправление hateyoufeel, (текущая версия) :
Если брать произвольное взаимодействие с окружающим миром, то достаточно main :: [inEvent] -> [outEvent].
А раньше так и было лол!
https://raw.githubusercontent.com/stasoid/Gofer/master/haskell-report-1.2.pdf
Смотри тут. Глава 7, «Input/Output».
Зачем нужен «магический» тип IO, делящий Haskell на фактически два разных языка?
Нет там двух языков. IO – это просто ST s, где s ~ RealWorld.
Haskell язык ленивый.
Ленивость тут вообще не при делах.
Исправление hateyoufeel, :
Если брать произвольное взаимодействие с окружающим миром, то достаточно main :: [inEvent] -> [outEvent].
А раньше так и было лол!
https://raw.githubusercontent.com/stasoid/Gofer/master/haskell-report-1.2.pdf
Смотри тут. Глава 7, «Input/Output».
Зачем нужен «магический» тип IO, делящий Haskell на фактически два разных языка?
Нет там двух языков. IO – это просто ST s, где s ~ RealWorld.
Исходная версия hateyoufeel, :
Если брать произвольное взаимодействие с окружающим миром, то достаточно main :: [inEvent] -> [outEvent].
А раньше так и было лол!
https://raw.githubusercontent.com/stasoid/Gofer/master/haskell-report-1.2.pdf
Смотри тут. Глава 7, «Input/Output».