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

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ề …

161 haskell  type-systems  dependent-type 

Có những kiểu phụ thuộc vào đường dẫn và tôi nghĩ rằng có thể diễn đạt gần như tất cả các tính năng của các ngôn ngữ như Epigram hoặc Agda trong Scala, nhưng tôi tự hỏi tại sao Scala không hỗ trợ điều này rõ ràng hơn giống như …

109 scala  path-dependent-type  dependent-type  shapeless 

Gần đây tôi đã phát hiện ra rằng các lỗ kiểu kết hợp với khớp mẫu trên các bản thử nghiệm mang lại trải nghiệm giống Agda khá tốt trong Haskell. Ví dụ: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * …

105 haskell  dependent-type 

Ai đó có thể giải thích cách gõ phụ thuộc cho tôi không? Tôi có ít kinh nghiệm về Haskell, Cayenne, Epigram hoặc các ngôn ngữ chức năng khác, vì vậy các thuật ngữ bạn có thể sử dụng càng đơn giản, tôi càng đánh giá cao nó!

82 functional-programming  dependent-type