Here's an article on programming with contracts in Nickel, or as they call them, glorified assertions.