Types after variable names are here to stay though: they are in no way something new, and make a hundred times more sense when there is type inference: If writi

Types after variable names are here to stay though: they are in no way something new, and make a hundred times more sense when there is type inference: If writing down the type is optional, then it should go last. Given that some level of type inference seems to be the future of strongly typed languages, I expect variable ahead of type to become more and more popular among language designers.