The industry undervalues parametric polymorphism because of ignorance and short horizon - they can't fathom the necessity of reasoning about software. Academia undervalues ad hoc polymorphism because their software is optimized for demo day - they who write seldom maintain.
Ad hoc polymorphism, subtyping, inheritance, implicit coercions, implicit arguments, etc., help keep the *bureaucratic* costs of dealing with type isomorphisms manageable. Exclude them from your language and impose the drudgery on your programmers.https://twitter.com/Ngnghm/status/946302811398115329 …
-
-
Show this threadThanks. 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!