Type systems are core components of programming languages. What really means the rich vocabulary around type systems? Is there a better one which rules them all?| The Valuable Dev
