Free-range programmers supplied with natural & organic checkers
Clearly false: considering how many type-checked languages are bootstrapped, the type-checker as a metaprogram operates no less on "itself" than most metaprograms.
-
-
There ought to be a webcomic to mock Metaprogramming deniers who believe their perfect typesystem can protect them from the untyped world. Let's call it "Hilbert".https://twitter.com/Ngnghm/status/1014538189741096965 …
-
Egon Spengler: Don't cross the streams [of code and data]. Peter Venkman: Why? Egon Spengler: It would be bad.
End of conversation
New conversation -
-
-
there's a difference between the liar paradox and quine's paradox
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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!