Perché Seq [V] non estende Map [Int, V] né Set [V] estende Map [V, Bool]?

Question

I tre sottotipi immediati di Iterable sono Map, Seq e Set. Sembra che, a parte i problemi di prestazioni, uno Seq sia una mappa da numeri interi a valori e uno Set sia una mappa da valori a valori booleani (true se il valore è nell'insieme, false altrimenti).

Se questo è il caso, perché questo non è espresso nel sistema di tipo facendo Seq[V] estendono Map[Int, V] e Set[V] estendono Map[V, Boolean]?

Answer 1

Beh, in qualche modo funzionano, almeno in realtà funzionalità comuni. Seq[B] eredita da Int => B (via PartialFunction[Int, B]), Map[A, B] eredita da A => B (anche tramite PartialFunction[A, B]) e Set[A] eredita da A => Boolean. Pertanto, per quanto riguarda i metodi di applicazione e composizione della funzione, tutti e tre possono essere usati in modo intercambiabile. Inoltre, possono essere utilizzati in modo intercambiabile per tutto il percorso, poiché tutti implementano TraversableLike.

Answer 2

Beh, se tutto si preoccupano Seq e Set era che, si avrebbe un punto. A mio parere, penso che sia uno degli aspetti meno importanti, e uno che è già ben rappresentato da tutte le funzioni .

Cioè, un Map è una funzione di una chiave in un valore, un Seq è una funzione di un Int in un valore, e un Set è una funzione di un valore in un Boolean. Questa proprietà, che hai chiamato una "mappa", è una funzione. Ed è già condiviso da tutti e tre.

Quali sono, a mio parere, Map, Seq e Set sono veramente sono:

• Un Seq è preoccupato di sapere in quale ordine i suoi elementi sono. Concettualmente, come anteporesti un elemento a Map? Dovresti rinumerare tutte le chiavi!

• A Set è preoccupato per la presenza o l'assenza di un elemento. Come si modellerebbe quello in un Map? Dovrebbe essere una mappa con valore predefinito - non una mappa comune - e una in cui tutti i valori non predefiniti sono gli stessi! Questo è chiaramente un comportamento degenerato, non un'astrazione.

• A Map si preoccupa di associare chiavi arbitrarie a valori arbitrari. Un Seq non ha chiavi arbitrarie e un Set non ha valori arbitrari.

Answer 3

Vedere una sequenza come un compito da interi a elementi è solo un modo per descrivere cos'è una sequenza. Ci sono altri modi, e non c'è motivo per cui quel modo di descrivere una sequenza debba diventare canonico. Lo scopo reale di una sequenza è quello di rendere un gruppo di elementi accessibili e attraversabili. Non è richiesta una sequenza per assegnare effettivamente numeri interi agli elementi. Ad esempio, la maggior parte delle implementazioni di Stream probabilmente non ha un contatore in esecuzione in parallelo al traversal. Richiedere ciò imporrebbe un inutile sovraccarico all'implementazione.

Inoltre, uno Map[K,V] è anche un Iterable[(K,V)]. Seguendo il tuo suggerimento, un Seq[A] dovrebbe anche essere un Map[Int,A], che sarebbe anche un Iterable[(Int,A)]. Poiché Seq estende Iterable, questo renderebbe il Seq[A] sia un Iterable[A] ed un Iterable[(Int,A)] (e, ricorsivamente, un Iterable[(Int,(Int,A))], Iterable[(Int,(Int,(Int,A)))], e così via), che non è un modo permesso di ereditarietà in Scala.

È possibile creare un argomento simile per il suggerimento relativo a Set.