"Type inference is so last century. The right thing to do is to write the types down, and then get as much mechanical assistance generating the programs as possible."
— @pigworker
-
-
Shen has a very nascent version of such a thing but no dependent types etc. In general I wish there was a way to make this kind of tooling just as sexy because us practitioners live in a state of error and correction.
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.