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

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

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

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

247 performance  haskell  ghc  higher-order-functions  lambda-calculus 

Церковные числа представляют собой кодирование натуральных чисел как функций. (\ 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 Аккуратно, вы можете возвести в степень …

135 algorithm  haskell  functional-programming  lambda-calculus  modular-arithmetic