主页 / coding / 问题 / 79020424
Accepted
kesarling
Asked: 2024-09-25 05:31:48 +0800 CST

我如何重载 haskell 中的某个运算符以在两侧采用不同类型？

  • 772

口粮：

class Foo s where
    myCons :: Char -> s -> s
    myCons c xs = <my definition of however I wish to interpret this>

instance (Eq, Show) Foo where
    (:) x y = x `myCons` y

错误：

Pattern bindings (except simple variables) not allowed in instance declaration:
      (:) x y = x `myCons` y

我做错什么了？

我想要做的事情：

fooFromList :: [Int] -> Foo
fooFromList [] = Foo []
fooFromList (x:xs) = let x' = (convertDigitToChar x) in x':(fooFromList xs)
list

2 个回答

  1. 您无法覆盖现有函数。Haskell 使用临时多态性来实现这一点。

    但是，在列表的情况下，您可以使用OverloadedLists扩展名 [ghc-doc]。

    如果你有一个数据类型Foo：

    data Foo a = MyEmpty | MyCons a (Foo a)

    您可以使用：

    import GHC.IsList (IsList)

instance IsList (Foo a) where
  type Item (Foo a) = a
  toList = foldr MyCons MyEmpty
  fromList MyEmpty = []
  fromList (MyCons x xs) = x : fromList xs

    如果您使用 进行编译-XOverloadedLists，则可以在代码中使用类型为 的列表文字Foo a。

    但这不会使函数超载(:)：如果您使用:，它仍将使用那个(:) :: a -> [a] -> [a]。

    • 1
  2. Best Answer

    我建议简单地将Foo应用程序提取到递归之外。（事实上……真的需要一种新类型吗，还是你只是猜测？什么能做Foo而什么[Char]不能做？）

    fooFromList :: [Int] -> Foo
fooFromList xs = Foo (map convertDigitToChar xs)

    因此，如果我尝试使 Foo 成为 Eq 和 Show 的实例，我该怎么做？

    编译器可以为您编写这些实例，并且很少执行与导出程序不同的事情。

    data Foo = Foo [Char] deriving (Eq, Show)
    • 1

相关问题