Free-range programmers supplied with natural & organic checkers
-
-
yes, but is not operating on *itself*
-
Clearly false: considering how many type-checked languages are bootstrapped, the type-checker as a metaprogram operates no less on "itself" than most metaprograms.
- 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!