Hey! I'm Liam.

I have no idea what I want to do with this site, it just seemed strange for a web developer not to have one.

Type Preferences

An insight into my personal preferences around typing, such as strictness and correctness...

Type variance is a concept used to determine which values are valid for a given type signature...

Structural & Nominal Typing

A look into how different type systems define subtyping relationships...

An introduction to programming language type systems. The advantages and disadvantages of different approaches they may...