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

2

Các ngôn ngữ kết thúc, biểu cảm nhất là gì?

Tôi ít quan tâm đến các ngôn ngữ nơi bạn có thể viết hầu hết mọi thứ, nhưng sau đó được yêu cầu viết một bằng chứng kèm theo rằng những gì bạn viết đã chấm dứt. Tôi quan tâm nhiều hơn đến không gian thiết kế của các ngôn …

7 programming-languages termination

1

Chúng ta có thể làm mọi thứ bằng các ngôn ngữ bắt buộc với một ngôn ngữ chức năng nếu nó không cho phép 'trạng thái' không?

Tôi đã đọc Cấu trúc và Giải thích các Chương trình Máy tính (SICP), MIT. Điều tôi đã hiểu là trong ngôn ngữ lập trình chức năng thuần túy, không có thứ gọi là trạng thái cục bộ. SICP, trang 230 nói: "Lập trình mà không sử dụng các bài …

7 programming-languages functional-programming programming-paradigms

1

Những ngôn ngữ máy tính trong thế giới thực không thể được mô tả bằng các ngữ pháp xác định?

Có ví dụ nào về ngôn ngữ máy tính trong thế giới thực không mang tính quyết định không? Theo ngôn ngữ máy tính, tôi bao gồm ngôn ngữ lập trình, ngôn ngữ đánh dấu, ngôn ngữ truy vấn, ngôn ngữ mô hình hóa, ngôn ngữ chuyển đổi, v.v. Bởi …

7 formal-grammars programming-languages nondeterminism

2

Trong phép đồng phân Curry-Howard được áp dụng cho các loại Hindley-Milner, mệnh đề nào tương ứng với một -> [a]?

(Sử dụng cú pháp Haskell, vì câu hỏi được lấy cảm hứng từ Haskell, nhưng nó áp dụng cho các hệ thống loại đa hình Hindley-Milner chung, chẳng hạn như SML hoặc Elm). Nếu tôi có chữ ký loại f :: a -> [a], mệnh đề logic được mã hóa …

7 programming-languages type-theory functional-programming curry-howard

1

Sự khác biệt giữa chuyển nhượng, định giá và ràng buộc tên là gì?

Tôi đọc rằng ràng buộc Tên gán một số giá trị (dữ liệu / mã / biểu thức) cho một định danh . Chuyển nhượng và định giá dường như làm điều tương tự. Thật khó hiểu. Tôi chỉ có thể nói rằng biến miễn phí là một, không được …

7 terminology programming-languages variable-binding

3

Vấn đề gì không thể được giải quyết bằng một chương trình ngắn?

LÝ LỊCH: Gần đây tôi đã cố gắng giải quyết một vấn đề khó khăn nhất định là nhập vào một mảng gồm số. Với , giải pháp duy nhất tôi có thể tìm thấy là có cách xử lý khác nhau cho mỗi thứ tự của 3 số. Tức …

7 complexity-theory programming-languages kolmogorov-complexity

1

IO là một đơn nguyên như thế nào?

Tôi đang học ngôn ngữ lập trình Haskell. Từ những gì tôi đang đọc, Input / Ouput ( IO ) đặt ra những thách thức cho độ tinh khiết của Haskell, vì theo định nghĩa, chúng ta đang tương tác với thế giới bên ngoài. Từ Wikipedia: Trong một ngôn …

7 programming-languages functional-programming

4

Tại sao nhiều giá trị trả lại không phải là một điều phổ biến?

Tôi muốn hỏi một câu hỏi về nhiều giá trị trả về, tại sao cấu trúc này không thích hợp trong các ngôn ngữ lập trình (khó khăn về khái niệm và / hoặc kỹ thuật). Tôi đã nghe một vài điều về khung stack và cách chúng dự trữ …

7 programming-languages compilers

1

Bộ sưu tập rác không có thẻ cho các ngôn ngữ hướng đối tượng

Tôi đang tìm kiếm một kỹ thuật thu gom rác tốt cho ngôn ngữ của mình và tìm thấy bài báo này , trong đó Benjamin Goldberg mô tả một kỹ thuật thu gom rác cho các ngôn ngữ được gõ mạnh, loại bỏ nhu cầu về thông tin loại …

7 programming-languages compilers memory-management empirical-research garbage-collection

1

REGEXP được triển khai trong các ngôn ngữ lập trình như thế nào?

Có một bài viết tổng quát tốt về việc giải thích hoặc biên dịch REGEXP trong các ngôn ngữ lập trình để khớp mẫu, có hoặc không có biến? Tôi không tìm kiếm một lời giải thích nhanh về việc xây dựng các DFA, nhưng cho một bài viết thực …

7 programming-languages compilers regular-expressions matching interpreters

1

Làm thế nào gần các ngôn ngữ lập trình phổ biến để không được Turing hoàn thành?

Thuật ngữ "Tính đầy đủ của Turing" đã được thảo luận trong một số lớp Khoa học Máy tính mà tôi đã học. Tuy nhiên, tôi chưa bao giờ có được cảm giác trực quan về những gì Turing hoàn thành thực sự đòi hỏi. Tôi tìm thấy câu hỏi …

7 programming-languages turing-completeness

2

Làm thế nào để tìm mô tả tối thiểu cho một mảng?

Mảng sau chiếm 10000 khe trong bộ nhớ: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Nhưng người ta có thể dễ dàng biểu diễn cùng một mảng như: a = {len:10000, get: λ idx -> idx} Mà nhỏ gọn hơn nhiều. Tương tự, có một số mảng có thể được biểu diễn nhỏ gọn: …

7 algorithms complexity-theory formal-languages programming-languages data-compression

1

Là cú pháp của ngôn ngữ C được xác định hoàn toàn bởi CFGs?

Tôi nghĩ rằng Câu hỏi là tự đủ. Là cú pháp của Ngôn ngữ C được xác định hoàn toàn thông qua Ngữ pháp miễn phí theo ngữ cảnh hay chúng ta có Cấu trúc ngôn ngữ có thể yêu cầu các định nghĩa Không ngữ cảnh miễn phí trong …

7 context-free programming-languages compilers parsing c

1

Làm thế nào để chứng minh định lý chương trình có cấu trúc?

Wikipedia : Định lý chương trình có cấu trúc [...] nói rằng [...] mọi thuật toán có thể được biểu diễn chỉ bằng ba cấu trúc điều khiển. họ đang Thực hiện một chương trình con, và sau đó một chương trình con khác (trình tự) Thực hiện một trong …

7 computability programming-languages computation-models

5

Mối quan hệ chính xác giữa ngôn ngữ lập trình và máy Turing là gì?

Tôi không biết nhiều về yacc, bison, flex hoặc lex và vui lòng sửa cho tôi nếu tôi sai nhưng ngôn ngữ lập trình cũng là máy Turing và máy Turing được định nghĩa là tuple trong đó , , , làm đầu vào, là hàm chuyển đổi trong đó …

7 turing-machines formal-grammars programming-languages computation-models

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