1ML – unifying ML into one language

Re:1ML – unifying ML into one language by cwyers on Wednesday April 22, 2015 @05:08PM (#9423552)

Are the problems this is intended to solve problems that also affect F#?

[ Parent | on HN ]

Re:1ML – unifying ML into one language by platz on Wednesday April 22, 2015 @06:08PM (#9423903)

F# doesn't even have modules; although it's derived from an ML, it has cut out rather important parts of it to make it fit into the .net ecosystem.

[ Parent | on HN ]

Re:1ML – unifying ML into one language by brandonbloom on Wednesday April 22, 2015 @07:06PM (#9424150)

You're not wrong, but I may phrase it differently...

F# lacks modules, instead favoring objects. Although it's derived from OCaml, it has omitted complex features which don't fit in to the .net ecosystem.

[ Parent | on HN ]

Re:1ML – unifying ML into one language by riffraff on Thursday April 23, 2015 @01:00AM (#9425089)

but is there say, something that (S)ML's modules allow which is not possible to do with F#+.NET objects?

I.e. ML's modules can be used to create interfaces and implementations of ADTs, but so can OO interfaces and classes.

[ Parent | on HN ]