p
Вот у меня монады
Size: a a a
2021 February 11
ΑZ
Вот у меня монады
дактайпинг: если оно выглядит как монада и выполняет закон монады значит монада)
ΑZ
ты не понимаешь - если писать по-праведному, то тайпчекер все проверит и багов не будет, и ты сразу попадешь в рай к 1337 гуриям
смысл монадок в том чтобы иметь общий интерфейс. Надо объяснять, зачем объединять разные типы данных в один интерфейс полезно?
OA
смысл монадок в том чтобы иметь общий интерфейс. Надо объяснять, зачем объединять разные типы данных в один интерфейс полезно?
нет, вопрос лишь в том, at what cost?
OA
т.е. в какой-то момент принцип DRY превращает очевидное в недоступное
ΑZ
нет, вопрос лишь в том, at what cost?
да нет там никакой особой цены. Вон в шарп кастрированные монадки в виде LINQ добавили - дохера сложно что ли?
OA
да нет там никакой особой цены. Вон в шарп кастрированные монадки в виде LINQ добавили - дохера сложно что ли?
не, довольно няшно
ΑZ
т.е. в какой-то момент принцип DRY превращает очевидное в недоступное
недоступное разве что внутри либы
ΑZ
а интерфейсик элементарный "сунь данные сюда, результат забери отсюда"
OA
есть же причина почему на хаскеле не написано что-нибудь всем очень нужное?
ΑZ
байтоебство не так давно отжило, и то не везде. Щас постепенно хчкельные идеи проникают в мейнстрим, раст тому живой пример
OA
байтоебство не так давно отжило, и то не везде. Щас постепенно хчкельные идеи проникают в мейнстрим, раст тому живой пример
согласен
p
есть же причина почему на хаскеле не написано что-нибудь всем очень нужное?
Никто не собирается учить хаскель просто
OA
Никто не собирается учить хаскель просто
ну вопрос как раз-таки в этом
OA
почему
p
Раст это си с тайпклассами, концепция гораздо проще, он ближе обычному разрабы чем какой-то хаскель
OA
вроде там не такой ужасный как в цпп или перле синтаксис
p
А ещё у раста ниша все же получше
p
Вместо хаскеля берешь го/шарп/джаву
ΑZ
ну вопрос как раз-таки в этом
мб потому что в универах его не преподают