I recently made a toy type checker for Python and had a lot of fun.
https://austinhenley.com/blog/babytypechecker.html