combinatory-logic

4зной

1ответ

Как разобрать строку в GADT

Я пытаюсь реализовать Combinatory Logic в Haskell, и я хотел бы написать парсер для языка. У меня возникли проблемы с получением парсера для работы через Parsec. Основная проблема заключается в том, ч

haskell parsec gadt combinatory-logic 2012-10-17

---

2зной

2ответ

Представление Lambda-Calculus в NLTK CCG

Я пытаюсь реализовать вероятностный ccg с функциями лямбда-исчисления. В основном я хочу сделать следующий код: >> lex = parseLexicon(r''' :- S,NP He => NP {sem=\x.he(x)} [1.0] Walks => S\NP {sem=\

python nltk lambda-calculus combinatory-logic 2014-11-09

---

1зной

3ответ

Выведение типа для перегруженных функций - выделки

Учитывая вызываемый объект (функция) a, и аргумент b (или ряд аргументов), я хотел бы вывести тип, возвращаемый из f считая, что f перегружен множеством подписей , один из моих многочисленных попыток

c++ templates c++11 currying combinatory-logic 2013-12-05

---

5зной

3ответ

Тип подпись комбинатора не соответствует сигнатуру его эквивалентной функции лямбда

Рассмотрим комбинатор: S (S K) применить его к аргументам XY: S (S K) X Y Он стягивается: X Y Я преобразовал S (SK) в соответствующие лямбда-термины и получил этот результат: (\x y -> x y) Я и

haskell lambda-calculus combinators type-signature combinatory-logic 2012-03-06

---

3зной

2ответ

определить форму как имя функции?

Я хотел бы знать, что означает этот код на схеме: (define ((K x) y) x) (define (((S x) y) z) ((x z) (y z))) Весь файл here. Эта законная схема? Является ли (K x) параметризованной функцией, ч

function scheme definition combinators combinatory-logic 2013-10-25

---

5зной

1ответ

Что это комбинатор сделать: s (ск)

теперь я понимаю, тип подписи s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 И я могу создать примеры, которые работают без ошибок в инструменте Haskell WinGHCi: Пример: s (s k) (\g -> 2

haskell lambda lambda-calculus combinators combinatory-logic 2012-03-12

---