Brooks said in the Mythical Man Month. Fail. Fail again. Succeed. You want to find a way to fail-fast the first two times. Using type-checked, bloatware languages ain’t the way to fail-fast.

Type checking allows you to detect failure even before you run the code. It's a way to fail even faster.

Just don't conflate "type checked" and "bloatware". It's definitely bad to have both, but they're not the same. I really wish OCaml would take off. I really really wish 1ML would take off, but last I heard that's still a research prototype, so... :( I guess we're relying on Rust and Swift to carry the torch of nice types into the mainstream. (I like Rust, but everyone would be better served by it being a niche language for when GC is unaffordable.)

Ocaml is used by jane st. Idk if that's taking off necessarily, but by dollar effect it might rank fairly high in languages.

I'd prefer that it was an officially supported app development language on a mainstream OS. :-/

Unfortunately, the prototype always ships to production

just adding my voice to types != bloatware, and type inference has come a long way and made it much easier to use static typed languages while still getting its benefits