On testable architectures and how Java-like type systems can harm them
Generally, I’m all for static typing. After all, it make it possible to ensure aspects of program behaviour in a universal way, as opposed to unit tests, which operate on an anecdotal basis. Imagine my surprise when I realized that certain widely-used static type systems, like the ones of Java or C#, can lure programmers… Read More »