Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCaml object types vs record types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Lukasz Stafiniak <lukstafi@g...>
Subject: Re: [Caml-list] OCaml object types vs record types
On 6/4/07, Nicolas Pouillard <nicolas.pouillard@gmail.com> wrote:
>
> The pa_oo extension from Jacques Garrigue  does exactly this kind of things:
>
> http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html
> (works also in 3.10 but not released yet, contact me if you want it)
>
It seems to make for "polymorphic records", for which I've asked some time ago.
(The lightest thing that allows for record label reuse by structural subtyping.)