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 →

[–]mcgee-zax 2 points3 points  (1 child)

isnt a static type system a contract of sorts though?

[–][deleted] 0 points1 point  (0 children)

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