Am Samstag, den 16.01.2016, 22:42 +0100 schrieb Nicolas Ojeda Bar:
> Hi list,
> 
> 
> I am toying with the idea of using the OCaml runtime for a dynamically
> typed language targeting Lambda.  I was wondering what the OCaml
> runtime (ie the GC) assumes about the language being compiled.
> 
> 
> In particular I was wondering if it assumes that a value cannot go
> from pointing to a block to being an int or vice-versa.

This possibility exists in OCaml, e.g.

type t = Block of bool | Int0

Now, an assignment x := Block false; x := Int0 would do the change you
are thinking about (argument-less variants are represented as ints).

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
------------------------------------------------------------