(Untitled)
I’m not arguing against type theories, not arguing against the usefulness of various forms of type inference, not arguing against reasonable requests, not arguing against the desire to reason about co…
compiler
3 posts
Steve Yegge is always awesome.
I recently came across this excerpt: I demand excellence from my co-workersif there's some valid program out there that you couldn't ever write, then you're not justified in calling yours…
(Untitled)
… a trivial (in retrospect) method for entirely relieving compilers of the burden of stack discipline: a necessary first step towards relieving programmers of the burden of compilers. A systems progra…