lambda-calculus

3зной

2ответ

Что означает, что Core Haskell применяет типы к функциям?

Я написал пользовательский довольно принтер для Core Haskell, чтобы лучше изучить структуру Core. Суть этого симпатичного принтера заключается в том, что он принимает CoreModule и включает в себя конс

2зной

1ответ

Была ли причина, по которой у Haskell были функции с одним аргументом, как lambda calculus?

В LYAHFGG we read: Каждая функция в Haskell официально принимает только один параметр. В этом описании Lambda Calculus we read: Второе упрощение, что λ-исчисление использует только функции одного вход

0зной

1ответ

Как управлять порядком оценки в вызове по стоимости?

У меня есть вопрос о вызове по значению лямбда-исчисления. 1) λx. (Λy.y) x является застрявшим термином или должен быть оценен с λx.x? 2) λx. (Λy.y) (λz.z), что относительно этого? 3) как контролирова

2зной

1ответ

Как я ошибаюсь в оценке по требованию?

Прежде всего, я никогда не изучал эти вещи или что-то в этом роде, поэтому я могу задавать очень глупые вопросы, о которых я сожалею, но, пожалуйста, пройдите ко мне :) Я играю с внедрением лямбда-исч

0зной

2ответ

Вложенные функции Состав

Я не могу обернуть мою голову вокруг следующей композиции функций: function plus_one(x) { return x + 1; } function trans(f) { return function(x) { return 2 * f(2 * x); }; }