META GARBAGE COLLECTION FOR FUNCTIONAL CODE

An execution environment for functional code may treat application segments as individual programs for memory management. A larger program of application may be segmented into functional blocks that receive an input and return a value, but operate without changing state of other memory objects. The program segments may have memory pages allocated to the segments by the operating system as other full programs, and may deallocate memory pages when the segments finish operating. Functional programming languages and imperative programming languages may define program segments explicitly or implicitly, and the program segments may be identified at compile time or runtime. Un environnement d'exécution pour code fonctionnel peut traiter des segments d'application comme des programmes individuels pour la gestion de mémoire. Un programme élargi de l'application peut être segmenté en blocs fonctionnels qui reçoivent une entrée et renvoient une valeur, mais fonctionnent sans changer l'état d'autres objets de mémoire. Les segments de programme peuvent comporter des pages de mémoire affectées à des segments par le système d'exploitation comme d'autres programmes pleins, et peuvent désaffecter des pages de mémoire lorsque les segments terminent l'exécution. Des langages de programmation fonctionnels et des langages de programmation impératifs peuvent définir des segments de programme de manière explicite ou implicite, et les segments de programme peuvent être identifiés au moment de la compilation ou au moment de l'exécution.