p
если не видно, то нафиг такое ио
Size: a a a
2020 April 01
AZ
если не видно, то нафиг такое ио
его смысл в том чтоб было видно
D
так что да, ругайся на бинд, что он на разных монада хразное делает
получится Elm
p
его смысл в том чтоб было видно
ну в хаскеле неотличимо связывание опционалов или IO-операция
AZ
ну в хаскеле неотличимо связывание опционалов или IO-операция
ну это не больше проблем чем то что плюс для строк и чисел по-разному работают
AZ
то есть вообще не проблема
D
то есть можно тупо сделать какой-то кейворд IO для функций, и заставлять ставить его везде где идет ИО
Этот вариант строго хуже того, что есть. Еще и без вывода типов.
Если попытаешься его улучшить — получится хаскельный ио.
Если попытаешься его улучшить — получится хаскельный ио.
D
Более мощный вариант — система эффектов (можешь посмотреть на koka)
D
то есть вообще не проблема
Кстати, иногда проблема. Особенно когда компилятор выводит инстанс монады для
Неудобный инстанс, вообще.
(->) a и получаешь непонятную ошибку.Неудобный инстанс, вообще.
AZ
Кстати, иногда проблема. Особенно когда компилятор выводит инстанс монады для
Неудобный инстанс, вообще.
(->) a и получаешь непонятную ошибку.Неудобный инстанс, вообще.
ну есть любители писать
fmap . fmap . fmap . fmapТ8
вот это мы там (в компиляторном) развернули дискуссию!
Т8
Переслано от Alex Gryzlov
а вообще сейчас монады уже не модны, категорщики где-то с год назад открыли для себя линзы и сопутствующие им модули Тамбары
AZ
но за такое надо просто пизды давать
AZ
Т-34 85
Переслано от Alex Gryzlov
а вообще сейчас монады уже не модны, категорщики где-то с год назад открыли для себя линзы и сопутствующие им модули Тамбары
не знаю, неичего не мешает линзы с монадами мешать
AZ
одно для эффектов, другое для работы с рекордами
D
ну есть любители писать
fmap . fmap . fmap . fmapЯ говорю не только про эти случаи.
Например,
Например,
[1,2,3] >>= return [4,5] равняется [4,5,4,5,4,5], это совершенно неинтуитивноAZ
почему?
D
Выводится инстанс монады для
(->) rD
Функция - это тоже монада
AZ
я не вижу где тут (->) выводится