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

Các câu hỏi liên quan đến thiết kế, thực hiện và phân tích các ngôn ngữ lập trình. KHÔNG cho các câu hỏi về cách lập trình, không có chủ đề trên trang web này.

Có bằng chứng cho thấy sử dụng ngôn ngữ động có ảnh hưởng đến năng suất không?

Tôi tự hỏi liệu có bất kỳ thử nghiệm nào cho thấy sự tồn tại hoặc không tồn tại của mối tương quan giữa việc sử dụng ngôn ngữ động (như Python, Ruby hoặc thậm chí các ngôn ngữ chạy trên nền tảng Java như Groovy, Clojure) trên một ngôn …

25 programming-languages empirical-research software-engineering

Chức năng dàn dựng (khái niệm) là gì?

Trong một bài viết CACM gần đây [1], các tác giả trình bày một triển khai cho các chức năng theo giai đoạn . Họ sử dụng thuật ngữ này như thể nó đã được biết đến và không có tài liệu tham khảo nào trông giống như một lời …

24 terminology programming-languages meta-programming

Mối quan hệ giữa functor trong lý thuyết SML và Category là gì?

Cùng suy nghĩ như câu nói này của Andrej Bauer trong câu trả lời này Cộng đồng Haskell đã phát triển một số kỹ thuật lấy cảm hứng từ lý thuyết thể loại, trong đó monads được biết đến nhiều nhất nhưng không nên nhầm lẫn với monads . Mối …

24 programming-languages functional-programming category-theory

Có ngôn ngữ lập trình nào sử dụng các hàm đệ quy chung làm cơ sở không?

Đây là một câu hỏi ngây thơ và, do đó, có thể là sai, vì vậy xin lỗi trước! Quan điểm của tôi là Máy Turing có thể được coi là cơ sở tính toán cho các ngôn ngữ lập trình thủ tục / mệnh lệnh. Tương tự, phép tính …

23 programming-languages mathematical-foundations church-turing-thesis

Ngôn ngữ lập trình nơi mọi biểu thức có ý nghĩa

Theo khuyến nghị, tôi đang đăng lại cái này từ Stack Overflow . Gần đây tôi đã suy nghĩ về vấn đề sau. Xem xét mã cho một tiêu chuẩn "Xin chào thế giới!" chương trình: main() { printf("Hello World"); } Bây giờ hầu như bất kỳ thay đổi nào …

23 programming-languages computation-models

Làm thế nào để người thu gom rác tránh chồng chất tràn?

Vì vậy, tôi đã suy nghĩ về cách thức thu gom rác hoạt động và tôi nghĩ về một vấn đề thú vị. Có lẽ người thu gom rác phải đi qua tất cả các cấu trúc theo cùng một cách. Họ không thể biết thời tiết họ đang đi …

23 programming-languages memory-management garbage-collection

Là một ngôn ngữ lắp ráp phổ quát cho tất cả các máy tính có thể?

Tôi muốn hỏi một vài câu hỏi về ngôn ngữ hội. Tôi hiểu rằng nó rất gần với ngôn ngữ máy, làm cho nó nhanh hơn và hiệu quả hơn. Vì chúng ta có các kiến trúc máy tính khác nhau tồn tại, điều đó có nghĩa là tôi phải …

23 programming-languages computer-architecture

Phân loại hệ thống loại (mạnh / yếu, động / tĩnh)

Tóm lại: làm thế nào các hệ thống loại được phân loại trong bối cảnh học thuật; đặc biệt, tôi có thể tìm các nguồn có uy tín ở đâu để làm rõ sự khác biệt giữa các loại hệ thống loại khác nhau? Theo một nghĩa nào đó, khó …

23 reference-request programming-languages type-theory

Liệu một vòng lặp do-while có đủ cho Turing-đầy đủ không?

Tôi biết rằng, trong các ngôn ngữ lập trình bắt buộc, vòng lặp while-do đủ để xây dựng luồng điều khiển để làm cho ngôn ngữ trở nên hoàn chỉnh (theo như luồng điều khiển đi - tất nhiên chúng ta cũng cần bộ nhớ không giới hạn và các …

22 programming-languages turing-completeness loops imperative-programming

Tại sao các ngôn ngữ chức năng Turing hoàn thành?

Có lẽ sự hiểu biết hạn chế của tôi về chủ đề này là không chính xác, nhưng đây là những gì tôi hiểu cho đến nay: Lập trình chức năng dựa trên Lambda Tính, được xây dựng bởi Alonzo Church. Lập trình bắt buộc dựa trên mô hình máy …

22 computability turing-machines programming-languages lambda-calculus turing-completeness

Sự khác biệt giữa ngôn ngữ kịch bản và ngôn ngữ lập trình bình thường là gì?

Sự khác biệt giữa ngôn ngữ lập trình và ngôn ngữ kịch bản là gì? Ví dụ, xem xét C so với Perl. Có phải sự khác biệt duy nhất mà các ngôn ngữ kịch bản chỉ yêu cầu trình thông dịch và không yêu cầu biên dịch và liên …

20 programming-languages

Các ví dụ về sự không nhất quán và không đầy đủ trong Unix / C là gì?

Trong bài tiểu luận nổi tiếng của Richard Gabriel The Rise of Worse is Better , ông đối chiếu các phiên bản được biếm họa của các triết lý thiết kế MIT / Stanford (Lisp) và New Jersey (C / Unix) dọc theo trục của sự đơn giản, chính xác, …

20 programming-languages operating-systems

Khi nào hai mô phỏng không phải là một sự chia đôi?

Với một hệ thống chuyển tiếp nhãn , nơi S là một tập hợp của các quốc gia, Λ là một tập hợp nhãn và → ⊆ S × Λ × S là một ternary mối quan hệ. Như thường lệ, viết p α → q cho ( p , …

20 programming-languages formal-methods semantics process-algebras

Hàm ML loại 'a ->' b

Giáo sư của chúng tôi yêu cầu chúng tôi nghĩ về một chức năng trong OCaml có loại 'a -> 'b tức là một hàm của một đối số có thể là bất cứ thứ gì và có thể trả về một thứ khác. Tôi đã nghĩ đến việc sử …

19 programming-languages typing functional-programming

Các thuật toán kiểm tra loại

Tôi đang bắt đầu một nghiên cứu thư mục cá nhân về các thuật toán kiểm tra kiểu và muốn một số mẹo. Các thuật toán, chiến lược và kỹ thuật chung được sử dụng phổ biến nhất là gì? Tôi đặc biệt quan tâm đến các thuật toán kiểm …

19 algorithms programming-languages reference-request type-checking

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.

Licensed under cc by-sa 3.0 with attribution required.