我想要一個'通用'地圖數據結構,它可以通過提供自定義實例來高效地進行專門化,就像在the GHC manual section on type families中一樣。 {-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
module
我做了一個虛擬項目來測試泛型和相關類型。 這是一個協議 protocol WordProto : Equatable { // BTW not sure if I should put Equatable here
associatedtype WordAlias : Equatable // or here
var homonyms: [WordAlias] { get
我仍然在學習如何使用相關類型實現協議的對象數組。 我有以下協議: public protocol Word : Equatable, Hashable { // compiles
associatedtype WordType : Equatable
var moreWords: [WordType] { get }
}
public protocol WordDa