Am Dienstag, den 15.07.2014, 16:11 +0400 schrieb Peter Zotov:
> On 2014-07-15 13:38, Gerd Stolpmann wrote:
> > Go is in particular interesting because it provides a model of
> > lightweight threading that can be backed by multiple cores.
> 
> You may want to know that Go is not memory-safe in presence of
> race conditions. It uses multi-word fat pointers that cannot be
> atomically updated, yet does not globally protect them with a mutex
> "for speed", or prevent such updates using the type system.

Hmmm, that just means that the multi-threading is a bit unsafer than in
OCaml. But it is different anyway, e.g. in OCaml sequences of simple
assignments are atomic (although this isn't documented anywhere, afaik
the incrementation of the object ID counter depends on that).

Anyway, it is an experiment only.

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------