Types only go far. Most of the semantics of a function's behavior is in its name, documentation and tests.

I think it is time to invent a unifying framework for Types, Tests and Evals: https://nilesh.trivedi.link/thoughts/we-need-a-formal-theory...