What is a type system? Why are they useful? Knowing the basics of type systems will make you a more educated developer who is more aware of what exists outside the realms of your favorite language. In this post we will explore the fundamentals of types and type systems.
In particular, we will explore:
- What is a type?
- Why are types necessary?
- What is a type system?
- What is a static type system?