Design by Contract and effects are essential for LLM-generated code

As LLMs write more code, contracts and effect systems become essential tools for constraining behavior, exposing side effects, and verifying implementations.