There's some really cool programming language theory that makes things like type inference easier than you think. It's still hard but there's rules and math and

There's some really cool programming language theory that makes things like type inference easier than you think. It's still hard but there's rules and math and stuff for all of it.