Hacker News Reader

Comment by justincormack | Hacker News Reader

I think another contender here would be OCaml/Reason, which has both JavaScript and WebAsm targeting, is used in systems space (eg Mirage). Its a bit different in technical choices (functional, GC, for example). Facebook is using Reason for Messenger for example, on mobile.

View on HN

Honest question, Is reason really targeting wasm right now? Do you know a resource describing this? I cannot find anything about this.

AFAIK Reason is a frontend for OCaml and can target whatever OCaml can target. Note that for targeting JavaScript they are using BuckleScript, an OCaml backend that's not built by Facebook.

I couldn't find anything on this either. The assembly emitters in their repo don't suggest a WASM backend: https://github.com/ocaml/ocaml/tree/trunk/asmcomp

https://github.com/sebmarkbage/ocamlrun-wasm

reason == ocaml

Yes, but a byte code interpreter ported to wasm via emscripten != a compiler with a WASM backend.

Isn't the stuff that comes out of the OCaml compiler byte code?

As far as I can tell, OCaml has a GC and WASM (at the moment) doesn't so this seems like the only viable solution to me.

OCaml also has a native x86 backend, which produces quite efficient code.

I consider Rust to be functional, although people would dispute that, I'm sure. GC is a huge difference though.

Rust doesn't have great support for function composition or partial application, both of which I think are essential to be considered a "functional" language.

Others will have different opinions for sure, and that's fine.

Any links to instructions for Reason WASM targeting?

https://github.com/sebmarkbage/ocamlrun-wasm

There is a project TrueBit is working on for ocaml and wasm integration.

Reply on news.ycombinator.com