Autant la SSA semble simple avec des expression types "a := f(b,c)", autant je n'ai rien compris à l'usage du CPS.
En SSA, on comprend que l'on nomme le retour de chaque expression ce qui permet facilement de réutiliser un résultat, ou de simplifier un nœud derrière.
CPS utilise une fonction supplémentaire en argument, pour matérialiser le "return", j'imagine. Mais je ne comprends pas l'utilité (et les exemple en lisp ou haskell n'aide pas à comprendre :)
[^] # Re: super article !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 2). Évalué à 6.
Autant la SSA semble simple avec des expression types "a := f(b,c)", autant je n'ai rien compris à l'usage du CPS.
En SSA, on comprend que l'on nomme le retour de chaque expression ce qui permet facilement de réutiliser un résultat, ou de simplifier un nœud derrière.
CPS utilise une fonction supplémentaire en argument, pour matérialiser le "return", j'imagine. Mais je ne comprends pas l'utilité (et les exemple en lisp ou haskell n'aide pas à comprendre :)
"La première sécurité est la liberté"