Вопросы с тегом «lambda-calculus»

6
Какую часть Хиндли-Милнера вы не понимаете?
Я клянусь , там раньше была футболкой для продажи с участием бессмертных слов: Какая часть ты не понимаешь? В моем случае ответ будет ... все это! В частности, я часто вижу подобные обозначения в документах на Haskell, но я понятия не имею, что это означает. Я понятия не имею, какой …

4
Почему Haskell (GHC) так чертовски быстр?
Haskell (с GHCкомпилятором) работает намного быстрее, чем вы ожидаете . При правильном использовании он может приблизиться к языкам низкого уровня. (Любимая вещь для Haskellers - попытаться получить в пределах 5% от C (или даже побить его, но это означает, что вы используете неэффективную программу на C, поскольку GHC компилирует Haskell …

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 Аккуратно, вы можете возвести в степень …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.