Изменения

Функциональное программирование

205 байт добавлено, 11:30, 26 апреля 2015

→‎Кр2

* pair = \ x y p . p x y

* fst = \r . r (\x y . x)

* snd = \r . r (\x y . y)

* fix = \f . (\x . f (x x)) (\x . f (x x))

Лего проверить, что fst (pair a b) = a, подставив и сделав редукции.

=Кр3=

=Кр4=

3622

правки