Je me suis aperçu que j’ai triché pour mes tests, une de mes fonctions de hachage était « idéale » (une valeur différente pour chaque élément).

Désolé!

Cela permettait de placer les éléments presque tout le temps. Pour obtenir le même ordre de performance avec des fonctions de hachage imparfaites, il faudrait en utiliser au moins trois.

La taille de la réserve bénéficiait aussi beaucoup de cette fonction de hachage idéale. Pour approcher le même ordre de taux de remplissage, la réserve doit être revue à la hausse — les environs de N / 5 semblent être une bonne taille.

À venir, les constructeurs et méthodes, les règles d’affectation (y compris polymorphisme) et les types prédéfinis.

Certaines ont été transformées en mots-clefs comme suggéré ci-dessus (catch, wrap, handler)
D’autres ont pris une forme avec soulignement (__Module__, __Library__, __State__)

7. La balise UNDO a maintenant pris une forme avec soulignement pour rester consistant: __Undo__

Je viens de revisiter le modèle objet de dodo et j’espère pouvoir te répondre plus en détail.

Si une classe est elle-même un objet alors quel est le type de cet objet ? Une classe étant un objet on peut la créer dynamiquement. Mais une classe est aussi un type (le type de ses instances), on peut donc créer des types dynamiquement. D’où la question du typage: comment typer statiquement un langage dans lequel les types sont crées dynamiquement ?

Il est vrai qu’une classe est un objet mais elle est traitée de façon spéciale, du fait de la distinction variable commence avec minuscule / classe commence avec majuscule.
Une classe est caractérisée par un prototype pour tous les objets de la classe, un ensemble de constructeurs, d’attributs de classe, de fonctions et types membres et une interface. Cela se reflète dans le type d’une classe.

D’un point de vue vocabulaire je ne pense pas que dodo soit un véritable langage à prototypes. Dans un langage à prototypes il n’y a pas d’héritage, chaque objet possède un (ou plusieurs) objets délégués auquel il renvoie les messages qu’il ne peut pas interpréter.

Certes mais j’interprète la notion d’héritage en termes de prototypes, c’est l’objet de cet article. L’objet délégué en question est le prototype utilisé comme base pour tous les objets de la classe. Comme ce prototype est généralement une instance de la superclasse, les messages sont en pratique délégués à la superclasse.

De plus il n’est pas dit comment ajouter dynamiquement des attributs et méthodes à un objet. Ça me paraît pourtant indispensable sinon comment va-t-on créer de nouvelles classes ? Puis encore la même question de typage: comment typer statiquement un langage dans lequel les attributs et méthodes sont ajoutées dynamiquement ?

On ajoute des attributs et méthodes à un objet ainsi:

def nouvelleMaison = new maMaison

{

    Adresse adresse

    int height() = 30

}

Pour une classe la syntaxe est la même, seulement avec des majuscules.

Maintenant on a

2. Utiliser « : » pour séparer le nom de l’attribut de sa valeur
new maison(couleurMur: vert, couleurToit: gris)

5. La flèche n’a pas changé, mais en pratique la notation fléchée souffre du problème du « dangling else »:

À quelle flèche correspond l’alternative | e? Pour lever l’ambiguïté j’ai décidé que la notation fléchée doit se terminer avec un point-virgule (optionel avant une parenthèse fermante), ce qui donne:

7. Ce n’est pas encore sûr, mais il y a de bonnes chance qu’il faille une balise qui correspond aux instructions à exécuter en cas de succès. Peut-être la balise THEN…