That sounds like it could benefit from Design by Contract since it tells you in a lightweight way what a function will do. I actually submitted something like t

That sounds like it could benefit from Design by Contract since it tells you in a lightweight way what a function will do. I actually submitted something like that to Lobste.rs recently when collecting all the implementations of contracts I could in various languages. Here's that one: https://www.krin.gs/files/papers/krings_plspec_declare17.pdf https://www.krin.gs/files/papers/krings_plspec_declare17.pdf