News for hackers. Stuff that matters.

A comment on Diminishing returns of static typing. Parent comment

Re:Diminishing returns of static typing by enraged_camel on Monday October 02, 2017 @01:42PM (#15386009)
You don't write test cases specifically to check types. Your existing cases, if they are robust and thorough, will simulate your runtime and check those for you as a side effect.
[ Parent | on HN ]
Re:Diminishing returns of static typing by andrewaylett on Monday October 02, 2017 @05:12PM (#15388005)
My existing test cases, robust and thorough though they are, only test what happens when I feed in a correctly typed object. Because I can't write a test that exercises my code on an incorrectly typed input: the type system prevents that.
[ Parent | on HN ]