found drama

Thought-provoking piece by Stephen Kell on type systems, type-safety, and what a lot of people mean when they talk about it: Seven deadly sins of talking about “types”.

My main takeaway from Kell’s piece was that type systems, like everything else in programming/computer science, comes with trade-offs and though there are many advantages to using a language with good type-safety, it’s also not a panacea and to believe so is dangerous and naïve. Part of what’s interesting here, is that he claims that many people are simply semantically wrong when talking about “types” when what they are discussing is actually compile-time checking, use of predicates, or other abstractions.

About !undefined