Honnêtement, je ne vois aucune raison pour laquelle il faudrait interdire ce qui sort de [a-zA-Z0-9_].
Si tu codes avec des noms de variables français, pourquoi interdire les accents, par exemple ?
Accessoirement, personne n'a jamais dit que c'était la fonction ultime qui faisait que le Swift était le meilleur langage du monde…

Quel est le côté non-sûr de l'inférence de type ?