«lambda-calculus» 태그된 질문

나는 불멸의 말을 특징으로하는 판매용 티셔츠 가 있다고 맹세합니다 . 어떤 부분 당신은 이해 하지 못 합니까? 제 경우에는 대답은 ... 전부일 것입니다! 특히 Haskell 논문에서 이와 같은 표기법을 자주 볼 수 있지만 그 의미가 무엇인지 전혀 알 수 없습니다. 나는 수학의 어느 지점이 될지 모른다. 나는 물론 그리스 알파벳의 …

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

Haskell ( GHC컴파일러 포함)은 예상보다 훨씬 빠릅니다 . 올바르게 사용하면 저수준 언어에 가까워 질 수 있습니다. (하스 켈러가 가장 좋아하는 일은 C의 5 % 이내에서 시도하는 것입니다 (또는 이길 수도 있지만 GHC가 Haskell을 C로 컴파일하기 때문에 비효율적 인 C 프로그램을 사용하고 있음을 의미합니다). 내 질문은 왜? 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