Re: [MirageOS-devel] ReactiveML and Mirage

[Drup <drupyog+caml@xxxxxxxx>]

Le 19/04/2015 23:58, manu delab a écrit :

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.

Just for the record, that is not exactly true. We don't use Reactive ML, mostly React and some custom made things. The project mentioned in this job offer is about reactivity in the context of client-server communication and multiple agents, not one computer. Reactive ML doesn't help you for that, and solutions remains to be invented, hence the project.

That doesn't diminish the interest of Reactive ML on Mirage, just clarifying things a bit. ;)

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

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