Type System

Discuss the type system of a programming language.

What is a type system?

A type system is a set of rules that assigns a type to each value and expression in a programming language. Types are used to ensure that operations are performed on values of the correct type, and to detect and prevent errors early on in the development process.

Press + to interact
Type system
Type system

Types of type systems

...