polykinds

5Nhiệt

1Trả lời

gì * (sao) hoặc các loại khác có nghĩa là trong một danh sách thể hiện của Haddock

Duyệt haddocks các gói khác nhau tôi thường đi cùng các tài liệu ví dụ mà trông như thế này (Control.Category): Category k (Coercion k) Category * (->) hay này (Control.Monad.Trans.Identity): Monad

13Nhiệt

3Trả lời

RankNTypes và PolyKinds

Sự khác biệt giữa f1 và f2 là gì? $ ghci -XRankNTypes -XPolyKinds Prelude> let f1 = undefined :: (forall a m. m a -> Int) -> Int Prelude> let f2 = undefined :: (forall (a :: k) m. m a -> Int) -> In

7Nhiệt

1Trả lời

Có cách nào chung để áp dụng các ràng buộc cho một ứng dụng kiểu?

Một comment của thành viên 2426021684 dẫn tôi đến điều tra xem liệu nó đã có thể đưa ra một chức năng loại F mà F c1 c2 fa chứng minh rằng đối với một số f và a: fa ~ f a c1 f c2 a Hóa ra là đơn giản

12Nhiệt

2Trả lời

Tôi có thể triển khai loại mới này làm thành phần của các loại khác không?

Tôi đã viết một Newtype Const3 đó là rất giống với Const, nhưng chứa đầu tiên trong ba đối số loại nhất định: newtype Const3 a b c = Const3 { getConst3 :: a } tôi có thể xác định rất nhiều trường hợ