Plus sérieusement : quelles motivations pour se passer des « contraintes » de typage ? Pour moi c'est juste un truc indispensable.
Avoir un système de types souples a plusieurs applications. Les trois plus importantes sont sûrement:
L'implémentation de fonctions polymorphes, qui peuvent travailler sur plusieurs types de données ou représentation. Cela permet de faire de la surcharge (style C++).
L'implémentation de fonctions extensibles, qui peuvent travailler sur un type de données lui-même extensible. (Les exemples que je connais sont pour le calcul algébrique.)
Une gestion plus souple des évolutions de protocole.
Toutes ces techniques sont relativement avancées, dans le sens où elles ne sont pas faciles à exploiter de façon habile et utile (sans se tirer une balle dans le pied et en apportant un vrai service).
[^] # Re: javascript ?
Posté par Michaël (site web personnel) . En réponse à la dépêche Node.js passe la sixième vitesse. Évalué à 4.
Avoir un système de types souples a plusieurs applications. Les trois plus importantes sont sûrement:
L'implémentation de fonctions polymorphes, qui peuvent travailler sur plusieurs types de données ou représentation. Cela permet de faire de la surcharge (style C++).
L'implémentation de fonctions extensibles, qui peuvent travailler sur un type de données lui-même extensible. (Les exemples que je connais sont pour le calcul algébrique.)
Une gestion plus souple des évolutions de protocole.
Toutes ces techniques sont relativement avancées, dans le sens où elles ne sont pas faciles à exploiter de façon habile et utile (sans se tirer une balle dans le pied et en apportant un vrai service).