OCaml Compiler Hacking: how to add a primitive

Re:OCaml Compiler Hacking: how to add a primitive by agumonkey on Friday August 07, 2015 @12:18AM (#10020922)

Reading the pleac pages, it's amazing how javascript is getting close and closer to ml. It's all going back to its roots since js was quite {scheme} so it's not that surprising but still a joy to see.

Module.foo (fun (x,y) -> ...) ...

[ Parent | on HN ]

Re:OCaml Compiler Hacking: how to add a primitive by rubiquity on Friday August 07, 2015 @10:30AM (#10022659)

JavaScript and ML couldn't be further apart.

[ Parent | on HN ]

Re:OCaml Compiler Hacking: how to add a primitive by agumonkey on Friday August 07, 2015 @11:48AM (#10023141)

There still far away from each other but js is getting closer. Emphasis on functions, proper scoping, patterns for bindings, IIRC TCO is in ES6, even if it's a small step is already a huge one.

It's still not a typed calculus, but types will be mainstream soon. my 2 cts bet.

[ Parent | on HN ]