that's something that should make its way into other languages. How do you think javac knows when you get the types wrong? It's inferring types internally, it

that's something that should make its way into other languages. How do you think javac knows when you get the types wrong? It's inferring types internally, it just makes you repeat yourself out of fealty to Bondage and Discipline.