0
ответов
Что делает этот комбинатор: s (sk)
Теперь я понимаю сигнатуру типа s (sk): s (sk) :: ((t1 -> t2) -> t1) -> (t1 - > t2) -> t1 И я могу создать примеры, которые работают без ошибок в инструменте Haskell WinGHCi: ...
вопрос задан: 25 March 2012 16:16
0
ответов
Сигнатура типа комбинатора не соответствует сигнатуре типа эквивалентной ему лямбда-функции
Рассмотрите этот комбинатор: S (SK) Примените его к аргументам XY: S ( SK) XY Он сокращается до: XYI преобразовал S (SK) в соответствующие термины Lambda и получил следующий результат: (\xy -> xy) I ...
вопрос задан: 6 March 2012 21:28
0
ответов
, экспрессирующие Y в течение срока лыжно-комбинаторов в JavaScript
Я протел с коминкаторами в JavaScript и гордился ( Надеюсь, чтобы получить S для работы, когда я наткнулся на Википедию, говоря: «У комбинатора Y можно выразить в лыжном исчислении как: y = ...
вопрос задан: 23 September 2011 20:06
0
ответов
Вывод типа для модели данных исчисления комбинатора scala
Я пробую очень легкое кодирование исчисления комбинатора в scala. Изначально я просто реализую комбинаторы S и K, приложения и постоянные значения. Позже я надеюсь поднять scala ...
вопрос задан: 25 December 2010 01:30