ST
Не использую почти монады, потому что точно так же не уложил их у себя в голове
по факту-то то мы их много где используем, только монадами не называем
Size: a a a
2020 November 05
MB
Ну если говорить про Хаскель монады - там с ними идёт ещё целый багаж распаковщиков, перепаковщиков типа fmap которые к изначальной задаче отношения не имеют. Т.е. accidental complexity
Согласен, эта часть мне тоже вроде бы не нравится, но с другой стороны мб и норм
MB
В Хаскеле есть ещё проблема, что они одни и те же функции по разному называют
ST
Ну вот "моноид" это тоже синоним чего-то) Правда обычно явно это что-то никак не называется
вот, давай кложурные синонимы для монады, моноида и функтора
тогда мы точно запомним 😊
тогда мы точно запомним 😊
MB
Про функтор я уже сам не помню))
MB
Хотя кажется что-то помню, видимо это sequence в кложуре
MB
Можно было бы назвать этот интерфейс Mappable ещё
N
Они мб плохи только в том, что сложны для понимания неподготовленным и это разумное замечание
стараюсь избегать подобного)
MB
Всем же нравится, что в кложуре один map работает и на векторы, и на словари и др? :)
O
есть строгие критерии, является ли что-то моноидом, функтором или монадой - это наличие определённого вида функций и выполнение определённого вида отношений между ними (законов)
ST
Хотя кажется что-то помню, видимо это sequence в кложуре
вот sequence есть простое понятное явление «из жизни»
как мне его связать в ассоциативной памяти со словом функтор — хз
как мне его связать в ассоциативной памяти со словом функтор — хз
O
так что их довольно легко можно выявить, достаточно построить все нужные вещи
MB
вот sequence есть простое понятное явление «из жизни»
как мне его связать в ассоциативной памяти со словом функтор — хз
как мне его связать в ассоциативной памяти со словом функтор — хз
Согласен, что это как раз тот пример, когда терминология плохо ложится на подкорку
MB
так что их довольно легко можно выявить, достаточно построить все нужные вещи
Нужно только научиться их замечать)
O
это так
ST
Всем же нравится, что в кложуре один map работает и на векторы, и на словари и др? :)
нам нравится, но как запомнить, как это явление назвали «где-то там»
MB
нам нравится, но как запомнить, как это явление назвали «где-то там»
Ну вот я видел, что где-то в Хаскеле были варианты тех же вещей под названиями Traversable, Foldable и тп
MB
В общем да, терминологию хотелось бы как-то привести между разными языками
ST
нам нравится, но как запомнить, как это явление назвали «где-то там»
вот если бы тут https://clojuredocs.org/clojure.core/map упоминались термины теории категорий, то не вопрос
MB
Приходится помнить для каждого языка названия одной и той же сущности, если хочется обмениваться идеями)