Haskell:高阶函数

时间:2019-03-09 21:58:38

标签: haskell

问题:

实施高阶插入排序算法hoMergeSort 与合并排序类似,不同之处在于将元素x放在 如果fun x b是一个被视为 通过高阶合并排序输入。换句话说,评估的结果 hoMergeSort fun xs应该是一个列表[y1,y2,...,yn]这样 有趣的y1 <有趣的y2 <... <有趣的yn。

我的非工作尝试:

homerge :: Ord b => (a -> b) -> [a] -> [a] -> [a]
homerge _ xs [] = xs
homerge _ [] ys = ys
homerge fun (x:xs) (y:ys) = if (fun x)<(fun y) then fun x : (homerge fun xs (y:ys)) 
                            else y : (homerge fun (x:xs) ys)

在过去的一个半小时里,我一直在努力解决这个问题,但一直没有取得任何进展。我编写代码的方式对我来说很有意义,但是编译器没有任何代码。

不是要找人完全为我解决问题,只是让我走上正确的路。

谢谢。

1 个答案:

答案 0 :(得分:3)

您要将x插入列表,而不是fun x。这是一个应该起作用的函数:

homerge :: Ord b => (a -> b) -> [a] -> [a] -> [a]
homerge _ xs [] = xs
homerge _ [] ys = ys
homerge f (x:xs) (y:ys) | f x < f y = x : homerge f xs (y:ys)
                        | otherwise = y : homerge f (x:xs) ys

请注意,我使用了防护,因为它们使代码比if-then-else更加清晰。而且,这只会合并两个已经排序的列表。