Здравствуйте, VladD2, Вы писали:

DM>>По-хорошему, энергичность еще ничего не значит. Идрис вон тоже энергичный, но ввод-вывод все равно отражен в монадоподобных типах и do-синтаксисе, просто так в чистой ф-ии строчку не выведешь.

VD>Думаю, что ты ошибешься. Я погугли и первое что попалось — это видео где орел без каких либо монад тупо вызывает printf в REPL-е передавая ему значения.

Я на Идрисе писал, представляю о чем говорю. А что за видео ты видел, можно ссылку?

Здравствуйте, VladD2, Вы писали:

DM>>По-хорошему, энергичность еще ничего не значит. Идрис вон тоже энергичный, но ввод-вывод все равно отражен в монадоподобных типах и do-синтаксисе, просто так в чистой ф-ии строчку не выведешь.

VD>Думаю, что ты ошибешься. Я погугли и первое что попалось — это видео где орел без каких либо монад тупо вызывает printf в REPL-е передавая ему значения.

Я на Идрисе писал, представляю о чем говорю. А что за видео ты видел, можно ссылку?

PS. REPL'ы обычно уже в монаде IO или ее аналоге живут, там принты и должны работать сразу. В репле писать это не то же самое, что чистый код.