gpt4 book ai didi

haskell - 所有类型族实例的类型约束

转载 作者:行者123 更新时间:2023-12-02 15:20:00 26 4
gpt4 key购买 nike

我想如果没有 Template Haskell,我想要的东西是不可能的,但无论如何我都会问。

我有一个用于 Data.SetData.IntSet 等类型的接口(interface):

type family Elem s :: *
class SetLike s where
insert :: Elem s -> s -> s
member :: Elem s -> s -> Bool
...

type instance Elem (Set a) = a
instance Ord a => SetLike (Set a) where
...

我有一个选择最佳集实现的类型系列:

type family EfficientSet elem :: *
type instance EfficientSet Int = IntSet
type instance EfficientSet String = Set String -- or another implementation

有没有办法保证 EfficientSet 实例始终是 SetLike 并且 Elem (EfficientSet a)a

如果没有这个保证,所有函数签名将如下所示:

type LocationSet = EfficientSet Location
f :: (SetLike LocationSet, Elem LocationSet ~ Location) => ...

每次都写 SetLike LocationSet 是可以忍受的,但是 Elem LocationSet ~ Location 只会让代码理解变得更加困难,对我来说。

最佳答案

使用 GHC 7.4 的约束类型,你可能会得到类似的东西

type EfficientSetLike a = (SetLike (EfficientSet a),Elem (EfficientSet a) ~ a)

您可以(通过适当的扩展)在早期版本的 GHC 中获得类似的约束

class (SetLike (EfficientSet a),Elem (EfficientSet a) ~ a) => EfficientSetLike a 
instance (SetLike (EfficientSet a),Elem (EfficientSet a) ~ a) => EfficientSetLike a

但是,新样式的 type 声明要好得多。

我不太确定你在寻找什么,但听起来你只是想更容易地编写/理解约束签名,在这种情况下这会起作用。

关于haskell - 所有类型族实例的类型约束,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9598881/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com