p
Дофига всего
Size: a a a
2020 June 04
p
Доставай свои примеры тогда. Хоть будет понятно, что за хуйня вообще происходит
Можно будет писать
fn print(num: i32) -> IO<num>
fn print(num: i32) -> IO<num>
G
Доставай свои примеры тогда. Хоть будет понятно, что за хуйня вообще происходит
p
И типо видешь из сигнатуры что происходит ИО в функции
G
И типо видешь из сигнатуры что происходит ИО в функции
И ты даже можешь свои эффекты создавать
G
Не только IO
G
Например stdin
p
Не только IO
Ну можно ещё мутабельность выразить через это. И все
G
Ну можно ещё мутабельность выразить через это. И все
Привилегии файловой системы, конкретнее файлы, система прав пользователей
p
Ради двух кейсов вводить непонятную фичу в язык?
G
Ради двух кейсов вводить непонятную фичу в язык?
Эмм ты можешь придумать где нужны взаимодействия с внешним миром?
G
L
А. Понел. Опять монадки. Обмажутся своим ФП и ябут друг-друга в жопу рекурсивным паравозиком
p
БД, сеть
Ну это все ИО
G
Ну это все ИО
Ты можешь сказать что он пишет в сеть к дяде Васе но не в твою базу данных
G
Можно условно эффекты тоже описывать, если дядя Вася послал нахуй то написать коле
p
Можно просто разрешить писать свои блоки
p
То есть например как unsafe { }