-
This Tweet is unavailable.
Enjoying the comfort of a type checker, made using metaprogramming without the comfort of a greater type checker that proves it correct (at least, with regression to lack of such comfort), then insulting those without whose work you'd have no such comfort, is unethical.
9:26 PM - 16 Jul 2018
0 replies
0 retweets
1 like
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!