B
а этого мало
Size: a a a
2021 May 26
ΑZ
переменная может быть типа Fn
TK
Ага, то есть переменные составляют выражения, которые в свою очередь являются термами
B
с неймспейсами бесконечность вроде больше
TK
Но об операторах там ни слова! Лол
AN
но переменные тоже термы.
AN
их нету походу там.
TK
Выражения это общий случай переменных
B
да, надо пруфануть
TK
Они обязаны исходить из пункта 2, иначе получится бессмыслица
TK
Или переменная, которая Fn, что жутчайший такой костыль
AN
с бесконечным числом неймспейсов? Не надо такого.
TK
Тут всё просто и понятно
ΑZ
ну а что тогда? У нас есть переменные. Есть применение переменных друг об друга
ΑZ
и есть лямбды
ΑZ
применение уничтожает параметры
ΑZ
лямбда их вводит
TK
А каким местом применение происходит?
ΑZ