哈斯克爾/演算類型例如

Question

假設的Haskell或演算呈現以下功能類型：

A - >乙 - 「ç

（A - > B） - 」ç

這兩個不同？

Answer 1

這裏是你的類型的兩個示例的功能，這將幫助你找出如何將這些不同：

valatzero :: Num a => (a -> t) -> t 
valatzero f = f 0 

plus :: Num a => a -> a -> a 
plus x y = x + y 

Answer 2

首先是從A的（從B到C功能）的功能。第二個是從（功能從A到B）到C的函數。第一個「有兩個參數」第二個「有一個參數」。第一個是正常功能，第二個是「高階功能」。