On: Learning Elm has gotten me confused about static vs. dynamic typing

[gertef]

When my typechecker writes most of my tests for me, I have time to write features.

[Touche → gertef]

If so, I'd say you were writing the wrong kinds of tests before. I work in JavaScript and almost never write type verification tests.

[zeckalpha → Touche]

Types in JavaScript aren't very expressive. When you encode your business logic in the type system, even business logic can be "tested" via the type checker.