студенты зажигают
May. 19th, 2015 03:27 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Дал им "дополнительную домашку" - выразить next
Вот их ответ:
succ
в лямбде через комбинаторы.Вот их ответ:
S(K (S ( S(KS) ( S(KK)I ) ) )) ( S ( S (KS) ( S(K(S(KS))) ( S ( KS)( S(KK)( S(KS)( S(KK)I) ))) (K (S(KK)I )))) ) (K (KI) ) )