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

Theo định nghĩa của Wikipedia, (Sự tương ứng của Curry-Howard) là sự khái quát của sự tương đồng cú pháp giữa các hệ thống logic chính thức và phép tính toán được phát hiện đầu tiên bởi nhà toán học người Mỹ Haskell Curry và nhà logic học William Alvin …

8 logic  type-theory  functional-programming 

Vì có một phép tính lambda chưa được gõ và một phép tính lambda được gõ đơn giản (như được mô tả, ví dụ, trong các loại sách và Ngôn ngữ lập trình của Benjamin Pierce), liệu có một logic kết hợp đơn giản nào được gõ không? Ví dụ, …

8 logic  lambda-calculus  functional-programming  combinatory-logic 

Tôi đặc biệt quan tâm đến các giải pháp cho vấn đề mà tìm kiếm được đóng gói có thể phụ thuộc vào thứ tự đánh giá. Theo [1], tìm kiếm được đóng gói trong PAKCS phụ thuộc vào thứ tự đánh giá, trong khi trong MCC thì không, nhưng …

8 reference-request  functional-programming  nondeterminism  logic-programming 

Điều đó có nghĩa là gì khi một đối số cho hàm được gọi là đối số giả ? Tôi chưa gặp thuật ngữ này ngoài Fortran, nó có phải là một thuật ngữ chung trong khoa học máy tính không? Điều gì sẽ là ví dụ về các đối …

8 terminology  programming-languages  functional-programming 

Tôi đang học lập trình trong ML (OCaml), và trước đó tôi đã hỏi về các loại ML'a -> 'b . Bây giờ tôi đã thử nghiệm một chút với các chức năng của loại 'a list -> 'b list. Có một số ví dụ đơn giản rõ ràng: let …

8 programming-languages  typing  functional-programming 

Một video trên YouTube Tôi đã xem giải thích sự khác biệt giữa bắt buộc và lập trình chức năng bằng cách chứng minh như thế nào những con số từ 1để 10được tóm tắt trong Java và trong Haskell tương ứng. Trong Java, bạn phải nêu rõ từng bước …

8 programming-languages  functional-programming  programming-paradigms  imperative-programming 

Tôi đang cố gắng để hiểu các tổ hợp Y. Bạn có thể giải thích tại sao những điều sau đây là tương đương (Y (f ∘ g)) (f (Y (g ∘ f))) (Y là kết hợp điểm cố định)

7 lambda-calculus  functional-programming  combinatory-logic 

Cách đây một thời gian, tôi nghĩ về Stack Overflow, tôi đã thấy ai đó nói rằng chữ Haskell có thể được coi là các chức năng không hoạt động trên bất cứ thứ gì. Điều này có ý nghĩa với tôi nhưng tôi nhớ người khác kịch liệt không …

7 type-theory  functional-programming 

Vì vậy, tôi quen thuộc với hai chiến lược chính là có tính đa hình được xếp hạng cao hơn trong một ngôn ngữ: Tính đa hình kiểu System-F, trong đó các hàm được gõ rõ ràng và việc khởi tạo xảy ra rõ ràng mặc dù ứng dụng kiểu. …

7 programming-languages  type-theory  functional-programming  type-checking  polymorphisms 

Tôi đã nghe một số tuyên bố rằng tính toán của các công trình không có loại quy nạp không đủ mạnh để thể hiện bằng chứng bằng quy nạp. Đúng không? Nếu vậy, tại sao mã hóa Giáo hội không đủ cho điều đó?

7 proof-techniques  functional-programming  automated-theorem-proving  curry-howard 

Tất cả các bài viết với chủ đề lập trình chức năng tổng thể sử dụng một số loại kiểm tra kiểu tĩnh để đảm bảo tính tổng. Điều này có ý nghĩa khi xem xét hoy một cách dễ dàng là tạo ra một ngôn ngữ Turing-Complete. Câu hỏi …

7 functional-programming 

Tôi đã đọc Cấu trúc và Giải thích các Chương trình Máy tính (SICP), MIT. Điều tôi đã hiểu là trong ngôn ngữ lập trình chức năng thuần túy, không có thứ gọi là trạng thái cục bộ. SICP, trang 230 nói: "Lập trình mà không sử dụng các bài …

7 programming-languages  functional-programming  programming-paradigms 

(Sử dụng cú pháp Haskell, vì câu hỏi được lấy cảm hứng từ Haskell, nhưng nó áp dụng cho các hệ thống loại đa hình Hindley-Milner chung, chẳng hạn như SML hoặc Elm). Nếu tôi có chữ ký loại f :: a -> [a], mệnh đề logic được mã hóa …

7 programming-languages  type-theory  functional-programming  curry-howard 

Tôi đang học ngôn ngữ lập trình Haskell. Từ những gì tôi đang đọc, Input / Ouput ( IO ) đặt ra những thách thức cho độ tinh khiết của Haskell, vì theo định nghĩa, chúng ta đang tương tác với thế giới bên ngoài. Từ Wikipedia: Trong một ngôn …

7 programming-languages  functional-programming