Haskell:重载siginiture并为不同的输入类型返回不同的结果

Question

我需要这个功能:

blubb :: ??? -> Int
blubb (n :: Int) = n
blubb (n :: Char) = 42

这是它应该如何工作:函数获取Int并返回它.如果函数得到一个Char它返回一个常量值,其他情况是无关紧要的.

由于Haskell中的类型系统,它可能是不可能的,但我需要让它工作......

Answer 1

这是类型类的用途:

class Blubb t where
    blubb :: t -> Int


instance Blubb Int where
    blubb n = n

instance Blubb Char where
    blubb _ = 42

这种重载blubb适用于Ints和Chars.编译器将根据参数的类型选择要使用的正确值.

但是,请注意不要使用实际需要的类型类Either.你可能真的想要这个:

blubb :: Either Int Char -> int
blubb (Left  n) = n
blubb (Right _) = 42