AS
Про моноид то зачем удалил?
Size: a a a
2021 May 13
Oℕ
наоборот же, на бесполезные и правильные
SA
Мой личный опыт. Извлек 0 пользы из правильных определений монады.
OD
определение вида: монада - это контейнер для значения, придающий дополнительный контекст - бесполезное или неправильное?
ΛВ
Чем определение через класс типов с функциями, законами и идеей про композицию неправильное?
Oℕ
сочувствую
ΛВ
Ну потому что это не определение
AS
Бесполезное и неправильное.
ΛВ
SA
не, это бесполезное. есть обертка, есть к ней интерфейс, а смысл идеи и как этим пользоваться оно не объясняет.
ΛВ
Всмвсли
Oℕ
очень полезное
ΛВ
Ну посмотрят челы на пару инстансов, потыкают
ΛВ
Поймут
ΛВ
Определение не должно донести весь смысл до человека
Oℕ
определение не обязано обязательно производить понимание
ΛВ
Обязательно на какой-то сорт ИО кстати, чтобы не говорили про контейнер
Oℕ
оно должно быть достаточно точным, так чтобы сложившееся понимание можно было сверить с определением
ΛВ
И в этом пользу надо измерять, да
Oℕ
если определение допускает некорректные трактовки - оно бесполезное