ZK
Правда там есть понятие моноидальной категории, что не то же самое, что моноид
Size: a a a
2018 February 21
к
Моноидальная категория и моноид как категория - это да, разные вещи
ZK
¯ \ _ (ツ) _ / ¯
ZK
Вообще, мне лично понимание теории категорий не прибавляет понимания Хаскеля и ФП
ZK
Проще тайпклассами мыслить
AK
А они разве не параллельны?
ZK
В смысле изоморфны?
AK
В смысле что там Моноид что там, просто в Хаскеле он физически объявлен
ZK
Моноид в теоркате изоморфен моноиду в Хаскеле, да.
ZK
Только от этого мне не легче
к
А они разве не параллельны?
Нет, тайпклассы не про теоркат
Мы можем определить тайпкласс логгера или интерфейс для работы с бэкендом (чтобы подменить потом инстанс для работы с localStorage вместо бэкенда)
Тайпклассы про абстракцию, "теоркат" в хаскелях - некоторый набор общий абстракций для проектирования
Мы можем определить тайпкласс логгера или интерфейс для работы с бэкендом (чтобы подменить потом инстанс для работы с localStorage вместо бэкенда)
Тайпклассы про абстракцию, "теоркат" в хаскелях - некоторый набор общий абстракций для проектирования
2018 February 22
RS
А я тут @astynax послушал вживую. У него очень добрый голос, оказывается)
AK
Да вроде он вообще добрый да
AK
Просто тайпклассы любит зачем-то
RS
Я то его тут как строгого учителя воспринимал)
2018 February 24
к
короч я понял