Re: [MirageOS-devel] Mirage and ReactiveML

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

Hi Manu,

ReactiveML is quite a bit more sophisticated than Lwt in terms of the higher-level constructs that it provides.  However, it looks straightforward to experiment with using ReactiveML in Mirage, since the rmlc compiler outputs normal OCaml code that is compiled with the standard toolchain.  So it should be possible to build a few experiments that compile down into Lwt code rather than using native OCaml threads for concurrency.

best,

Anil

On 1 Apr 2015, at 00:00, manu delab <manu.delab@xxxxxxxxx> wrote:

Hello Anil,

I've noticed that the Ocisgen folks are looking at Reactive Synchronous languages

(https://ocsigen.org/job#h5o-8) and RML (http://rml.lri.fr/) in particular

Mirage is using Lwt for concurrency, but do you know what advantages (if any) this approach to concurrency could bring to Mirage ?

Or does Lwt fit the bill, best ? 

Thanks

Manu

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel