haskell - 標準クラスのやり直し

Question

Typeclassopedia で証明されているように、圏論からインポートされた現在のクラスのスタックは、美しい首尾一貫した全体ではなく、歴史の絡み合った偶然の産物です。

特に、これにより、何が起こっているのかを追跡することがかなり難しくなります。

下位互換性、コードの重複、扱いやすい短い型シグネチャなどのささいな懸念が問題にならない場合、このようなものはどのように見えるべきでしょうか?

Answer 1

標準クラスの一部のサブセットについては、改訂された階層を与える試みが行われています。

数値型クラス

• 数字の前奏曲。数値型クラスの実験的な代替階層

特に、より豊富な数学的抽象化のセットを提供します。

これに加えて、他にも多くの代替デザインがあります。

• まだ別のプレリュード- ロス・パターソンからの注目すべき別のプレリュード:

• prelude-extras - 高階プレリュード関数
• classy-prelude - より多くのクラスを持つプレリュード

カテゴリ型クラス

Functor、Monad、Monoid、Applicative、そしてもちろん、Category など、カテゴリに着想を得たクラスの作業は少なくなりました。

最も重要な作業は、

• category-extrasパッケージは、有名な zygohistoprepromorphism を含む非常に豊富なライブラリを提供します。

Answer 2

「カテゴリー」クラスに関しては、その他のプレリュードもあります。そこで概説されているクラス階層は、Fregeに実装されています。