比较而不推导Ord

Question

我的教授要求我们在 Haskell 中实现冒泡排序。问题应该很简单，但是，他指定了这样的函数签名

bsort :: (a -> a -> Bool) -> [a] -> [a]
bsort = undefined

问题是 a 没有导出Ord，所以我不知道如何比较as。所以我想知道这是否可行或者他忘记添加(Ord a) =>？

Answer 1

是的，这是可行的，不，他没有忘记。这是一个提示：

bsort (<=) = undefined