> Types are moving to the right because having them on the left makes the grammar undecidable. This is just an artifact of how they designed the syntax in some

> Types are moving to the right because having them on the left makes the grammar undecidable. This is just an artifact of how they designed the syntax in some languages like C++ or C#. You can easily put types on the left in a way that makes this false.