169 похожих чатов

В хаскеле есть нульарные функции?

5 ответов

2 просмотра
кана- Автор вопроса

Нету

кана
Нету

а как же main :: IO () =)

кана- Автор вопроса
Evgeny Gazdovsky
а как же main :: IO () =)

тут два взгляда есть если мы принимаем IO за абстракцию, то тут нет нульарной функции, тут вообще функции нет а если мы знаем что IO это State# -> (# a, State# #), то да, это уже нульарная функция, если совсем State# стирается, и обычная унарная функция если нет я сторонник второй позиции, потому что в случае конкретно GHC IO это не абстракция (его тело экспортируется, и более того, подразумевается для использования, а не "типа unsafe api"), и иногда приходится конструировать его вручную из функции

кана
тут два взгляда есть если мы принимаем IO за абст...

самое важное для программиста — уметь работать с абстракциями. если ты можешь смотреть сквозь IO и видеть под ним State#, C--, STG, машинный код, микрокод, логические вентили, электроны, кварки... — это полезно, но это не программирование

Evgeny Gazdovsky
а как же main :: IO () =)

Это не функция, это процедура

Похожие вопросы

Обсуждают сегодня

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
Всем вечера. Подскажите как лучше сделать. делаю на Д10 Например будет база данных на SQLite. в ней будет много таблиц. более 50шт Типа справочник. Содержать ID Name Id p...
Андрей Т 🐎
10
подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
Добрый день! Хочу спросить совета. Хочется в скрипт добавить некую конструкцию, что скрипт создал файл, который нужно потом скопировать в определенное место. Нашел такой сп...
Mikhail
3
Вопрос по WIN32: Насколько я понимаю то все функции win32 привязаны к объектам операционной системы. Например консоль, файл, кисть, окна итд. Следовательно функции win32 упра...
Tommy Vercetti
6
in telegram can i have multiple username? so instead of having multiple account for example one for work, one for friend and one for family with three diff numbers. using one ...
Mr Thieves
6
кто-то пользуется компонентами rx ? как их лучше ставить, через OPM? (lazarus)
Iluha Companets
15
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Hello, can I install macOS and run flutter on a virtual machine? Is it possible to print for iphone?
Mazones
11
есть тут кто-то , кто только начал изучать си? если проходите курс на степике или как-то сами изучаете, пишите, может, скооперируемся?..
Eule
25
Карта сайта