n[
Тут, посмотрю, одни крутые парни сидят.
Size: a a a
2021 May 19
e
Я не понял этот вопрос :(
A
мне чтобы въехать в функциональное программирование пришлось потратить год на то, чтобы усвоить фразу про моноид в категории эндофункторов
A
а дальше проще было
n[
Когда человек, пишущий на классических языках (императивных?), переходит на функциональные?
LL
Потому что монады используют 3.5 языка
n[
Что такое моноид?
A
ну моноид это еще просто
n[
Чувствую просто, что тесненько Python'ы кодить. Я молод, расти надо, а куда -- не знаю.
2021 May 20
n[
В плюсы не полезу ни за что, от C у меня ревматизм.
A
моноид это такое множество, на котором есть бинарная операция, относительно которой это множество замкнуто плюс есть единичный элемент.
A
ну как примеры моноидов:
- целые числа с операцией сложения
- целые числа с операцией умножения
но в этих примерах операция коммутативна
- целые числа с операцией сложения
- целые числа с операцией умножения
но в этих примерах операция коммутативна
A
а более правильный пример - строки или списки с операцией конкатенации
A
собссно это называется свободным моноидом
n[
Как эти концепции помогают в решении всяких прикладных задач?
A
ну ты спросил про функциональное программирование. А эта концепция нужна для связывания вычислений в последовательность.
A
на самом деле ключевое слово не монада, а стрелка клейсли
LL
Это долгая дорога к формально верифицированным программам, или чё-то типа того
LL
А вообще достаточно ссылочной прозрачности