Hacker News new | ask | show | jobs
by catnaroek 3596 days ago
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.
1 comments
mafribe 3596 days ago
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.
link
snaky 3596 days ago
OTOH maybe we will be surprised by the name of first language with working compiler to web assembly.
link
mafribe 3595 days ago
Ohhh that would be amazing, have you got inside information that you can share?
link
snaky 3595 days ago
No, it was just wishful thinking, based on "given the 1ML inventor's main job".
link