Нету
а как же main :: IO () =)
тут два взгляда есть если мы принимаем IO за абстракцию, то тут нет нульарной функции, тут вообще функции нет а если мы знаем что IO это State# -> (# a, State# #), то да, это уже нульарная функция, если совсем State# стирается, и обычная унарная функция если нет я сторонник второй позиции, потому что в случае конкретно GHC IO это не абстракция (его тело экспортируется, и более того, подразумевается для использования, а не "типа unsafe api"), и иногда приходится конструировать его вручную из функции
самое важное для программиста — уметь работать с абстракциями. если ты можешь смотреть сквозь IO и видеть под ним State#, C--, STG, машинный код, микрокод, логические вентили, электроны, кварки... — это полезно, но это не программирование
Это не функция, это процедура
Обсуждают сегодня