> It's the same story for types in general. They lead to wrong and bloated design and boilerplate code when you overdo it. I wouldn't recommend overdoing anyth

> It's the same story for types in general. They lead to wrong and bloated design and boilerplate code when you overdo it. I wouldn't recommend overdoing anything, by definition. My experience however is that when done correctly type safety usually makes code both more elegant and more efficient. Like anything in programming it is often done poorly however and people sometimes seem to confuse types with OOP concepts in C++. A lot of people seem to worry about certain programming practices because they fear other people abusing them. Those discussions are of little interest to me. I'm interested in how I can best write good code, not worrying about what other people are doing.