AD
Зачем
Size: a a a
2020 August 02
𝛈µ
Нет, непонятен
𝛈µ
; - это сугубо синтаксическая конструкция, при чем тут маняда?
AD
Нет, это механизм сказать что после выполнения одной команды надо выполнить другую
AD
Маняда тут на листе команд
EB
Поэтому существует ироничное утверждение, что Монады — это способ перегрузить оператор "точка с запятой".
EB
цитата с вики
EB
ее по ходу апач писал
𝛈µ
Поэтому существует ироничное утверждение, что Монады — это способ перегрузить оператор "точка с запятой".
Пиздец
VE
Нет, это механизм сказать что после выполнения одной команды надо выполнить другую
Не только лишь выполнение команд, ещё и контекст
AD
Не только лишь выполнение команд, ещё и контекст
Контекст в котором все выполняется должен быть условно одинаковым, иначе монады не получится
EB
что такое контекст
AD
Набор глобальных переменных, и их значений, относится к оговоркам
𝛈µ
Набор глобальных переменных, и их значений, относится к оговоркам
def a = {
val x = 1
b { v => v + x }
}
val x = 1
b { v => v + x }
}
𝛈µ
x - не контекст?
EB
контекст это термин из компутер сцаенса или вы только что его придумали
AD
Давай без лямбд и деклараций
AD
Давай нарисуем монаду для команд MНР
AD
Потом проэкстендим на остальное