There are some interesting methods of doing type checking without type annotations by doing type inference. It might be worth writing about - it’s basically a r

There are some interesting methods of doing type checking without type annotations by doing type inference. It might be worth writing about - it’s basically a recursive process of identifying types by their context, either in assignment or function calling.