Few developments in software engineering over the last couple of years have been as hilarious to watch as Python devs collectively realising that static types are good actually: blogs.dropbox.com/tech/2019/09/o
6
45
157
Conversation
Why "hilarious" rather than, say, "inspiring"?
3
12
Soon they will have higher kinds .. Functor, Applicative .. Profunctor and optics, we better watch out
1
1
Maybe they will jump straight to dependent types, and cubical time theory