Hacker News Reader

I don't know of any language that has type on right without a non-ambiguous marker like `let`. That is what avoid ambiguity.

Python has (optional) types on the right, and no variable declaration keyword.

The ambiguity issue the GP raised in type-on-the-left languages is also trivially solved by requiring `let`. That's not an argument for either style.