US
Напишу ADT описывающее как ходить в базу
последовательность действий ты как будешь в своём ADT описывать?
Size: a a a
2020 August 02
VE
Сложить описания действий в список, можно сделать их вложенными
EB
в базу ты как ходить будешь?
F = fun() ->
mnesia:write(#some_adt{name=Name})
EB
вроде без монад
US
эргономика на высоте
𝛈µ
В этом интуитивном понимании монады как контейнера очень непонятно, почему чтобы делать ФП нам нужны контейнеры с этими шестью свойствами
В этом смысле реальный язык это монада над категорией всех типов
AD
Какой же это контейнер, когда это описание того как вычислить значение?
Вот еньперативный код та же хрень
EB
В этом смысле реальный язык это монада над категорией всех типов
что такое реальный язык
𝛈µ
что такое реальный язык
Ничего. Я уже объяснял - реальный язык - язык следующего порядка. Он не использует готовую арифметику - он её создаёт.
EB
очень интересно, ничего не понятно
AD
что такое реальный язык
Ты разговариваешь с пастой
EB
теперь понятно
EB
если что, я разговариваю серьезно, не понимаю зачем рофлить, только вводите меня в заблуждение
US
Ничего. Я уже объяснял - реальный язык - язык следующего порядка. Он не использует готовую арифметику - он её создаёт.
ты перепутал реальный язык с плюсами
VE
Вот еньперативный код та же хрень
Ну так да
𝛈µ
если что, я разговариваю серьезно, не понимаю зачем рофлить, только вводите меня в заблуждение
Не могу просто уже все это читать
VE
Ну так да
Императивный код же не kunteynir
AD
если что, я разговариваю серьезно, не понимаю зачем рофлить, только вводите меня в заблуждение
Короткий ответ: в язык ввели для того чтобы выбрать какой-то набор хороших абстракций, который бы пришлось пореже переписывать и было достаточно мало протечек. Хрени из математики обычно этому удовлетворяют, по этому и ввели. Больше ни для чего.
AD
Императивный код же не kunteynir
Контейнер для команд и начального состояния
𝛈µ
Императивный код же не kunteynir
В каком-то смысле контейнер, но это уже плохая интуиция