Then make type systems introspectable and fun to tinker with. I really dislike the shame and discipline rhetoric that's accreted around types.https://twitter.com/hynek/status/1020996222545473536 …
-
-
There's no difference! It's onus is on you to interpret a type error in the correct frame of mind.
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.