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

1

Có sự khác biệt giữa loại an toàn và loại âm thanh?

Tôi đã cố gắng để trêu chọc các định nghĩa về an toàn loại và âm thanh loại và tôi đang có một thời gian của nó. Tôi đã hỏi một giáo sư gần đây và sau một chút suy nghĩ, anh ấy nói rằng thực sự không có gì …

9 programming-languages type-theory type-checking

1

Có một thuật toán chung để lấp đầy các lỗ hổng về Tính toán công trình không?

Giả sử rằng bạn mở rộng Tính toán công trình bằng "lỗ hổng" - tức là các đoạn mã chưa hoàn chỉnh mà bạn chưa điền. Tôi tự hỏi nếu có một thuật toán để tự động điền các vai trò đó. Ví dụ: (sử dụng cú pháp của Morte …

9 machine-learning programming-languages unification

3

Tại sao các chuỗi bất biến trong một số ngôn ngữ?

Chuỗi là một lớp bất biến trong Java. Một lớp bất biến chỉ đơn giản là một lớp mà các thể hiện của chúng không thể được sửa đổi. Tại sao ngôn ngữ lập trình Java chọn làm cho các đối tượng của Chuỗi lớp không thay đổi?

9 programming-languages language-design

2

Những điểm sửa chữa là loại danh sách Haskell?

Hãy nói rằng danh sách được định nghĩa là List a = Nil | Cons a (List a) Vậy thì, trong Haskell là List xđiểm cố định lớn nhất hay ít nhất? Tôi yêu cầu bởi vì lfp nên loại trừ các danh sách vô hạn (nhưng bạn có thể …

9 programming-languages type-theory functional-programming semantics category-theory

1

Biểu cảm của biểu thức chính quy hiện đại

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

2

Có thể thực hiện các loại phụ thuộc trong vợt đánh máy?

Có thể sử dụng các loại phụ thuộc trong triển khai Vợt đánh máy hiện có không? (tức là họ có tồn tại trong đó không?) Có hợp lý không khi thực hiện Hệ thống các loại phụ thuộc bằng cách sử dụng vợt đánh máy?

9 programming-languages typing type-checking dependent-types lisp

1

Đại diện của sự kết hợp ở cấp độ loại

Tôi muốn tìm hiểu thêm về lập trình ghép nối thông qua việc tạo ra một ngôn ngữ đơn giản nhỏ, dựa trên ngăn xếp và tuân theo mô hình ghép. Thật không may, tôi đã không tìm thấy nhiều tài nguyên liên quan đến các ngôn ngữ kết hợp …

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

1

Không có gì đơn điệu của người Viking có nghĩa là gì trong bối cảnh có thể thay đổi

Tôi đang đọc Ngôn ngữ lập trình Rust và tìm thấy đoạn văn sau: Hãy nhớ rằng viết vào một cấu trúc không phải là một hoạt động nguyên tử và nhiều chức năng như vec.push()có thể phân bổ lại bên trong và gây ra hành vi không an toàn, …

8 programming-languages synchronization

7

Là một giáo viên: Chọn một ngôn ngữ lập trình phù hợp

Tôi không chắc đó có phải là nơi thích hợp cho câu hỏi này không. Xin lỗi nếu đi hơi lạc đề. Chọn một ngôn ngữ phù hợp cho khóa học lập trình đầu tiên là một trong những điều quan trọng nhất mà mọi giáo viên / giảng viên …

8 algorithms programming-languages education

1

Ngôn ngữ chính thức có thể được sử dụng để nghiên cứu ký hiệu toán học?

Câu hỏi: Có bất kỳ văn bản giới thiệu nào trong ngôn ngữ chính thức hoặc lý thuyết ngôn ngữ lập trình thảo luận về cách áp dụng nó vào nghiên cứu ký hiệu tối ưu không? Cụ thể, tôi muốn tìm hiểu ngôn ngữ ngăn xếp, cây phân tích …

8 formal-languages reference-request formal-grammars programming-languages

2

Tại sao BNF được coi là một kỹ thuật không đạt yêu cầu để mô tả một ngôn ngữ?

Tôi đã đọc bài báo Khái niệm cơ bản về ngôn ngữ lập trình của C. Strachey vào một ngày khác, trong đó tôi đọc một thứ khá lạ đối với tôi. Trích dẫn trực tiếp (với phần lạ được tôi nhấn mạnh): Đối mặt với tình hình như nó …

8 formal-grammars programming-languages syntax

1

Phân tích luồng dữ liệu với các ngoại lệ

Phân tích luồng dữ liệu làm việc trên một biểu đồ luồng điều khiển. Khi một ngôn ngữ được xem xét hỗ trợ các ngoại lệ, biểu đồ luồng điều khiển có thể phát nổ. Các kỹ thuật tiêu chuẩn để đối phó với vụ nổ này là gì? Chúng …

8 programming-languages program-optimization software-verification

4

Chúng ta có tạo ra một ngôn ngữ lập trình bằng cách viết một trình biên dịch không?

Nói rằng, tôi muốn tạo ngôn ngữ lập trình của riêng tôi. Giả sử rằng tôi đã đưa ra tất cả các quyết định về cách tôi muốn nó nhìn và hành động, tôi chỉ cần viết một trình biên dịch cho nó? Ví dụ, mã Java cấp cao có …

8 programming-languages compilers

2

Làm thế nào để cầu nối lý thuyết và thực hiện trong khi vòng lặp?

Tôi đang làm việc với ngôn ngữ lập trình nhỏ của riêng mình cho mục đích giáo dục và tôi gặp phải một chút vấn đề. Có một vài giải pháp khác nhau cho nó, nhưng tất cả chúng đều có vẻ không phù hợp - và từ những gì …

8 programming-languages loops language-design

1

Lambda Tính toán: Làm thế nào để đánh giá bối cảnh làm việc

Trong phép tính lambda thuần túy, chúng ta có tập hợp các thuật ngữ được xác định theo quy nạp (ngữ pháp): e : : = x | bước sóng x . e ∣ e1e2e:: =x|λx.e|e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Theo chiến lược đánh giá …

8 programming-languages lambda-calculus semantics

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