When I repeat this I’m generally talking about type-tests versus logic-tests. In dynamic languages, you only know if it’s fails at runtime so being statically t

When I repeat this I’m generally talking about type-tests versus logic-tests. In dynamic languages, you only know if it’s fails at runtime so being statically typed eliminates a category of specs. Rust excels here, in my mind, because of its expressive type system which can allow you to encode logical building-blocks as types and hoist the logic into the type system, eliminating even more specs in favor of compiler errors. Ultimately, with a sprinkling of logic tests, you can feel confident that compilation means success.