лямбду?
например, у нас есть функция dup :: a -> (a, a) dup x = (x, x) в просто типизированном лямбда-исчислении она записывается так dup = Λ a : Type. -- зависимость от типа a λ x : a. -- зависимость от значения x типа a (x, x)
Обсуждают сегодня