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

Giả sử một chương trình được viết bằng hai ngôn ngữ riêng biệt, hãy để chúng là ngôn ngữ X và ngôn ngữ Y, nếu trình biên dịch của chúng tạo ra cùng một mã byte, tại sao tôi nên sử dụng ngôn ngữ X thay vì ngôn ngữ Y? …

38 programming-languages  compilers 

Tôi biết rằng Idris có các loại phụ thuộc nhưng không hoàn thành. Điều gì không thể làm được bằng cách từ bỏ tính hoàn chỉnh của Turing và điều này có liên quan đến việc có các loại phụ thuộc không? Tôi đoán đây là một câu hỏi khá …

35 computability  programming-languages  type-theory  dependent-types 

Hầu hết chúng ta đã học lập trình bằng các ngôn ngữ lập trình "văn bản" như Basic, C / C ++ và Java. Tôi tin rằng con người sẽ suy nghĩ trực quan và hiệu quả hơn. Lập trình trực quan cho phép các nhà phát triển viết chương …

35 programming-languages 

Là một nhà giáo dục CS cấp đại học, vấn đề dạy ngôn ngữ lập trình nào trong khóa học lập trình đầu tiên thường được đưa ra để thảo luận. Có hàng ngàn ngôn ngữ để lựa chọn, và rất nhiều cơn sốt tôn giáo (hoặc fevour) hỗ trợ …

35 programming-languages  education 

Dijkstra, trong bài tiểu luận về sự tàn khốc của việc thực sự giảng dạy khoa học máy tính , đưa ra đề xuất sau đây cho một khóa học lập trình giới thiệu: Một mặt, chúng tôi dạy những gì trông giống như tính toán vị ngữ, nhưng chúng …

33 reference-request  programming-languages  education  didactics 

Tôi đã đọc về Iota và Jot và thấy phần này khó hiểu: Không giống như Iota, nơi cây cú pháp cho một chuỗi có thể phân nhánh ở bên trái hoặc bên phải, cú pháp Jot được phân nhánh đồng đều. Do đó, Iota hoàn toàn không có ngữ …

32 regular-languages  programming-languages  turing-completeness 

Về cơ bản tôi nhận thức được ba nền tảng cho toán học Đặt lý thuyết Lý thuyết loại Chuyên mục lý thuyết Vậy những ngôn ngữ lập trình và nền tảng của toán học liên quan đến những cách nào? CHỈNH SỬA Câu hỏi ban đầu là "Ngôn ngữ …

30 programming-languages  history  type-theory  category-theory 

Có chương trình nào có thể 'dịch' mã nguồn giữa hai ngôn ngữ bất kỳ (giả sử người dịch có quyền truy cập vào các thư viện cần thiết) không? Nếu có, làm thế nào để họ làm việc (kỹ thuật được sử dụng, kiến ​​thức cần thiết, vv)? Làm …

28 computability  programming-languages  compilers 

Bộ kết hợp điểm cố định FIX (còn gọi là bộ kết hợp Y) trong phép tính lambda (chưa được đánh dấu) ( ) được định nghĩa là:λλ\lambda CỐ ĐỊNH≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Chúng ta có thể học ngôn ngữ lập trình trong bối cảnh ngôn ngữ học không? Các ngôn ngữ lập trình có phát triển tự nhiên theo những cách tương tự như ngôn ngữ tự nhiên không? Mặc dù tính hợp lý đầy đủ và tính nhất quán toán học …

27 programming-languages  natural-language-processing 

Tìm kiếm cái nhìn sâu sắc về các quyết định xung quanh rác thu thập thiết kế ngôn ngữ. Có lẽ một chuyên gia ngôn ngữ có thể khai sáng cho tôi? Tôi đến từ một nền tảng C ++, vì vậy khu vực này gây trở ngại cho tôi. …

27 programming-languages  memory-management  garbage-collection  language-design 

Chúng tôi chủ yếu viết chương trình bằng ngôn ngữ cấp cao. Vì vậy, trong khi học tôi đã gặp ngôn ngữ lắp ráp. Vì vậy, một trình biên dịch chuyển đổi ngôn ngữ lắp ráp thành ngôn ngữ máy và trình biên dịch thực hiện tương tự với ngôn …

27 programming-languages  education  history 

Lưu ý, trong khi tôi biết cách lập trình, tôi khá là người mới bắt đầu học lý thuyết CS. Theo câu trả lời này Turing hoàn thiện là một khái niệm trừu tượng về khả năng tính toán. Nếu một ngôn ngữ là Turing hoàn chỉnh, thì nó có …

26 computability  programming-languages  turing-completeness 

Tôi đã tìm thấy một số công cụ lập trình trực quan nguồn mở như Blockly và bạn bè và các dự án khác được lưu trữ tại Github, nhưng không thể tìm thấy bất kỳ công cụ nào hoạt động trực tiếp với cây cú pháp trừu tượng. Tại …

25 programming-languages  language-design  syntax-trees 

Tôi đã tìm trên mạng để tìm câu trả lời cho câu hỏi này và dường như mọi người đều ngầm biết câu trả lời trừ tôi. Có lẽ điều này là bởi vì những người duy nhất quan tâm là những người đã có giáo dục đại học về …

25 formal-languages  programming-languages  regular-expressions