haskell - 本地数据声明/实例提案

Question

我很好奇，并且一直无法在 Haskell 中找到类似的提案。考虑 sort已写但未写sortBy .

sortBy :: forall a. (a -> a -> Ordering) -> [a] -> [a]
sortBy f = map getX . sort . map X
    where
    newtype X = X { getX :: a }
    instance Ord X where
        compare (X a) (X b) = f a b

有人看过这个提议吗？

Answer 1

显然，本地实例已在 Haskell Prime 邮件列表中进行了简要讨论:http://web.archiveorange.com/archive/v/eKcS7T2qBpy7czBE2Jei ，并且更完整地在 Oleg 的论文“Functional Pearl: Implicit Configurations”的第 6 章中。不过，我几乎没有听说过本地数据声明。