[Languages] Typage fort, faible et dynamique.

Voici 2 articles intéressants qui parlent de typage dynamique, et en quoi la souplesse des langages qui supportent le typage dynamique peuvent faciliter la vie du programmeur.
Est-ce l'avenir ?
http://www.tbray.org/ongoing/When/200x/2003/05/08/FutureLanguage
http://mindview.net/WebLog/log-0025

(dont un article de Bruce Eckel, une sommité de la conception objet, et membre du comité Ansi C++).


Background:

Dans un langage fortement typé, le type des variables est déterminé à la compilation (ex: C, C++, C#, Java...)
Exemple: int a=5; string b="toto"; print a+b
déclenchera une erreur à la compilation.

Dans un langage faiblement typé, le type des variables n'est pas fixé (ex: Javascript). Le langage effectue des conversions implicites à l'exécution (horreur !)
Exemple: a=5; b="toto"; print a+b
ne déclenchera pas d'erreur à l'exécution.

Dans un langage à typage dynamique, le type d'une variable à un instant donné est fixe, mais ce type peut varier au cours de la vie du programme (ex: Python).
Exemple: a=5; b="toto"; print a+b
déclenchera une erreur à l'exécution, mais pas à la compilation.
Mais: a=5; b="toto"; a="titi"; print a+b
ne déclenchera pas d'erreur (ni à l'exécution, ni à la compilation).