This post continues my series describing how I solved certain problems while creating a toy programming language. Today I’ll discuss static typing and type inference.