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 <[email protected]> wrote: > > Hello Anil, > > I've noticed that the Ocisgen folks are looking at Reactive Synchronous > languages > (https://ocsigen.org/job#h5o-8 <https://ocsigen.org/job#h5o-8>) and RML > (http://rml.lri.fr/ <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 [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
