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

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 

Tôi thường nghe rằng đa hình hàng là một cách tiếp cận tốt hơn so với phân nhóm, nhưng tôi gặp khó khăn trong việc tìm kiếm bất cứ điều gì so sánh chúng một cách chi tiết. Tôi đặc biệt quan tâm đến viễn cảnh của một người dùng …

20 typing 

Câu hỏi này đã được di chuyển từ Exchange Engineering Stack Exchange vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Tôi muốn biết liệu loại : T a = ∀ X : { a ∈ X , f : X …

20 logic  type-theory  typing 

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 

Tôi đang đọc về thuật toán gõ Hindley-Milner trong khi viết một triển khai và thấy rằng, miễn là mọi biến bị ràng buộc, bạn sẽ luôn nhận được các loại nguyên tử hoặc các loại trong đó các đối số sẽ xác định loại cuối cùng, chẳng hạn như …

14 lambda-calculus  type-theory  typing  type-inference 

Tôi đang làm việc trên một ngôn ngữ dựa trên biểu thức của phả hệ ML, vì vậy nó tự nhiên cần loại suy luận> :) Bây giờ, tôi đang cố gắng mở rộng một giải pháp dựa trên ràng buộc cho vấn đề suy ra các loại, dựa trên …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

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 

Tôi đang học lập trình trong ML (OCaml), và trước đó tôi đã hỏi về các loại ML'a -> 'b . Bây giờ tôi đã thử nghiệm một chút với các chức năng của loại 'a list -> 'b list. Có một số ví dụ đơn giản rõ ràng: let …

8 programming-languages  typing  functional-programming 

Tôi có một câu hỏi về tính kế thừa trong các ngôn ngữ lập trình OO giống như Java. Nó xuất hiện trong lớp trình biên dịch của tôi, khi tôi giải thích cách biên dịch các phương thức và lời gọi của chúng. Tôi đã sử dụng Java làm …

7 programming-languages  semantics  typing  object-oriented  java