News for hackers. Stuff that matters.

A comment on Learning Elm has gotten me confused about static vs. dynamic typing. Parent comment

Re:Learning Elm has gotten me confused about static vs. dyna... by gertef on Tuesday June 14, 2016 @06:42PM (#11905935)
When my typechecker writes most of my tests for me, I have time to write features.
[ Parent | on HN ]
Re:Learning Elm has gotten me confused about static vs. dyna... by Touche on Tuesday June 14, 2016 @06:49PM (#11905980)
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.
[ Parent | on HN ]
Re:Learning Elm has gotten me confused about static vs. dyna... by zeckalpha on Tuesday June 14, 2016 @07:51PM (#11906304)
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.
[ Parent | on HN ]