Could you justify this assertion? Here[1] is an analysis by Andreas Rossberg tha... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kvb on April 22, 2015 \| parent \| context \| favorite \| on: 1ML – unifying ML into one language Could you justify this assertion? Here[1] is an analysis by Andreas Rossberg that indicates that this isn't the case. [1] http://stackoverflow.com/a/23019436

mafribe on April 22, 2015 [–]

I was thinking about the statement

   1ML is a user-friendly surface syntax for System Fω

in the paper's abstract. I think Fω lives inside Scala. But, as the stackexchange article you cite shows, I should have been more careful in my statement.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact