4

反射库中有一个现有的类

class Reifies s a | s -> a where ...

（所以我不能改变这个类）。我觉得应该可以在包装类中将功能依赖表示为类型族同义词，以便我可以做类似的事情

class (Reifies s a) => ReifiesWrapper s a where
   type ReifiedType s

然后在 ReifiesWrapper 集的实例中

type ReifiedType s = a

我当然不能这样做，因为 a 没有出现在 LHS 上。这一切似乎都应该是可能的，因为（由于 Reifies 中的 FunDep），知道 s 就足以找到类型 a。

总体目标是隐藏“具体化类型”a：

class Reified q where
  ...

instance (Reified q) => Blah q
   type ReifiedBlah q = ReifiedType q

我在这里期望太多了吗？

谢谢，埃里克

4

1 回答 1

2

如果您打算Reifies在包装器中复制方法，那么您可以编写如下内容：

class R s a | s -> a where
  r :: s -> a
  -- etc.

class R s a => RW s a where
  type RT s
  r' :: a ~ RT s => s -> RT s
  r' = r
  -- etc.

instance R Bool String where
  r = show
  -- etc.

instance RW Bool String where
  type RT Bool = String
  -- no need to write r' = r, etc.

-- > :t r
-- r :: R s a => s -> a
-- > :t r'
-- r' :: RW s (RT s) => s -> RT s
-- > :t r True
-- r True :: [Char]
-- > :t r' True
-- r' True :: RT Bool
-- > r True
-- "True"
-- > r' True
-- "True"

a因此和之间的关联RT s可以表示为等式约束。

更新：对于具有类型族的 1 参数包装器，超过具有 Fundep 的 2 参数类：

class R s a | s -> a where
  r :: s -> a

class R' s where
  type RT s a
  r' :: (R s a, a ~ RT s a) => s -> RT s a
  r' = r

instance R Bool String where
  r = show

instance R' Bool where
  type RT Bool a = a

以便：

> :t r
r :: R s a => s -> a
> :t r'
r' :: (R' s, R s a, RT s a ~ a) => s -> RT s a
> :t r True
r True :: [Char]
> :t r' True
r' True :: RT Bool [Char]
> r True
"True"
> r' True
"True"

例如：

import qualified Data.Reflection as Reflection ( reflect )
import Data.Reflection hiding ( reflect )

class Reified s where
  type ReifiedType s a
  reflect :: (Reifies s a, a ~ ReifiedType s a) => proxy s -> ReifiedType s a
  reflect = Reflection.reflect
于 2012-06-22T02:34:45.447 回答