Qual è la parola chiave forSome in Scala per?

Question

ho trovato il seguente frammento di codice:

List[T] forSome { type T } 

Il forSome si presenta come un metodo, ma il mio amico mi ha detto che è una parola chiave.

L'ho cercato su google, ma ho trovato pochi documenti su forSome. Che cosa significa e dove posso ottenere alcuni documenti a riguardo?

Answer 1

La parola chiave forSome viene utilizzata per definire tipi esistenziali in Scala. C'è questa pagina di Scala glossary che spiega cosa sono. Non sono riuscito a trovare un posto nei documenti Scala spiegandoli in dettaglio, quindi here è un articolo sul blog che ho trovato su Google che spiega come sono utili.

Aggiornamento: è possibile trovare una definizione precisa dei tipi esistenziali nello Scala specification ma è piuttosto denso.

Per riepilogare alcuni dei post a cui mi sono collegato, i tipi esistenziali sono utili quando si desidera operare su qualcosa ma non si preoccupano dei dettagli del tipo in esso contenuto. Ad esempio, si vuole operare su array, ma non si cura che tipo di matrice:

def printFirst(x : Array[T] forSome {type T}) = println(x(0)) 

che si potrebbe anche fare con una variabile di tipo sul metodo:

def printFirst[T](x : Array[T]) = println(x(0)) 

ma si potrebbe non voler aggiungere la variabile type in alcuni casi. È inoltre possibile aggiungere un balzo alla variabile tipo:

def addToFirst(x : Array[T] forSome {type T <: Integer}) = x(0) + 1 

vedere anche this blog post che è dove ho ottenuto questo esempio da.

Answer 2

Non conosco Scala, ma la tua domanda ha sollevato il mio interesse e ho iniziato a usare Google.

ho trovato che in Scala's changelog:.

"E 'ora possibile definire tipi esistenziali utilizzando la nuova parola chiave forSome Un tipo esistenziale ha la forma T forSome {Q} dove Q è una sequenza di valore e/o tipo dichiarazioni. "