(mcyoung.xyz)

158 points transpute | 1 comments | 22 Oct 25 20:13 UTC | HN request time: 0s | source

Show context

noelwelsh ◴[22 Oct 25 20:53 UTC] No.45675013[source]▶

The shocking truth is that SSA is functional! That's right, the compiler for your favourite imperative language actually optimizes functional programs. See, for example, https://www.jantar.org/papers/chakravarty03perspective.pdf. In fact, SSA, continuation passing style, and ANF are basically the same thing.

replies(3): >>45675172 #>>45675361 #>>45675764 #

1. aatd86 ◴[22 Oct 25 22:08 UTC] No.45675764[source]▶

>>45675013 #

The same thing I don't know... but a long time ago, I remember reading that SSA and CPS were isomorphic. Basically CPS being used for functional languages.

edit: actually even discussed on here

CPS is formally equivalent to SSA, is it not? What are advantages of using CPS o... | Hacker News https://share.google/PkSUW97GIknkag7WY

↑

Why SSA Compilers?