Запитання з тегом «lambda-calculus»

Я клянусь, що раніше у продажу була футболка із зображенням безсмертних слів: Яка частина ти не розумієш? У моєму випадку відповідь буде ... все це! Зокрема, я часто бачу подібні позначення в роботах Haskell, але я не маю поняття, що це означає. Я поняття не маю, якою галуззю математики це …

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

Haskell (з GHCкомпілятором) набагато швидше, ніж ви очікували . Якщо правильно використати, він може наблизитись до мов низького рівня. (Улюблена річ Haskellers - це спробувати потрапити в межах 5% С (або навіть перемогти його, але це означає, що ви використовуєте неефективну програму C, оскільки GHC компілює Haskell на C).) Моє …

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 Ви можете акуратно викласти 2 церковних …

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