Qu'est-ce que le forSome mot-clé dans Scala?

Question

J'ai trouvé l'extrait de code suivant:

List[T] forSome { type T }

L' forSome ressemble à une méthode, mais mon ami m'a dit que c'est un mot-clé.

Je l'ai googlé, mais trouve peu de documents sur forSome. Ce qui signifie-t-il, et où puis-je obtenir certains documents à ce sujet?

Answer 1

L' forSome mot-clé est utilisé pour définir existentielle types de Scala. Il y a cette Scala glossaire page expliquant ce qu'ils sont. Je ne pouvais pas trouver un lieu à la Scala docs de les expliquer en détail, de sorte ici est un article de blog que j'ai trouvé sur Google en expliquant comment ils sont utiles.

Answer 2

Je ne sais pas Scala, mais votre question a ramassé mon intérêt et a commencé une recherche sur Google.

J'ai trouvé que dans Scala changelog:

"Il est maintenant possible de définir existentielle types à l'aide du mot clé new forSome. Existentielle type est de la forme T forSome {Q} où Q est un la séquence de valeur et/ou les déclarations de type. "