>In a pure language, signatures are extremely close to documentation (you know exactly what a function will do by its signature). The same can be true of tests

>In a pure language, signatures are extremely close to documentation (you know exactly what a function will do by its signature). The same can be true of tests. I've started generating API documentation from mine: e.g. https://hitchdev.com/strictyaml/using/alpha/scalar/email-and-url/ https://hitchdev.com/strictyaml/using/alpha/scalar/email-and... I tend to think of types and tests as attacking the same problem from opposite directions.