faudra que je te donne un lien qui traite de quicksort et insertion sort, si jamais mon article est accepté... tu verras que ce n'est pas si dur de tout vérifier statiquement avec des expressions d'ordre supérieur
son idée, s'il s'git de la dernière dont on a parlé autour d'un café en septembre, est relativement simple... mais est sans doute trop contraignante pour un système de type à la caml (alors qu'un pascal modifié réussirait )
Partager