1999: you can't write real software without types
2009: types are the worst. We can code faster without them!
2019: types stop all the bugs!
2029: you don't need types when ML can figure out the types for ypu
2039: developers are dead due to climate change
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!