No one (except maybe intelligence agencies) breaks in to a house by picking a lock, especially in the US. Windows, weak door frames, and, in a pinch, making a hole in the wall are all faster ways of getting in.

It reminds me of a friend who visited me from Colombia (we grew up together down south.) We were walking around a neighborhood in Vermont. He said “I’d love it if we had houses like this one in Bogota. Why don’t we?!” And I replied “Because they’d be broken into in two seconds.”

Because it looks manly.

It’s like when they show a man with perfectly round manboobs. Something primal in me would say “I’d motorboard those!”

What’s the product and what’s the field?

I thought of Pascal, Java and C#, but pretty much any language listed here as “explicit / nominal / static” makes the cut:

https://en.wikipedia.org/wiki/Comparison_of_programming_languages_by_type_system

Oh, so what you’re describing is strong typing. I thought it was a unique feature of Ocaml. But in reality, any strong-typed language will have this as well.

And yeah, Typescript merely “suggests” typing, and it will allow you to build the project even if you ignore the type errors. A build system refusing to, well, build, if there are typing errors usually takes care of this, but again, the dev team may as well not implement this.

What’s so special about Ocaml’s type system?