Type inference is where it's at. Everybody loves types when there's hardly any overhead. Typescript is the best example of this. My theory, the first languages

Type inference is where it's at. Everybody loves types when there's hardly any overhead. Typescript is the best example of this. My theory, the first languages of most tend to be untyped. Over the years you get tired of dealing with type errors and move to more complex languages with strong typing. After a while you get tired of typing a bunch of useless crap because the compiler isn't smart enough to figure out the type for you and land in Typescript or similar