Let the Type System Work for You
In Java, types of variables are static (known at compile time) and manifest (explicitly named in source code). Some developers consider these attributes burdensome, leading to overly verbose code or an adversarial relationship with the compiler. Could they reap benefits…