Everything I Know About Types
Series status: Ongoing
First post in 2022, last post in 2022
In this series, I try to write down and organize all I know about type systems. Most of this knowledge was acquired over my time as a researcher in the field of programming languages at Oregon State University.
-
Introduction
1541 words, about 8 minutes to read.
I am in love with types and type systems. They are, quite probably, my favorite concept in the world. Most of us mere mortals use types as a way to make sure we aren’t …
-
Basics
3946 words, about 19 minutes to read.
It’s finally time to start looking at types. As I mentioned, I want to take an approach that draws a variety of examples from the real world - I’d like to talk about …
-
Variables
2338 words, about 11 minutes to read.
In the previous article, we started looking at types. We’ve looked at the types of strings ("hello"), numbers (1, 3.14), and binary operations (2*3, …