blob: c1eeb7c196bbf3f22eeecdb690be075d886da5c2 (
plain) (
blame)
1
2
3
4
|
Contracts let you clearly -- even beautifully -- express how your code behaves,
and free you from writing tons of boilerplate, defensive code.
You can think of contracts as assert on steroids.
|