Unit 2: Types
In this unit, you will learn about types, a method of enforcing levels of abstraction in programs. Data in programs come in many types: real number, integers, characters, lists, etc. A type error occurs when an operation is applied to an inappropriate data type. A type system consists of a set of types, and a set of programs to analyze types and type judgment. You will also learn about the basics of static typing, type checking and type inference.
Completing this unit should take you approximately 19 hours.
2.1: Principle of Typing
2.2: Type Checking
2.3: Polymorphic Typing and Type Inference
Unit 2 Assessment
- Receive a grade