haskell - Haskell 类型声明、函数和元组作为参数

Question

我正在为学校做一份 Haskell 作业。我想创建一个名为 MapTuple 的函数，它将一个函数映射为一个元组作为元组数组的参数。我通过以下方式声明它:

MapTuple :: [(a,b)] -> (a -> b) -> [b]

我想使用该功能的方式如下。

MapTuple :: [(Int, String)] -> (Int -> String) -> [String]

但是问题是编译时出现以下错误:

无效的类型签名:MapTuple::([(a, b)]) -> (a -> b) -> [b]应采用::

形式

我做错了什么？

非常感谢您提前帮助我!

Answer 1

Haskell 有一个命名约定，它实际上是该语言的一部分

• 函数以小写字母开头
• 构造函数以大写字母开头

所以你需要将MapTuple更改为mapTuple

至于什么是构造函数，

 data Foo = ThisIsAConstructor

它基本上是一个返回 Foo 的函数。