V🇺
do - просто синтаксический сахар, транслируемый в вызовы (») и лямбды
Size: a a a
2016 April 15
IS
на книжках по хаскелю надо писать "do убивает"
IS
реально
NK
вот и воспользуйся этим
что сделать?
IS
main = (coolTts $ concat $ repeat "sas") » return ()
NK
ну это я уже делал
NK
оно не помогает
NK
а не
NK
скомпилило
IS
а мне помогает)
IS
:D
IS
а так как почти любой первый опыт с do — это еще и getLine/putStrLn - то все, пиздец, человек сразу видит родную императивщинку
NK
а еще оно мне убило систему вызовами tts из dll бесконечными
NK
есть интервальное выполнение в хаскеле?
IS
Это что такое?
NK
ну чтоб выполнялось каждые n секунд или чего там
NK
или нужно sleep/что там использовать?
V🇺
Кто-нибудь пробовал что-то писать на ATS? http://www.ats-lang.org/
V🇺
или idris http://www.idris-lang.org/
V🇺
к вопросу о понимании IO-монады и императивщины в хаскелл, помогает считать что в "IO a" хранится императивная программа, возвращающая a на выходе. Программа на хаскелл на самом деле занимается тем, что конструирует императивную программу из "кирпичиков" с помощью оператора композиции (»). main - специальная функция, которую вычисляет рантайм, чтобы получить императивную программу для выполнения