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

Trong bài viết trên wikipedia về Turing Hoàn thiện này có ghi rằng: Phép tính lambda chưa được đánh dấu là Turing hoàn chỉnh, nhưng nhiều phép tính lambda được gõ, bao gồm cả Hệ thống F, thì không. Giá trị của các hệ thống được nhập dựa trên khả …

28 computability  turing-machines  haskell 

ACSL (Ngôn ngữ đặc tả Ansi C), là một đặc tả cho mã C, được chú thích với các nhận xét đặc biệt, cho phép mã C được xác minh chính thức. Tôi chưa nhìn vào nó, nhưng tôi tưởng tượng rằng các phương thức chính thức được sử dụng …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Điều gì ngăn cản ghc chuyển dịch Haskell sang ngôn ngữ lập trình ghép nối như logic kết hợp và sau đó chỉ đơn giản là sử dụng phân bổ ngăn xếp cho mọi thứ? Theo Wikipedia, việc dịch từ phép tính lambda sang logic kết hợp là không đáng …

14 functional-programming  haskell 

Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Theo dõi Ví dụ về Monad là gì thay thế nhưng không phải là MonadPlus? : Giả sử là một đơn nguyên. Các mối quan hệ betweem là một Thay thế , MonadPlusCatch và MonadPlusDistr là gì? mmmmmmĐối với mỗi sáu cặp có thể, tôi muốn có một bằng chứng …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

Dường như nổi tiếng rằng các ngôn ngữ lập trình không thể có tổng, sản phẩm và không có sự kết hợp với nhau. Q1 . Điều này có đúng không? Dưới đây (hoặc trong liên kết trên tôi đã đưa ra) là một đối số một phần. Tuy nhiên, …

8 pl.programming-languages  ct.category-theory  haskell 

Hầu hết các tài nguyên liên quan đến các khái niệm phân loại trong lập trình mô tả các đơn nguyên, nhưng tôi chưa bao giờ thấy một mô tả phân loại của các máy biến áp đơn nguyên. Làm thế nào các máy biến áp đơn nguyên có thể …

8 type-theory  functional-programming  ct.category-theory  haskell  monad