Basically you says if a type system is optional, people tend not to use it, because most of the times they are good without it. I agree. But we do use spec ve

Basically you says if a type system is optional, people tend not to use it, because most of the times they are good without it. I agree. But we do use spec very successfully for complex data structure validations and example data generation.