[pmoriarty]

Strongly typed? You mean statically typed?

See "What to know before debating type systems":

http://blogs.perl.org/users/ovid/2010/08/what-to-know-before...

[azhenley]

> Type inference is generally a big win.

I see this claimed a lot, but haven’t seen any evidence.

[aw1621107]

Might depend on what "win" is supposed to mean in this context. If it's intended to mean "languages with type inference are more productive", then sure, evidence would be nice. If it's intended to mean "type inference helps cut down on the need for explicit type annotations", I don't think evidence is really necessary.

[lioeters]

Not sure if this qualifies as evidence, but a quick search shows there are papers exploring the topic of whether type inference is a "big win" or not.

Benefits of Type Inference for an Object-Oriented Real-Time Language

https://www.researchgate.net/publication/220391749_Benefits_...

EDIT: Granted, this particular paper may be more claims without solid evidence.

[ajkjk]

I think the claims might be the evidence you're looking for.

[eerimoq]

Updated the GitHub repo and the HN post. Thanks.