У меня вопрос по поводу SKI-Combinators. Можно ли выразить XOR (исключающее или) только с помощью комбинаторов S и K ? У меня есть True = Cancel False = (Swap Cancel) куда Cancel x y = K x y = x Swap: ff x y = S ff x y = ff y...

Есть ли способ получить какие-то рекурсивно типизированные функции на Цейлоне? Например, я могу определить комбинаторную логику на Ceylon безопасным для типов способом следующим образом: class Fi(shared Fi(Fi) o) { } Fi veritas = Fi((Fi t)...