如何用类约束手动计算功能的类型？

Question

以下功能应用程序的键入规则

    f :: A -> B
    e :: A
    -----------
    f e :: B

没有考虑到类约束的f。我如何手动计算类型，例如：

(+) :: Num a => a -> a -> a
3 :: Int
---------------------------
(+) 3 :: ?

Answer 1

对于：

(+) :: Num a =>  a -> a -> a
3   ::          Int

我们知道a（第一个参数）与int（3的类型）相同，因此这意味着<代码> a〜int （a和int是相同的类型），因此这意味着：

(+)   :: Num a =>  a ->  a  ->  a
3     ::          Int
------------------------------------
(+) 3 :: Num Int =>     Int -> Int

由于int是成员在num typeclass中，我们可以删除num Int =＆gt;，从而获得：

(+)   :: Num a =>  a ->  a  ->  a
3     ::          Int
------------------------------------
(+) 3 ::                Int -> Int