Flambda

Détection de fonctions d’identité dans Flambda

Au cours de discussions parmi les développeurs OCaml sur le type vide (PR#9459), certains caressaient l’idée d’annoter des fonctions avec un attribut indiquant au compilateur que la fonction devrait être triviale, et toujours renvoyer une valeur strictement équivalente à son argument.Nous étions curieux de voir si l’implémentation d’une telle fonctionnalité serait possible et nous avons Détection de fonctions d’identité dans Flambda