[cduce-devel] explosion du type-checker

Alain.Frisch at ens.fr Alain.Frisch at ens.fr
Fri Nov 28 00:36:47 CET 2003


On Thu, 27 Nov 2003, Giuseppe Castagna wrote:

> Ce qui est extremement precis mais qui en ajoutant quelque petit nombre a la
> sequence fait exploser de maniere exponentielle le temps de type-checking. Il
> faudrait peut etre trouver des heuristiques pour eviter cela non?

Une heuristique simple, c'est d'approximer le type de la sequence
d'entrée par un type de la forme [T*]. D'ailleurs on n'avait pas dit dans
le vieux white-paper que l'on veut laisser l'ordre des resultats d'un
select-from-where non spécifié ?




More information about the Cduce-devel mailing list