On Thursday, 26 November 2015 at 11:12:07 UTC, tcak wrote:
I brought this topic in "Learn" a while ago, but I want to talk
about it again.
You are in a big team or working with a big code base. APIs are
being defined/modified, configuration constants are
defined/modified, structures are defined/modified for data.
You are coding on business logic side, and relying everything
based on current APIs, configuration, and data structures. A
part of codes have been updated on API side, but you are not
aware of it, or time has passed, and you assume that your code
will work properly. Nobody would be checking every single part
of business logic line by line.
This is the job of the type checker, isn't it? What would a hash
provide that a type checker does not?
