Free-range programmers supplied with natural & organic checkers
Can your typecheckers deal with staging? With correspondance between multiple levels of abstraction? With dynamic effect control at runtime, including of the previous? Mine does, and has to.
-
-
Which type checker is this?
-
The organic one in my head, that must type-check programs that those mineral type-checkers can't deal with.
- 2 more replies
New conversation -
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.
Read my blog!