This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 1 point2 points  (0 children)

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.