I would say it works surprisingly well 90% of the time. The main help type hints give to the compiler is that it can generate better error messages for when thi

I would say it works surprisingly well 90% of the time. The main help type hints give to the compiler is that it can generate better error messages for when things do go wrong, apart from that there is no major difference. As I mentioned earlier it's a powerful feature, and has its uses, especially when you are still trying to figure the types of your program. For an easier taste of global type inference you can try elm language, it's also a good stepping stone to learning haskell