Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
* modeles et packages
---------------------
- instanciation de modele <<locaux>> à d'autre package interdite pour
l'instant, alors que ca marchait chez Youssef. Ce serait pratique
tout de meme.
Car si je veux utiliser definir un package parametré par un noeud n,
je suis obligé de définir n dans un package à part.
- j'autorise "is" et "=". Par ex :
package Pint = m1( int );
package Preal is m1( real );
mais j'ai bien envie de virer "is".
- A t'on vraiment besoin du mot clef "model" ?
un package avec un champ "needs" fait office naturellement de
package paramétré.
En effet, je trouve le terme de "model" tres surchargé.
* Evaluation des contantes
--------------------------
Evaluer statiquement les iterateurs quand c'est possible (cf
evalConst.ml) ? pour aller au bout de la logique, oui...
* polymorphisme
---------------
rajouter la notion de variables polymorphes et sur-chargées au
niveau noeud utilisateur ? Ce devrait etre peanuts maintenant que
je les ai en interne... (pour une variable par noeud du moins,
sinon ca va foutre le souc).