AN
серьезный дядя.
Size: a a a
2021 May 26
TK
Функции и лямбды должны быть абсолютно никак не связаны тогда, кроме того, что лямбды могут задействовать переменные с типом произвольной функции, расписываемым как стрелка (которая не лямбда?)
AN
проверять я кончено же не буду (с)
ΑZ
я думаю я пизданул херню
ΑZ
что функции это не лямбды
AN
я нихера не понял. есть вот эта конструкция \lambda x. <any expression here containing x>
ΑZ
потому што опять же интуитивная проегрская логика говорит что лямбды можно засунуть в переменную
AN
и у нее есть тип A -> B
ΑZ
\lambda x. <any expression here containing x 0+ times>TK
Как ты запишешь выражение без других лямбд или функций, если они сами по себе без фундамента для записи?
TK
Кроме тривиального случая
ΑZ
у тебя есть уже множество о пределенных функций и переменных
TK
Функции в переменных и они не лямбды. Всё тогда.
ΑZ
assume existence of set V...
ΑZ
вот в этом массиве V есть переменные и лямбды тоже есть
AN
а типа алиасы нужны или что?
ΑZ
ибо лямбда это тоже переменная
AN
в этом проблема?
TK
Для простоты возьмём раст
AN
простота *cука