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




4
Tại sao không được gõ phụ thuộc?
Tôi đã thấy một số nguồn tin lặp lại ý kiến ​​rằng "Haskell đang dần trở thành một ngôn ngữ được gõ phụ thuộc". Hàm ý dường như là với ngày càng nhiều phần mở rộng ngôn ngữ, Haskell đang trôi theo hướng chung đó, nhưng vẫn chưa có. Về …

4
Toán tử `#` có nghĩa gì trong Scala?
Tôi thấy mã này trong blog này: Lập trình cấp độ trong Scala : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type …

4
Một số trường hợp sử dụng hấp dẫn cho các loại phương pháp phụ thuộc là gì?
Các loại phương thức phụ thuộc, trước đây là một tính năng thử nghiệm, hiện đã được bật theo mặc định trong thân cây và dường như điều này dường như đã tạo ra sự phấn khích trong cộng đồng Scala. Thoạt nhìn, không rõ ràng điều này có thể …



Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.