Commit 64a26fc6 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

updated TODO.txt

parent 899b276b
......@@ -6,11 +6,12 @@ DONE
On peut probablement déplacer les type schemes en appendice mais alors il faudrait terminer la section 2.5 par une sous-section discutant les différentes formes de complétude. En particulier il faut déplacer le A.30 dans le texte et le discuter, et discuter de la complétude avec les type schemes. Autrement dit il faut bien faire passer l'idée que l'incomplétude est seulement théorique, mais que en pratique nous utiliserions toujours des restrictions complètes.
DONE
Je déplacerais la règle [OverApp] de la section 4 à la section 3.2 (faut-il changer des preuves?). Et en section 4 je utiliserais la règle [AbsInf++] actuellement en appendice B, avec le texte qui vient avec.
DONE
Je laisserai la section sur les records, mais il faut souligner qu'il ne s'agit pas d'une extension triviale et ceci pour deux raisons: nous devons changer les expressions CDuce pour les adapter à l'occurrence typing et nous allons typer des enregistrements avec extension et deletion. Or que je sache seulement CDuce est capable de typer cela (vous en connaissez d'autres?). Et dans JavaScript il y a
delete object.property
......@@ -30,14 +31,15 @@ Il faut bien étendre la section sur les related work. En ajoutant un commentair
> et al, 2016] features set-theoretic type connectives, occurrence
> typing, and functional records.
DONE
Il faut aussi réécrire la comparaisons avec TypedRacket pour bien expliquer que les deux approches sont différents (type-theoretic vs control-flow) et que donc c'est normale que on fasse pas le même choses. On pourrait donner en appendice un flavor de analyse de flot pour montrer que ce que on fait pas on peut le faire en intégrant les idées des Typed Racket. Et peut être ajouter un pique sur le polymorphisme (comment on étend leur approche aux types polymorphes? Nous on donne une idée dans l'appendice).
Il faut probablement insister plus sur la contribution de l'inférence des types intersection.
Voilà
DONE
B.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment