I recently made a toy type checker for Python and had a lot of fun.

https://austinhenley.com/blog/babytypechecker.html