haskell - Haskell 为 Int 和 Double 打字

Question

只是关于打字的快速问题。

如果我输入 ghci:t [("a",3)]我会回来[("a",3)] :: Num t => [([Char], t)]

在文件中，我将类型定义为：

type list = [(String, Int)]

如何更改类型以使用我定义的类型同时支持Ints 和Doubles，类似于我在 ghci 中编写的内容？

Answer 1

首先，您的代码中有错误。数据类型必须以大写字母开头：

type List = [(String, Int)]

（请注意，这String是 的类型同义词[Char]，即它们是完全相同的类型）。我们将以迂回的方式解决您的问题。请注意，您可以在元组的第二个槽中使类型完全通用：

type List a = [(String,a)]

以便您的类型参数化任意类型。如果您需要专门针对某个函数中的数字类型，那么您可以为每个函数单独进行专门化。例如：

foo :: Num a => List a
foo = [("Hello",1),("World",2)]

我们可以在数据类型中包含一个约束，如下所示：

data Num a => List a = List [(String,a)]

但是您仍然必须Num a => ...在每个函数声明中包含约束，因此您实际上不会保存任何类型。出于这个原因，Haskell 程序员通常遵循“不要在数据声明中包含类型约束”的规则。