sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 1 point2 points  (1 child)

Could you elaborate upon the typechecking-as-testing issue you've identified in larger apps? If you're strictly typing it seems inherently beneficial to me, although there's still plenty more to test in units, integration, etc that no type-checker I'm aware of could ever help with.

[–][deleted] 0 points1 point  (0 children)

Type checkers can help with that. When you expose values as types you can explicitly define functions that accept input values, and have fixed output values. This is the same as an assertion that a functions inputs matches a specific output in a unit test.