Free-range programmers supplied with natural & organic checkers
-
This Tweet is unavailable.
-
-
Replying to @nabijaczleweli
When programming in Lisp, I use a natural & organic you're checker, my brain. On the one hand, it makes a lot of mistakes. On the other hand, it can deal with types your other type checkers cannot even dream of.
0 replies 0 retweets 6 likes -
This Tweet is unavailable.
-
This Tweet is unavailable.
-
You type-checker is a metaprogram during the runtime of which names are generated, programs are monkey patched into existence, the program's scope is dynamically maintained, some code is eval'ed and its resulting values inlined, optimization proxies are dispatched, etc.
1 reply 1 retweet 1 like -
Replying to @Ngnghm @nabijaczleweli
yes, but is not operating on *itself*
1 reply 0 retweets 0 likes -
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 replies 0 retweets 0 likes
💻 🐴Ngnghm Retweeted 💻 🐴Ngnghm
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 …
💻 🐴Ngnghm added,
-
-
Egon Spengler: Don't cross the streams [of code and data]. Peter Venkman: Why? Egon Spengler: It would be bad.
0 replies 0 retweets 0 likesThanks. 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!