Наоборот.
Можно поподробнее пожалуйста
Не связано
Так если бы всё вообще было иммутабельным — не нужен был бы борровинг, можно было бы и HKT легко сделать. То что при этом всё дико тормозило бы — отдельный вопрос. 😁
В чем смысл монад тогда ?
А как Вы вообще определяете смысл чего-то? 😂 По крайней мере, у монад дофига примерений. Sequencing, first and foremost. Представление и контроль эффектов, абстрагирование эффектов и всего подобного, разделение интерфейса и реализации в очень адстрактном и широком смысле. 😊
Общий интерфейс для последовательных вычислений, недетерминированных вычислений, ввода/вывода, прокидывания ошибок или (None) через вычисления, аналогов указателей и много чего ещё
Тут прикол как раз в том, что список открытый — всегда можно что-то новое добавить самому.
Если есть математическая интуиция, чтобы заметить А! Эта тройка операций - монада!
Да, но с HKT и монадами есть сама возможность — даже если ты не заметил, кто-то другой может заметить и сделать библиотеку. Без монад — фиг.
Нельзя сделать библиотеку, работающую с монадами. Инстансы-то делать можно.
Ну так сами по себе монады — это скучно и не сильно полезно. Полезно — это библиотеки, параметризованные монадами, трансформеры, свободные монады и ещё по мелочи. 😊
Если бы не было возможности работать с конкретными последовательными вычислениями - было бы очень грустно
в чем связь монад и мутабельности я чет не понял
там ссылка на статью была
ну монада переключает из одной категории в другую
ну не согласен, у нас всего одна категория Hask. Из неё никто ниукда не переключает
Вообще-то это функтор переводит из одной категории в другую. 🧐
ну она связывает две категории в одну тогда))
Гм, похоже ТК нужно учить, а не просто где-то читать про неё... 🤔
ну ок, упорядочивает переход из одной категории в другую) сойдет?
Так это функтор, а не монада. 🤷♀️
кажется тут какая-то хоммейд терминология. Я не знаю что такое упорядочивает переход
ну ок, а чо такое монада?
Моноид в категории эндофункторов, как известно. 😂
в смысле? Какой ещё моноид? Всем известно, что это буритто в коробке.
и чем от функтора отличается?
наличием мю и ню стрелок
ну это да, это показало мне насколько я ошибался)
https://t.me/rustlang_ru/402767
почитай бартоша, у него достаточно неплохо написано. Правда смысла в этом мало,в программировании у тебя 1-2 категории и смысла изучать теорию категорий немного лишнее. Хотя некоторую интуицию полезную разивает
зачем мне его читать)
Обсуждают сегодня