News for hackers. Stuff that matters.

A comment on What Golang Is and Is Not. Parent comment

Re:What Golang Is and Is Not by catnaroek on Sunday August 21, 2016 @02:08PM (#12331970)
I'm aware of it. But my previous suggestions were in part shaped by the stated goals of Go's designers: to keep the language simple and easy to learn for non-language geeks. 1ML is really cool, but its type system can be intimidating: small vs. large types, incomplete inference, type-checking as elaboration into System F-omega, etc. OTOH, plain Damas-Milner is dead simple.
[ Parent | on HN ]
Re:What Golang Is and Is Not by mafribe on Sunday August 21, 2016 @02:24PM (#12332051)
Another problem with 1ML is that it's only a research prototype for now, so we can't take it "for a spin". Given the 1ML inventor's main job, this is unlikely to change any time soon, unless some kind soul takes on the 1ML project lead.
[ Parent | on HN ]
Re:What Golang Is and Is Not by snaky on Sunday August 21, 2016 @02:58PM (#12332192)
OTOH maybe we will be surprised by the name of first language with working compiler to web assembly.
[ Parent | on HN ]
Re:What Golang Is and Is Not by mafribe on Monday August 22, 2016 @04:03AM (#12334782)
Ohhh that would be amazing, have you got inside information that you can share?
[ Parent | on HN ]
Re:What Golang Is and Is Not by snaky on Monday August 22, 2016 @08:00AM (#12335652)
No, it was just wishful thinking, based on "given the 1ML inventor's main job".
[ Parent | on HN ]