[MirageOS-devel] ReactiveML and Mirage

[manu delab <manu.delab@xxxxxxxxx>]

Hello

I noticed that the Ocisgen folks were looking at Reactive Synchronous languages

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

I was wondering if anybody had an opinion aboutÂwhat advantages (if any), this approach to concurrency could bring to Mirage (as opposed to using something like Lwt)

For instance, RML has handy constructs for task communication and synchronization.

Since RML compiles to OCaml code, it should be possible to experiment with it in the context of Mirage applications (once the dependencies on Unix are removed).

Here are a few examples from the RML distribution,Ârunning in the browser via js_of_ocaml:

https://github.com/voila/rmljs

Thanks

Manu

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