Hacker News Reader

Type inference is part of every modern language. Structural typing not so much, though.

Java has it through a compiler extension (https://github.com/manifold-systems/manifold/tree/master/man...) but I don't know many other languages that support this feature.

As much as I dislike the entire Javascript runtime environment, I find TypeScript to be the best typing system out there for any imperative language.

View on HN

> I don't know many other languages that support this feature

The other widely-used one is Go with its structurally-typed interfaces.

Right... But Go is exclusively structurally typed, whereas Java with the manifold compiler plugin complements the type system's nominal foundation -- a class can still implement a structural interface nominally. Doing so enforces intention and helps both people and tooling comprehend code faster and more efficiently. But the general idea is to use an interface structurally where it otherwise can't be used nominally or doing so is more complicated.

Reply on news.ycombinator.com