Seq [V]がMap [Int、V]を拡張しないのはなぜですか？Set [V]はMap [V、Bool]を拡張しませんか？

Question

Iterableの3つの直接サブタイプは、Map,SeqおよびSetである。パフォーマンスの問題とは別に、Seqは整数から値へのマップで、Setは値からブール値へのマップです（値がセット内にある場合はtrue、それ以外の場合はfalse）。

Seq[V]Map[Int, V]およびSet[V]をMap[V, Boolean]に拡張すると、これが型システムで表現されないのはなぜですか？

Answer 1

まあ、彼らは、少なくとも実際には共通の機能のdo、並べ替えます。 Seq[B]はInt => B（PartialFunction[Int, B]経由）を継承し、Map[A, B]はA => B（PartialFunction[A, B]も経由）を継承し、Set[A]はA => Booleanを継承します。したがって、機能の適用および組成方法に関する限り、3つすべてを交換可能に使用することができる。さらに、これらはすべてトラバーサルが行われる限り互換的に使用できます。すべてTraversableLikeを実装しています。

Answer 2

よく、すべてあなたが約SeqとSetを気にしていれば、あなたはポイントがあります。私自身は、それが最小の輸入業者の側面の1つだと思っているのですが、すでにすべてがよく表現されているものはです。です。 、Mapある

値へのキーの関数であり、Seq値にIntの関数であり、SetはBooleanに値の関数です。 「地図」と呼ばれるこのプロパティは、機能です。そしてそれはすでに3つすべてに共有されています。私の意見では、Map、SeqとSetは約実際にある何、

は以下のとおりです。

• Seqは、その要素が何であるかを順番に知っ懸念しています。概念的には、Mapにどのように要素を追加しますか？すべての鍵の番号を変更する必要があります。

• Setは、要素の有無に関係します。 Mapでそれをモデル化する方法は？共通のマップではなく、デフォルト値を持つマップでなければならず、デフォルト以外のすべての値が同じでなければなりません！それは明らかに抽象的ではなく、縮退した行動である。

• Mapは、任意のキーを任意の値にマッピングすることに関係しています。 A Seqには任意のキーがなく、Setには任意の値がありません。

Answer 3

整数から要素への代入としてシーケンスを見ることは、シーケンスが何であるかを説明する唯一の方法です。他の方法があり、シーケンスを記述するその方法が正式になるべき理由はありません。シーケンスの実際の目的は、一連の要素をアクセス可能かつトラバース可能にすることです。要素に実際に整数を割り当てるためにシーケンスは必要ありません。たとえば、ほとんどのStreamの実装では、トラバーサルと並行して実行されるカウンタが存在しない可能性があります。それを要求すると、実装に不必要なオーバーヘッドが発生します。

さらに、Map[K,V]もIterable[(K,V)]です。あなたの提案に続いて、Seq[A]もまたMap[Int,A]でなければならず、これによってもIterable[(Int,A)]になります。 SeqがIterableに拡張されているため、Seq[A]はIterable[A]とIterable[(Int,A)]（および再帰的にはIterable[(Int,(Int,A))],Iterable[(Int,(Int,(Int,A)))]など）となりますが、これはScalaでの継承の方法ではありません。

Setに関するあなたの提案にも同様の議論をすることができます。