6 ms·
At this point just use Java instead.
At this point just use Java instead.
I agree 100%
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.”