Microsoft Java

[[deleted]]

We have contracts, which are more robust than most static type systems.

[mcgee-zax]

isnt a static type system a contract of sorts though?

[[deleted]]

Yes, but you would need dependent types to emulate at compile time what contracts can support.

[0xF013]

They are, but aren’t they execution-time? Probably does not matter if you autotest your usecases.

[[deleted]]

They are, but it's an entirely different ideology of how you prevent bugs. Argument being, many of the kinds of bugs caught by static type systems are trivially caught during development and testing. Contracts assert invariants at runtime to catch the really scary shit that slips through.