News for hackers. Stuff that matters.

A comment on 1ML – unifying ML into one language. Parent comment

Re:1ML – unifying ML into one language by kvb on Wednesday April 22, 2015 @02:02PM (#9422256)
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

[ Parent | on HN ]
Re:1ML – unifying ML into one language by mafribe on Wednesday April 22, 2015 @02:10PM (#9422322)
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.
[ Parent | on HN ]