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

Tôi chưa quen với lý thuyết ngôn ngữ lập trình. Tôi đã xem một số bài giảng trực tuyến trong đó người hướng dẫn tuyên bố rằng một hàm với kiểu đa hình forall t: Type, t->tlà danh tính, nhưng không giải thích được tại sao. Ai đó có thể …

18 programming-languages  type-theory 

Tôi quen thuộc với hàng tá ngôn ngữ lập trình có ngoại lệ theo một cách nào đó, nhưng tôi đã chứng kiến ​​hai xu hướng "bệnh hoạn". Dường như không có một mô hình hoặc hệ thống phân cấp ngoại lệ chung. Về cơ bản, mọi ngôn ngữ đều …

18 terminology  programming-languages  api-design 

Trong các ngôn ngữ lập trình, đóng cửa là một tính năng phổ biến và thường được mong muốn. Wikipedia nói (nhấn mạnh của tôi): Trong khoa học máy tính, bao đóng (...) là một hàm cùng với môi trường tham chiếu cho các biến không cục bộ của hàm …

18 programming-languages  semantics 

Tôi đã nghiên cứu cuốn sách "C ++ Demystified" . Bây giờ tôi đã bắt đầu đọc "Lập trình hướng đối tượng trong phiên bản đầu tiên của Turbo C ++ (phiên bản 1)" của Robert Lafore. Tôi không có bất kỳ kiến ​​thức nào về lập trình nằm ngoài …

17 programming-languages  object-oriented  programming-paradigms 

Tôi thực sự vật lộn với tài sản này: Đặt là không gian kết hợp và f : C l ( X ) → C l ( Y ) là hàm đơn điệu. f là liên tục khi và chỉ khi f ( ⋃ x ∈ D x ) = …

16 terminology  programming-languages  semantics 

Theo bài viết này , dòng mã Lisp sau đây in "Hello world" thành đầu ra tiêu chuẩn. (format t "hello, world") Lisp, một ngôn ngữ đồng âm , có thể coi mã là dữ liệu theo cách này: Bây giờ hãy tưởng tượng rằng chúng ta đã viết macro …

16 programming-languages  functional-programming 

Bạn muốn cải thiện bài này? Cung cấp câu trả lời chi tiết cho câu hỏi này, bao gồm trích dẫn và giải thích lý do tại sao câu trả lời của bạn là chính xác. Câu trả lời mà không đủ chi tiết có thể được chỉnh sửa hoặc …

15 programming-languages 

Tôi biết rằng có thể chứng minh PRITAL là Turing-Complete bằng cách xây dựng một chương trình mô phỏng máy Turing như thế này: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Tôi đang làm việc trên một trình biên dịch cho một ngôn ngữ nối và muốn thêm hỗ trợ suy luận kiểu. Tôi hiểu Hindley, Milner, nhưng tôi đã học lý thuyết loại khi tôi đi, vì vậy tôi không chắc làm thế nào để thích nghi với nó. Là …

15 programming-languages  logic  compilers  type-theory  type-checking 

Với tham chiếu đến các tính năng trong các ngôn ngữ như ruby ​​(và javascript), cho phép lập trình viên mở rộng / ghi đè các lớp bất cứ lúc nào sau khi xác định nó (bao gồm các lớp như String), về mặt lý thuyết có thể thiết kế …

15 programming-languages  semantics 

Ở đây tôi đọc rằng: Haskell chắc chắn không có hệ thống loại tiên tiến nhất (thậm chí không đóng nếu bạn đếm ngôn ngữ nghiên cứu) nhưng trong số tất cả các ngôn ngữ thực sự được sử dụng trong sản xuất, Haskell có thể đứng đầu. Vì vậy, …

14 programming-languages  type-theory 

Ai đó có thể giới thiệu cho tôi các bài báo đánh giá ngang hàng nghiên cứu các ưu điểm hoặc nhược điểm của việc viết mã theo kiểu chức năng không? Có bài báo nào thảo luận về các ứng dụng của Lambda Tính trong các lĩnh vực như …

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Tôi đã bắt gặp một kinh nghiệm kỳ lạ trong lập trình C. Xem xét mã này: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Khi tôi biên dịch và chạy nó, tôi …

14 programming-languages  arrays  c 

Tôi nghĩ rằng tôi khá bối rối về những gì được gọi là một phép tính và những gì được gọi là ngôn ngữ lập trình. Tôi có xu hướng suy nghĩ, và có thể đã được nói rằng, một phép tính là một hệ thống chính thức để lý …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Tôi tiếp tục nghe về cách người ta phải học lý thuyết thể loại để thực sự hiểu lý thuyết ngôn ngữ lập trình. Cho đến nay, tôi đã học được rất nhiều PL mà không bao giờ bước chân vào vương quốc của các thể loại. Tuy nhiên, tôi …

13 reference-request  programming-languages  type-theory  category-theory