What about OCaml and concurrency ? what are the options out there ?
after reading :
http://roscidus.com/blog/blog/2013/09/28/ocaml-objects/
the language sounds quite interesting. Does it support something like channels ?
after reading :
http://roscidus.com/blog/blog/2013/09/28/ocaml-objects/
the language sounds quite interesting. Does it support something like channels ?
There is some interesting work being done on an effects system [1] which would be another option for type-safe concurrency, hopefully it will land soon alongside the multicore work.
There is also the old fashioned way with the stdlib's Event module[2] (in conjunction with Thread), but that's not used as often, mostly because Lwt/Async offer richer, safer abstractions.
[1] http://kcsrk.info/ocaml/multicore/2015/05/20/effects-multico...
[2] http://caml.inria.fr/pub/docs/manual-ocaml/libref/Event.html
That's what TFAA (and MirageOS) use.