コンテナ型のtypeclassがないのはなぜですか？

Question

私は、いくつかのコンテナに非常に似た機能セットがあることを知りました。 List、Set、Sequence、Text、およびBytestringなどがあります。私はなぜ彼らが1つ以上の一般的なタイプメーターを使用しないのだろうかと思います。

Answer 1

実際には、質問Making a single function work on lists, ByteStrings and Texts (and perhaps other similar representations)がありますが、それはあなたのものとほぼ同じです。

別のパッケージに含まれている主な理由は、関数の依存関係や型のファミリのいずれかの言語拡張が必要な​​ことが考えられます。 TextにはCharが含まれ、ByteStringにはWord8が含まれ、[]には任意のタイプを含めることができ、SetにはOrdのインスタンスのみを含めることができます。リストのような

Answer 2

共通の機能セットは何ですか？ AFAICSは、複数のコンテナを1つのコンテナに結合し、空のコンテナを生成する機能のみをサポートします。そして確かに、彼らはすべて正確にそのインターフェイスを提供するMonoidです！

いくつかは多型であるため、これらのすべてでは何もできません。

Answer 3

多形コンテナ、Sequence、MaybeとMapはFunctor、FoldableとTraversable型クラスのインスタンスです。 Setについては

オードインスタンスは、それは不可能（あなたがファンクタの法則に従うでしょうfmap（Data.Set.map）を定義することができますが、それの署名は引数にオードインスタンスを必要とする）他の人を定義することを可能にするよう、あなたは、唯一のFoldableを持っています。

前述のように、TextとBytestringは同じような型定義のインスタンスにすることができますが、関数の依存関係や型のファミリが必要になります。