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

Về mặt lý thuyết có thể chỉ định một ngôn ngữ lập trình mà không có triển khai nào có thể tồn tại không? Một ngôn ngữ lập trình là một cách xác định chức năng. Việc triển khai có nghĩa là một phương thức để thực thi một chương …

11 formal-languages  computability  programming-languages 

Đến từ nền tảng C ++ Tôi không hiểu tại sao một người cần biểu thức kiểu / kiểu như công dân hạng nhất? Ngôn ngữ duy nhất tôi biết hỗ trợ tính năng này là Aldor. Có ai có một số tài liệu về các loại như công dân …

10 programming-languages  language-design  types 

Đối với các hàm hoặc tính toán, chúng tôi có các thuật ngữ như: Tính quyết đoán - Chủ nghĩa quyết đoán Tinh khiết - Tinh khiết Bây giờ danh từ tương ứng chính xác cho side-effect-free là gì? "Hiệu ứng phụ"? "Tự do tác dụng phụ"? "Không hiệu quả"?

10 terminology  programming-languages 

Tôi sẽ bắt đầu một khóa học khoa học máy tính vào mùa thu tới, nhưng tôi thực sự không thể hiểu được tính toán trong bối cảnh lập trình chức năng. Tôi có thể hiểu sai điều này hoàn toàn, nhưng dựa trên định nghĩa này từ Bách khoa …

10 programming-languages  lambda-calculus 

Hàm nặc danh (lambda) là gì? Định nghĩa chính thức của một chức năng ẩn danh trong ngôn ngữ lập trình chức năng là gì? Nói một cách đơn giản, khi tôi đang lập trình theo sơ đồ / lisp tôi sẽ nói một hàm ẩn danh (lambda) là một …

10 logic  programming-languages  lambda-calculus  functional-programming 

Có ngôn ngữ lập trình (hoặc logic) nào có thể thực hiện (hoặc diễn đạt) một hàm khi và chỉ khi f là một hàm tính toán tính toán?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Tôi tò mò. Tôi đã làm việc với kiểu dữ liệu này ở OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Có thể được thao tác bằng cách sử dụng các hàm …

10 logic  programming-languages  coq  inductive-datatypes 

Khi đọc một bài viết phác thảo sự khác biệt trong OO và lập trình hàm tôi đã bắt gặp các con trỏ hàm. Đã được một thời gian kể từ khi tôi hoàn thành bằng Khoa học Máy tính (2003) và vì vậy tôi đã tìm kiếm các con …

10 terminology  programming-languages 

Tôi là một sinh viên khoa học máy tính. Tôi muốn tạo ngôn ngữ lập trình của riêng mình (Một ngôn ngữ cơ bản với một vài hướng dẫn). Tôi biết làm thế nào để làm một phân tích cú pháp, tôi đã làm nó trong Perl. Trong một bài …

10 programming-languages  compilers 

Khử nhiễu là một phép biến đổi được mô tả lần đầu tiên vào năm 1972 bởi John C. Reynold để loại bỏ các hàm bậc cao hơn. Có các phép biến đổi thay thế (hiệu quả hơn không?) Để loại bỏ các hàm bậc cao hơn?

10 programming-languages  functional-programming 

Thông thường tôi thấy rằng trong biểu diễn ngữ nghĩa hoạt động cấu trúc cho vòng lặp while, trạng thái chương trình không thay đổi: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Đối …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Tôi đang xem xét các kỹ thuật triển khai cho các ngôn ngữ lập trình, và gần đây đã bắt gặp các ngăn xếp spaghetti, được cho là phù hợp với mô hình kiểu truyền tiếp tục (được sử dụng trong ví dụ Scheme và SML / NJ ). Để …

9 data-structures  programming-languages  continuations 

Trong các khái niệm về ngôn ngữ lập trình , John Mitchell viết rằng kiểm tra kiểu tĩnh nhất thiết phải bảo thủ (quá nghiêm ngặt) vì vấn đề dừng. Ông đưa ra một ví dụ: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Ai đó có thể cung cấp một câu …

9 programming-languages  compilers  type-checking 

Trong Chương 1 của Cơ sở thực tiễn cho các ngôn ngữ lập trình , tác giả đã đề cập rằng các cây cú pháp trừu tượng được liên kết với các loại . Theo trực giác, các loại giống như các loại, nhưng tôi muốn biết nếu chúng có …

9 terminology  programming-languages  semantics 

Tôi nghĩ rằng trong thuật toán của Peterson để loại trừ lẫn nhau , nếu quá trình đầu tiên vào phần quan trọng bị chết hoặc bị hủy, quá trình kia sẽ lặp lại mãi mãi, chờ đợi để vào phần quan trọng. Trong ảnh, nếu quá trình 1 bị …

9 programming-languages  concurrency  mutual-exclusion