我使用重叠实例的以下Haskell代码;我试图实现一个函数,它将函数的类型作为String生成,或者 - 更一般地说 - 对不同的函数类型执行不同的操作:
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# LANGUAGE OverlappingInstances, IncoherentInstances #-}
module Test
where
data TypeString = MKTS String
instance Show TypeString where
show (MKTS s) = s
class ShowType b c where
theType :: (b -> c) -> TypeString
instance ShowType b b where
theType _ = MKTS "b -> b"
instance ShowType b c where
theType _ = MKTS "b -> c"
instance ShowType (b, b') c where
theType _ = MKTS "(b, b') -> c"
class Problem a where
showProblem :: a -> TypeString
instance Problem (b -> c) where
showProblem f = theType f
Haskell显示我输入
时的预期行为> theType (uncurry (+))
(b,b') -> c
但是:任何人都可以解释以下内容:
> showProblem (uncurry (+))
b -> c
...并解释一下,如何避免Haskell选择过于笼统的实例......
答案 0 :(得分:2)
Problem
的实例用于b -> c
。如果您查看showProblem
的签名,您会看到没有ShowType
上下文。如果没有上下文,则编译器只能静态推断实例。因此,选择b -> c
的实例,因为它是静态拟合的实例。
我不知道如何解决这个问题,恕我直言可以手工提供上下文,但我真的不知道:
class Problem a where
showProblem :: ShowType a => a -> TypeString
instance Problem (b -> c) where
showProblem :: ShoType (b -> c) => (b -> c) -> TypeString
showProblem = theType
对我来说,使用 OverlappingInstances 通常意味着我在代码中做了错误的设计决定。