Haskell：类系统扩展提议

Question

我正在解决在Haskell中生成祖先实例的一些问题。 最近我在Haskell wiki上发现了这个： 类系统扩展提议 。 所以，我想知道，这个提案有没有解决方案？

以下是提案中的示例：

Haskell中的当前类系统基于这样的思想，即通过使用类或其祖先的其他方法，您可以在定义类的同时为类方法提供默认实现。 但是请考虑以下层次结构，该层次结构根据Functor层次结构提议和其他前奏改编：

 class Functor m where fmap :: (a -> b) -> ma -> mb class Functor m => Applicative m where return :: a -> ma apply :: m (a -> b) -> ma -> mb (>>) :: ma -> mb -> mb ma >> mb = (fmap (const id) ma) `apply` mb class Applicative m => Monad m where (>>=) :: ma -> (a -> mb) -> mb 

对于Monad的所有具体实例，我们可以在return和（>> =）方面定义fmap，apply和（>>），如下所示：

 fmap f ma = ma >>= (\\a -> return (fa)) apply mf ma = mf >>= \\f -> ma >>= \\a -> return (fa) ma >> mb = ma >>= \\_ -> mb 

换句话说，我们希望能够写：

 class Applicative m => Monad m where (>>=) :: ma -> (a -> mb) -> mb fmap f ma = ma >>= (\\a -> return (fa)) apply mf ma = mf >>= \\f -> ma >>= \\a -> return (fa) ma >> mb = ma >>= \\_ -> mb 

并且能够通过写入来提供返回和（>> =）的定义来定义Monad的新实例：

 instance Monad T where ma >>= a_mb = ... -- some definition return a = ... -- some definition 

显式导入/导出实例

这是必需的，以便可以构建大型程序而不必担心不同包之间的实例声明冲突。 可能的语法可能是：

 module M -- exported instances ( instance Monad T , instance Functor (F a) hiding (Functor (F Int), Functor (F Char)) , F(..) ) where import Foo (instance Monad a hiding Monad Maybe) data T a data F ab 

上下文被省略的地方因为在实例选择中没有使用它（此刻）。 import指令告诉编译器使用Foo导出的所有Monad实例，除了Monad Maybe实例（Foo是否实际导出Monad Maybe实例无关紧要 - 这里重要的是我们不需要它如果有的话）。

Answer 1

是的， DefaultSignatures扩展允许这样做。 例如，对于Functor / Applicative示例，可以编写

{-# LANGUAGE DefaultSignatures #-}
class Functor f where
    fmap :: (a -> b) -> f a -> f b
    default fmap :: Applicative f => (a -> b) -> f a -> f b
    fmap = liftA