> My personal opinion is that everyone should just use s-expressions. Get rid of this whole debate :P
C# 8 maybe?
Have a compiler target dialect that expects "(int 5)" and "(int x)" have a type-inference step that target such "typed" s-expressions?