lambda-calculus

3зной

1ответ

Haskell - полиморфизм и значение в зависимости от типов

От чтения статьи в Википедии для lambda cube и это thread, когда применяются к Haskell, я понимаю, что семейства терминов проиндексированных терминов - типичная функции от значения дорожить семейство

12зной

2ответ

Приключения с нетипизированным лямбда-исчислением

Иногда мы спрашиваем о внедрении нетипизированного лямбда-исчисления в Haskell. [Естественно, я теперь не могу найти любой из этих вопросов, но я уверен, что видел их!] Просто для хихиканья, я думал,

1зной

2ответ

Сокращение исчисления лямбда

Я могу сделать простые сокращения лямбда-исчисления, однако я не могу понять, как делать те, которые получают «currying». Эти два примера, которые я не могу понять: (((lambda x . (lambda y . (j y))) j

2зной

2ответ

Как использовать AND в Oz Язык программирования

declare fun {Beta E} case E of lambda(X [Y Z]) andthen {IsAtom Y} then Z else nil end end {Browse {Beta lambda(y [y a]) }} Я пытаюсь сделать бета-редуктор для лямбда-исчи

11зной

1ответ

Правильная форма letrec в системе типа Hindley-Milner?

У меня возникли проблемы с пониманием letrec определение системы HM, которая дается в Википедии, здесь: https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system#Recursive_definitions Для меня,

6зной

1ответ

Почему GHC не уменьшит мою семью?

Вот нетипизированное лямбда-исчисление, члены которого индексируются по их свободным переменным. Я использую библиотеку singletons для одноточечных значений строк уровня. {-# LANGUAGE DataKinds #-} {

112зной

2ответ

Почему оптимальные оценщики λ-исчисления способны вычислять большие модулярные экспоненции без формул?

Номера церквей являются кодировкой натуральных чисел как функций. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 А