我想要一个'通用'地图数据结构,它可以通过提供自定义实例来高效地进行专门化,就像在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