Câu hỏi được gắn thẻ «lambda-calculus»

Tôi thề có một chiếc áo phông được rao bán với những từ bất hủ: Phần nào của bạn không hiểu à Trong trường hợp của tôi, câu trả lời sẽ là ... tất cả! Đặc biệt, tôi thường thấy ký hiệu như thế này trong các bài báo của …

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

Haskell (với GHCtrình biên dịch) nhanh hơn rất nhiều so với bạn mong đợi . Được sử dụng một cách chính xác, nó có thể có được các ngôn ngữ cấp thấp. (Một điều yêu thích của Haskeller phải làm là thử và nhận trong vòng 5% C (hoặc thậm …

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

Số nhà thờ là một mã hóa của số tự nhiên như chức năng. (\ 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 Nhanh …

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