Я считаю использование сопоставления с образцом для eval (App x y) избыточным, поскольку оба случая...

Изучая Haskell, я столкнулся с проблемой найти две функции f и g, такие, что f g и f . g...

В предыдущем вопросе Компилятор SystemT и работа с Бесконечными типами в Haskell Я спросил о том,...

Я слежу за этим сообщением в блоге: http://semantic -domain.blogspot.com / 2012/12 /...

Я пытаюсь решить уверен, но вы можете SKI на кодовых войнах. Это собирается выразить лямбда в...

Теперь я понимаю сигнатуру типа s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2)...

Рассмотрим этот комбинатор: S (S K) Применим его к аргументам XY: S (S K) X Y Он заключает контракт...

Я возился с Коминаторами в JavaScript и гордился (надеюсь) заставить S работать, когда наткнулся на...

Я пробую очень легкое кодирование исчисления комбинаторов в scala.Сначала я просто использую...