Можно кодировать различные типы в нетипизированном лямбда-исчислении с помощью функций более высокого порядка. Examples: zero = λfx. x one = λfx. fx two = λfx. f(fx) three = λfx. f(f(fx)) etc true = λtf. t false = λtf. f tuple =...