[bofaGuy]

At this point just use Java instead.

[sevensor]

The assurance you get from the examples in the article are pretty basic, but there are contracts you’ll have a lot of trouble encoding in the type system, like “arguments are integers in ascending order.”

[victor106]

I agree 100%