以下是什么类型？

Question

我刚开始学习新的 Haskell，我正在努力确定以下内容的类型：

    1) one x = [x]
    2) three x = (x,x,x)
    3) first x y = x
    4) mult m n = m*n
    5) [(False,’0’),(True,’1’)]

Answer 1

1. one x = [x] 是一个接受一个元素并返回一个仅包含该元素的列表，因此它的类型为 one :: a -> [a]
2. three x = (x,x,x) 具有普通类型 three :: a -> (a,a,a)
3. first x y = x 看起来像具有 first :: a -> b -> a 类型的 Prelude 函数 const
4. mult m n = m*n 与(*) 具有相同的类型，即(*) :: Num a => a -> a -> a
5. [(False,’0’),(True,’1’)] 甚至不是函数，所以有简单类型 :: [(Bool, Char)]

请记住，您始终可以使用 GHCi 函数 :t 来返回表达式的类型