The pseudocode found around Wikipedia is a very interesting programming language to study. Very much in the Niklaus Wirth style, but untyped, and comfortable both with mathematical symbols in Unicode and with English prose to express logic. Example:https://en.wikipedia.org/wiki/Static_single_assignment_form …
-
I read phi as “this value may come from any of these source computations”. I coopted flow graph dominators for reasoning about multiple unifications in a functional logic setting. Here the phis denote places where failure or contradiction can occur. Definitely sane there.
They are just hard to understand and give someone who is trying to learn no idea what an implementation would look like. If instead you say “these are parameters to this basic block, they must be supplied by anyone entering the block,” suddenly there is no magic and everything
-
-
becomes obvious, because suddenly it looks like the stuff that programmers already do all the time, because that is what it is. (It also makes clear perf stuff, like ahh, these are going to be copies unless they can be eluded somehow).
-
copy elusion is a fun idea
- Show replies
New conversation -
-
Show additional replies, including those that may contain offensive content
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.