Programmation orienté objet uniquement par prototype

Cette révision expérimentale de l'interpréteur est le fruit d'une réflexion importante.

La programmation par objet est un paradigme indispensable. Toutefois, l'expérimentation d'un paradigme hybride (classes+prototypes) pose de nombreux problèmes. Le problème le plus évident est l'incompatibilité qu'il y a entre un raisonnement par classes (une structure de construction statique) et par prototypes où tout objet offre une structure mutable.

Ainsi, après avoir construit un objet à partir d'une classe, celui-ci peut être muté à tous moment. En fin de compte, dès lors qu'un objet a été muté, il continue de prétendre faire partie de la classe à partir de laquelle il a été créé, mais ne correspond plus aux caractéristique de cette classe.

Nous avons toujours utilisé les classes non pas comme des types à proprement parlé, mais bien comme des constructeurs d'objets.

Cet façon de considérer les classes peut être conservé, mais on ne peut pas dire qu'un objet construit à partir de ce constructeur est du type de ce constructeur.

Il faut adapter notre point de vue de manière à éliminer ce genre d'incohérence.