Pourquoi les identifiants de liste et de chaîne sont-ils nommés "xs" (dans Scala et dans d'autres langues)?

Question

Un grand nombre d'exemples de code Scala contient des chaînes et des collections nommées "xs". Pourquoi xs?

Exemples:

var xs = List(1,2,3) 
val xs = "abc" 

Answer 1

Fondamentalement, c'est une convention de nommage qui provient de LISP. La logique derrière cela est la suivante:

1. X est un nom d'espace réservé commun.
2. XS est prononcé X'es, c'est-à-dire "many X".

Answer 2

xs is the plural of x.

Answer 3

Je l'ai vu ce nom utilisé pour les variables de la liste dans les didacticiels de programmation fonctionnelle, mais non des chaînes (sauf si une chaîne est considérée comme une liste de caractères).

C'est fondamentalement un nom factice utilisé dans les exemples. Vous pourriez nommer une variable scalaire x alors qu'une liste serait xs, puisque xs est le pluriel de x. En code de production, il est préférable d'avoir un nom plus descriptif.

Vous pourriez également voir ceci dans le code dont le motif correspond aux listes. Par exemple (en OCaml):

let rec len l = 
    match l with 
    | [] -> 0 
    | x :: xs -> 1 + len xs 

Une paire plus descriptive des noms pourrait être first :: rest, mais cela est juste un exemple.

Answer 4

Outre le fait que xs est censé être un pluriel de x comme @Ken Bloom rappelle, il est également intéressant de noter comment les langues comme la structure Scala List. List est structuré comme une liste liée, dans laquelle le conteneur a une référence au premier élément et au reste de la liste.

L'opérateur :: (appelé cons) construit la liste en tant que:

42 :: 69 :: 613 :: Nil 

Le :: lorsque apparaissant dans l'appariement de motif extrait également une liste dans le premier élément et le reste de la liste en tant que suit:

List(42, 69, 613) match { 
    case x :: xs => x 
    case Nil => 0 
} 

Puisque ce modèle apparaît partout, re les aders peuvent déduire que xs implique "le reste de la liste".