AZ
То есть чтобы функция делала io, она должна возвращать IO?
да
Size: a a a
2020 March 06
𝛈µ
IO, кстати, это отвратительная абстракция над эффектами
AZ
IO, кстати, это отвратительная абстракция над эффектами
дада, обмазываешься IsMonadFoo, HadMonadBar и порядок, мы знаем
𝛈µ
Также как и монада - отвратительная структура, т.к. необзервабельная
AZ
Has*
забавная опечатка
забавная опечатка
AZ
Также как и монада - отвратительная структура, т.к. необзервабельная
ну, мне пока хватает
AZ
или ты гранина обслушался?
𝛈µ
Стрелки и тэги - вот что нужно народному хозяйству
λ
Также как и монада - отвратительная структура, т.к. необзервабельная
Волгу будешь внедрять?
p
AZ
Стрелки и тэги - вот что нужно народному хозяйству
на фпрюре ходил на доклад по тегам - ничего не понял
𝛈µ
Волгу будешь внедрять?
Волга может дать хороший типобезопасный интерфейс к моему движку процессинга графов
λ
О каких тегах идёт речь, не понял
𝛈µ
на фпрюре ходил на доклад по тегам - ничего не понял
Хоть кто-то находит в себе смелость признать, что он чего-то не понял. Окей, я Вас уважаю, Вы - умный.
𝛈µ
О каких тегах идёт речь, не понял
классифицирующих эффекты
λ
классифицирующих эффекты
Как в капабилити что-ли?
𝛈µ
Угу.
𝛈µ
или ты гранина обслушался?
Нет, у меня свои мозги есть
λ
Сначала показалось тоже прикольно, а в итоге не придумал ничего лучше кроме как везде делать тип своим же тегом
𝛈µ
Просто понимаешь, постоянно возникает задача, когда нужно работу спланировать наперед