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

Trong quan điểm ngôn ngữ lập trình, ý nghĩa của việc phân nhóm là gì? Tôi nghe nói rằng "Thừa kế không phải là Subtyping". Vậy thì sự khác biệt giữa thừa kế và phân nhóm là gì?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

Các loại quyền sở hữu và Logic tách biệt dường như có các mục tiêu tương tự, kiểm soát quyền sở hữu và bí danh. Có lẽ, tôi cũng nên thêm: khả năng viết các đặc tả mô-đun. Những gì được biết về mối quan hệ giữa các loại sở …

10 pl.programming-languages  type-systems  object-oriented  program-logic 

Đây là một câu hỏi tôi đã hỏi trong diễn đàn toán học SE, và tôi đã được giới thiệu ở đây. Vì vậy, đây là câu hỏi- Tôi là người mới trong cả toán học chính thức và khoa học máy tính lý thuyết, vì vậy hãy đồng ý …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented