172 похожих чатов

32 ответов

7 просмотров

Наоборот.

.-D Автор вопроса
Alexander Chichigin
Наоборот.

Можно поподробнее пожалуйста

Traveller Kolsky
Не связано

Так если бы всё вообще было иммутабельным — не нужен был бы борровинг, можно было бы и HKT легко сделать. То что при этом всё дико тормозило бы — отдельный вопрос. 😁

. D
В чем смысл монад тогда ?

А как Вы вообще определяете смысл чего-то? 😂 По крайней мере, у монад дофига примерений. Sequencing, first and foremost. Представление и контроль эффектов, абстрагирование эффектов и всего подобного, разделение интерфейса и реализации в очень адстрактном и широком смысле. 😊

. D
В чем смысл монад тогда ?

Общий интерфейс для последовательных вычислений, недетерминированных вычислений, ввода/вывода, прокидывания ошибок или (None) через вычисления, аналогов указателей и много чего ещё

red75prime
Общий интерфейс для последовательных вычислений, н...

Тут прикол как раз в том, что список открытый — всегда можно что-то новое добавить самому.

Alexander Chichigin
Тут прикол как раз в том, что список открытый — вс...

Если есть математическая интуиция, чтобы заметить А! Эта тройка операций - монада!

red75prime
Если есть математическая интуиция, чтобы заметить ...

Да, но с HKT и монадами есть сама возможность — даже если ты не заметил, кто-то другой может заметить и сделать библиотеку. Без монад — фиг.

Alexander Chichigin
Да, но с HKT и монадами есть сама возможность — да...

Нельзя сделать библиотеку, работающую с монадами. Инстансы-то делать можно.

red75prime
Нельзя сделать библиотеку, работающую с монадами. ...

Ну так сами по себе монады — это скучно и не сильно полезно. Полезно — это библиотеки, параметризованные монадами, трансформеры, свободные монады и ещё по мелочи. 😊

red75prime
Нельзя сделать библиотеку, работающую с монадами. ...

Если бы не было возможности работать с конкретными последовательными вычислениями - было бы очень грустно

Alexander Chichigin
Наоборот.

в чем связь монад и мутабельности я чет не понял

Αλεχ Zhukovsky
в чем связь монад и мутабельности я чет не понял

ну монада переключает из одной категории в другую

nott мистер полночь
ну монада переключает из одной категории в другую

ну не согласен, у нас всего одна категория Hask. Из неё никто ниукда не переключает

nott мистер полночь
ну монада переключает из одной категории в другую

Вообще-то это функтор переводит из одной категории в другую. 🧐

nott мистер полночь
ну она связывает две категории в одну тогда))

Гм, похоже ТК нужно учить, а не просто где-то читать про неё... 🤔

Alexander Chichigin
Гм, похоже ТК нужно учить, а не просто где-то чита...

ну ок, упорядочивает переход из одной категории в другую) сойдет?

nott мистер полночь
ну ок, упорядочивает переход из одной категории в ...

кажется тут какая-то хоммейд терминология. Я не знаю что такое упорядочивает переход

nott мистер полночь
ну ок, а чо такое монада?

Моноид в категории эндофункторов, как известно. 😂

Alexander Chichigin
Моноид в категории эндофункторов, как известно. 😂

в смысле? Какой ещё моноид? Всем известно, что это буритто в коробке.

Αλεχ Zhukovsky
наличием мю и ню стрелок

ну это да, это показало мне насколько я ошибался)

nott мистер полночь
ну это да, это показало мне насколько я ошибался)

почитай бартоша, у него достаточно неплохо написано. Правда смысла в этом мало,в программировании у тебя 1-2 категории и смысла изучать теорию категорий немного лишнее. Хотя некоторую интуицию полезную разивает

Похожие вопросы

Обсуждают сегодня

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
96
читать файл максимально быстро? странный вопрос))
zamtmn
53
How to create an OS in C? what to study?
Linus
18
тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
Всем доброго вечера! Хочу поделиться своим злоключением с человеком, который, как оказалось сюда тоже скидывал свое резюме. Жаль, что я вашу группу не нашел раньше… человек ки...
Роман Ахмедзянов
4
Компания Elif ищет менеджера проектов, который будет заниматься поиском и ведением новых проектов. Прежде чем приступить к работе, вам нужно пройти наш недельный курс, где вы ...
Elif
5
Привет, кто может сделать юзербота с апи? Задачи: - создавать группы - создавать каналы - задавать для созданных каналов аватарку или эмоджи, имя группы - добавлять в группы...
Lencore
11
Вопрос вроде правильно, но что надо сделать, чтоб текст был виден нормально ? ghci> TE.decodeUtf8 $ TE.encodeUtf8 "test - проба" "test - \1087\1088\1086\1073\1072"
Fedor
7
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Кто может подсказать? Я преобрпзовал изображение в бинарное(у меня установлен трекбар который при установленном значении меняет пиксели на белый если меньше и чёрный если боль...
Константин VS
5
Карта сайта