Why do types matter?
Why types matter
Even if we are writing purely functional code and using functional effects such as the IO Monad, functions taking a plain String or an Int can still slip through. This should not be acceptable. Let’s raise the bar together and see how we can improve the standard by introducing newtypes and refinement types.
We’re now in 2020, it is time to ditch the weakly-typed functions from our codebase and embrace strongly-typed functions for a better quality of software.