Show HN: Mys – an attempt to create a statically typed Python-like language

Re:Show HN: Mys – an attempt to create a statically typed Py... by pmoriarty on Monday August 24, 2020 @02:21PM (#24263672)

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...

[ Parent | on HN ]

Re:Show HN: Mys – an attempt to create a statically typed Py... by azhenley on Monday August 24, 2020 @03:47PM (#24264678)

> Type inference is generally a big win.

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

[ Parent | on HN ]

Re:Show HN: Mys – an attempt to create a statically typed Py... by aw1621107 on Monday August 24, 2020 @05:59PM (#24266035)

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.

[ Parent | on HN ]

Re:Show HN: Mys – an attempt to create a statically typed Py... by lioeters on Tuesday August 25, 2020 @10:05AM (#24271456)

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.

[ Parent | on HN ]

Re:Show HN: Mys – an attempt to create a statically typed Py... by ajkjk on Monday August 24, 2020 @07:56PM (#24266828)

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

[ Parent | on HN ]

Re:Show HN: Mys – an attempt to create a statically typed Py... by eerimoq on Monday August 24, 2020 @02:40PM (#24263891)

Updated the GitHub repo and the HN post. Thanks.

[ Parent | on HN ]