Why doesn't a type inference based non-functional language exist? Hi Guys, I was wondering as to Why doesn't a type inference based non-functional language exist? What I mean by this is: Consider a language which has static typing + type inference. Wouldn't that make it much easier and have higher clarity? This way we can use type declaration when required and not use it when it serves better purp