Haskell（a - > a - > Bool）函数定义

您好我新来哈斯克尔和我有困难的时间与函数定义。在分配我需要使用此功能Haskell（a - > a - > Bool）函数定义

insort :: [a] -> (a -> a -> Bool) -> [a] 
insort [] _  = [] 
insort (x : xs) f = ins x (insort xs f) 
         where 
         ins x [] = [x] 
         ins x (y : ys) = if (f x y) 
              then x : y : ys 
              else y : ins x ys

，但我不能搞清楚如何使用它.. 对我来说好像我应该是：

insort [1,2,3,5,6] (4 > 3)

，并感谢你你的帮助！

来源

2014-01-31 CodeName

insort [1,2,3,5,6]（>） – jcarpenter2

相关问题：除了const外还有其他函数吗？ const True'和'const。 const False'在没有进一步资格的情况下完成签名'a - > a - > Bool'？ – kqr

你觉得'insort [1,2,3,4,5,6]（4> 3）'应该做什么？ –

第二个参数应该是一个接受a -> a-> Bool的函数，比如大于。这个函数将被称为列表中的每个元素。

你应该使用它像：

insort [1, 2, 3, 4, 5, 6] (>)

来源

2014-01-31 01:31:27

的第二个参数insort已经键入(a -> a -> Bool)。这是取两个a并返回Bool的函数类型。这里a是Int。

表达式4 > 3（它只是(>) 4 3的语法糖）只是Bool类型。可怜的东西。

您需要将(>)函数传递给insort。

insort [1, 2, 3, 4, 5, 6] (>)

来源

2014-01-31 01:35:30 jcarpenter2

Haskell（a - > a - > Bool）函数定义

回答

相关问题