Size: a a a

2020 April 01

p

polunin.ai in rust_offtopic
если не видно, то нафиг такое ио
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
если не видно, то нафиг такое ио
его смысл в том чтоб было видно
источник

D

Dika in rust_offtopic
Alex Zhukovsky
так что да, ругайся на бинд, что он на разных монада хразное делает
получится Elm
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
его смысл в том чтоб было видно
ну в хаскеле неотличимо связывание опционалов или IO-операция
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
ну в хаскеле неотличимо связывание опционалов или IO-операция
ну это не больше проблем чем то что плюс для строк и чисел по-разному работают
источник

AZ

Alex Zhukovsky in rust_offtopic
то есть вообще не проблема
источник

D

Dika in rust_offtopic
polunin.ai
то есть можно тупо сделать какой-то кейворд IO для функций, и заставлять ставить его везде где идет ИО
Этот вариант строго хуже того, что есть. Еще и без вывода типов.
Если попытаешься его улучшить — получится хаскельный ио.
источник

D

Dika in rust_offtopic
Более мощный вариант — система эффектов (можешь посмотреть на koka)
источник

D

Dika in rust_offtopic
Alex Zhukovsky
то есть вообще не проблема
Кстати, иногда проблема. Особенно когда компилятор выводит инстанс монады для (->) a и получаешь непонятную ошибку.
Неудобный инстанс, вообще.
источник

AZ

Alex Zhukovsky in rust_offtopic
Dika
Кстати, иногда проблема. Особенно когда компилятор выводит инстанс монады для (->) a и получаешь непонятную ошибку.
Неудобный инстанс, вообще.
ну есть любители писать fmap . fmap . fmap . fmap
источник

Т8

Т-34 85 in rust_offtopic
вот это мы там (в компиляторном) развернули дискуссию!
источник

Т8

Т-34 85 in rust_offtopic
Переслано от Alex Gryzlov
а вообще сейчас монады уже не модны, категорщики где-то с год назад открыли для себя линзы и сопутствующие им модули Тамбары
источник

AZ

Alex Zhukovsky in rust_offtopic
но за такое надо просто пизды давать
источник

AZ

Alex Zhukovsky in rust_offtopic
Т-34 85
Переслано от Alex Gryzlov
а вообще сейчас монады уже не модны, категорщики где-то с год назад открыли для себя линзы и сопутствующие им модули Тамбары
не знаю, неичего не мешает линзы с монадами мешать
источник

AZ

Alex Zhukovsky in rust_offtopic
одно для эффектов, другое для работы с рекордами
источник

D

Dika in rust_offtopic
Alex Zhukovsky
ну есть любители писать fmap . fmap . fmap . fmap
Я говорю не только про эти случаи.
Например, [1,2,3] >>= return [4,5] равняется [4,5,4,5,4,5], это совершенно неинтуитивно
источник

AZ

Alex Zhukovsky in rust_offtopic
почему?
источник

D

Dika in rust_offtopic
Выводится инстанс монады для (->) r
источник

D

Dika in rust_offtopic
Функция - это тоже монада
источник

AZ

Alex Zhukovsky in rust_offtopic
я не вижу где тут (->) выводится
источник