"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
-
-
Presumably there's a type level debugger that assists me when my types are wrong ...
-
I wish I was talking about tools which exist now rather than the ones in my head (and in other peoples' heads...). But, yes, that's a thing that should exist.
- 1 more reply
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.