found drama

get oblique

what we talk about when we talk about type-safety

by !undefined

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

Syndicated content from the !undefined Tumblr blog where Rob Friesel posts items related to software engineering, user interface/experience design, and Agile software development. Lots of JavaScript here. View all posts by !undefined →

Leave a Reply

Your email address will not be published. Required fields are marked *