It's like design by contract (preconditions/postconditions) without classes.

Interesting parallel to how Go has interfaces without classes.