Apparemment, l'inférence de région est un problème décidable, mais avec mémoire non bornée (ce qui est simple, c'est comme dire "je ne désalloue que quand le programme a terminé").
Si tu as des contraintes de mémoire, alors je crois qu'on retombe sur le besoin d'utiliser un GC (car je ne pense pas qu'on aille mélanger gestion automatique et manuelle de la mémoire).
Quand à Lustre, c'est pas un langage fonctionnel, et c'est extrêmement peu généraliste, comme langage.
Je suis même pas sûr qu'il soit "Turing Complet" (en tout cas, Esterel ne l'est pas).
[^] # Re: Programmation Fonctionnelle
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal Votre langage idéal ?. Évalué à 2.
Ouais, l'inférence de région, j'en parlais déjà icitte : https://linuxfr.org/nodes/89229/comments/1315214
Apparemment, l'inférence de région est un problème décidable, mais avec mémoire non bornée (ce qui est simple, c'est comme dire "je ne désalloue que quand le programme a terminé").
Si tu as des contraintes de mémoire, alors je crois qu'on retombe sur le besoin d'utiliser un GC (car je ne pense pas qu'on aille mélanger gestion automatique et manuelle de la mémoire).
Quand à Lustre, c'est pas un langage fonctionnel, et c'est extrêmement peu généraliste, comme langage.
Je suis même pas sûr qu'il soit "Turing Complet" (en tout cas, Esterel ne l'est pas).