Я пытаюсь выучить Y-комбинатор лучше (я рода понимаю на схеме) и реализовать его в D 2.0, и я неудачу довольно плачевно: auto fact = delegate(uint delegate(uint) recurse)
{
return delegate(uint
Я столкнулся со следующим кодом Пролога. Выражение [X] >> Y соответствует для лямбда-выражения lambda X.Y. Код исключает лямбда и дает комбинаторное выражение над S, K и I: convert([X]>>Y,'I') :- X==Y