Khoa học máy tính programming-languages

10

Làm thế nào một ngôn ngữ có trình biên dịch được viết bằng C có thể nhanh hơn C?

Nhìn vào trang web của Julia , bạn có thể thấy một số điểm chuẩn của một số ngôn ngữ trên một số thuật toán (thời gian hiển thị bên dưới). Làm thế nào một ngôn ngữ với trình biên dịch ban đầu được viết bằng C, vượt trội hơn …

175 programming-languages compilers efficiency

12

Tại sao có nhiều ngôn ngữ lập trình?

Tôi khá thành thạo C / C ++ và có thể tìm hiểu các ngôn ngữ kịch bản khác nhau (awk / sed / perl). Tôi đã bắt đầu sử dụng python rất nhiều vì nó kết hợp một số khía cạnh tiện lợi của C ++ với khả năng …

130 programming-languages

6

Là lý thuyết thể loại hữu ích cho việc học lập trình chức năng?

Tôi đang học Haskell và tôi bị mê hoặc bởi ngôn ngữ này. Tuy nhiên tôi không có nền tảng toán học hay CS nghiêm túc. Nhưng tôi là một lập trình viên phần mềm có kinh nghiệm. Tôi muốn học lý thuyết thể loại để tôi có thể trở …

118 programming-languages functional-programming category-theory

5

Tại sao một số ngôn ngữ lập trình lại nhanh hơn hay chậm hơn các ngôn ngữ khác?

Tôi đã nhận thấy rằng một số ứng dụng hoặc thuật toán được xây dựng trên ngôn ngữ lập trình, nói rằng C ++ / Rust chạy nhanh hơn hoặc nhanh hơn so với các ứng dụng được xây dựng trên, Java / Node.js, chạy trên cùng một máy. Tôi …

81 programming-languages compilers

9

Những tính chất nào của ngôn ngữ lập trình làm cho việc biên dịch là không thể?

Câu hỏi: "Một số thuộc tính của ngôn ngữ lập trình có thể yêu cầu cách duy nhất để có được mã được viết trong đó là bằng cách diễn giải. Nói cách khác, việc biên dịch thành mã máy nguyên gốc của CPU truyền thống là không thể. Các …

72 programming-languages compilers interpreters

6

Xác minh chương trình chính thức trong thực tế

Là một kỹ sư phần mềm, tôi viết rất nhiều mã cho các sản phẩm công nghiệp. Công cụ tương đối phức tạp với các lớp, chủ đề, một số nỗ lực thiết kế, nhưng cũng có một số thỏa hiệp cho hiệu suất. Tôi làm rất nhiều thử nghiệm …

66 programming-languages program-correctness software-verification

14

Làm thế nào tôi có thể giải thích cho cha mẹ tôi rằng tôi học ngôn ngữ lập trình?

Tôi hiện đang hoàn thành bằng thạc sĩ khoa học máy tính. Tôi quan tâm đến các ngôn ngữ lập trình, đặc biệt là trong các hệ thống loại. Tôi đã quan tâm đến nghiên cứu trong lĩnh vực này và học kỳ tiếp theo tôi sẽ bắt đầu bằng …

64 programming-languages education typing research

10

Một ngôn ngữ động như Ruby / Python có thể đạt C / C ++ như hiệu suất không?

Tôi tự hỏi liệu có thể xây dựng trình biên dịch cho các ngôn ngữ động như Ruby để có hiệu suất tương tự và có thể so sánh với C / C ++ không? Từ những gì tôi hiểu về trình biên dịch, lấy ví dụ về Ruby, biên …

64 programming-languages compilers

3

Các loại phụ thuộc so với các loại sàng lọc

Ai đó có thể giải thích sự khác biệt giữa các loại phụ thuộc và các loại sàng lọc? Theo tôi hiểu, một loại sàng lọc chứa tất cả các giá trị của một loại đáp ứng một vị ngữ. Có một tính năng của các loại phụ thuộc mà …

58 terminology programming-languages type-theory functional-programming dependent-types

6

Có tiêu chí tối thiểu cho một ngôn ngữ lập trình được Turing hoàn thành không?

Có tồn tại một tập hợp các cấu trúc ngôn ngữ lập trình trong một ngôn ngữ lập trình để nó được coi là Turing Complete không? Từ những gì tôi có thể nói từ wikipedia , ngôn ngữ cần hỗ trợ đệ quy, hoặc, dường như, phải có khả …

55 computability programming-languages turing-machines turing-completeness

9

Ngôn ngữ lập trình an toàn là gì?

Ngôn ngữ lập trình an toàn (PL) đang trở nên phổ biến. Tôi tự hỏi định nghĩa chính thức của PL an toàn là gì. Ví dụ, C không an toàn, nhưng Java an toàn. Tôi nghi ngờ rằng tài sản của người dùng an toàn nên được áp dụng …

54 programming-languages

8

Làm thế nào các biến được lưu trữ trong và lấy từ ngăn xếp chương trình?

Lời xin lỗi trước cho sự ngây thơ của câu hỏi này. Tôi là một nghệ sĩ 50 tuổi lần đầu tiên cố gắng hiểu đúng về máy tính. Vì vậy, ở đây đi. Tôi đã cố gắng hiểu làm thế nào các loại dữ liệu và các biến được …

47 programming-languages memory-allocation

9

Tại sao một số ngôn ngữ lập trình Turing hoàn chỉnh nhưng thiếu một số khả năng của các ngôn ngữ khác?

Tôi đã gặp một vấn đề kỳ lạ khi viết một trình thông dịch (nên) móc vào các chương trình / chức năng bên ngoài: Các hàm trong 'C' và 'C ++' không thể móc các hàm matrixdic , ví dụ: tôi không thể tạo một hàm gọi 'printf' với …

42 computability programming-languages turing-completeness

2

Mã giả của Tarjan hoạt động như thế nào (được giải thích cho người quen thuộc với C hoặc Java)?

Câu chuyện ngắn Một nhà khoa học máy tính nổi tiếng, Tarjan , đã viết một cuốn sách nhiều năm trước. Nó chứa mã giả hoàn toàn kỳ quái. Ai đó vui lòng giải thích nó? Câu chuyện dài Tarjan được biết đến với nhiều thành tựu, bao gồm cả …

40 programming-languages

2

Là người thu gom rác thế hệ vốn đã thân thiện với bộ nhớ cache?

Một trình thu gom rác thế hệ điển hình giữ dữ liệu được phân bổ gần đây trong một vùng bộ nhớ riêng. Trong các chương trình điển hình, rất nhiều dữ liệu tồn tại trong thời gian ngắn, do đó, việc thu thập rác trẻ (một chu trình GC …

38 programming-languages computer-architecture cpu-cache garbage-collection

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