«lambda-calculus» etiketlenmiş sorular

Ben yemin bir orada kullanılan tişört ölümsüz sözleri içeren satılık: Hangi bölümü Eğer do not anladın mı? Benim durumumda, cevap ... hepsi olurdu! Özellikle, Haskell gazetelerinde genellikle böyle bir gösterim görüyorum, ancak bunların ne anlama geldiğine dair hiçbir fikrim yok. Matematiğin hangi dalında olması gerektiği hakkında hiçbir fikrim yok. Tabii …

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

Haskell ( GHCderleyici ile) beklediğinizden çok daha hızlı . Doğru kullanıldığında, düşük seviyeli dillere yakın olabilir. (Haskellers'ın en sevdiği şey, C'nin% 5'ine girmeyi denemek ve (veya onu yenmek), ancak GHC Haskell'i C'yi derlediğinden, verimsiz bir C programı kullandığınız anlamına gelir.) Sorum şu, neden? Haskell açıklayıcı ve lambda analizine dayanmaktadır. Makine …

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

Kilise sayıları doğal sayıların fonksiyon olarak kodlanmasıdır. (\ 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 Düzgünce, sadece uygulayarak 2 kilise sayısını üs alabilirsiniz. …

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