我正在使用的Haskell函数具有以下类型
func1 :: (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer
我不确定在实际实现中如何处理括号。我知道在这种情况下应该将一个函数传递到输入中。(Integer -> Integer -> Integer)
当一个函数作为参数传递给您时，最后唯一可以使用的功能就是调用它。那就是功能。那就是他们的工作。
例如，在这种情况下，它可能看起来像这样：
func1 :: (Integer -> Integer -> Integer) -> Integer -> Integer -> Integer
func1 f a b = f (a*2) (b+5)
在这里，第一个参数被命名f，它是一个函数，该函数同时具有两个参数Integer，并返回另一个参数Integer-该类型传递了很多参数(Integer -> Integer -> Integer)。
第二个和第三个参数分别命名为a和b，它们都为Integer。
的功能体func1包括调用其功能参数的f，通过它(a*2)和(b+5)作为参数。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句