Type Checking Explored
How Programming Languages Handle Type Safety
Published in
5 min readJan 9, 2023
Overview
While researching ideas for another article on Ruby type checking I’ve come across the different type systems that programming languages can use and I decided to go down the rabbit hole.
How Programming Languages Handle Type Safety
In this article, I’d like to briefly go through how these languages are type checked and some other terms you might encounter.