This is awesome. Type inference is an endlessly fascinating road to venture down, and each programming language presents its own set of challenges. I've built

This is awesome. Type inference is an endlessly fascinating road to venture down, and each programming language presents its own set of challenges. I've built a type inference system[0] for PHP and it's incredibly satisfying when it does what you expect. [0] https://getpsalm.org https://getpsalm.org