Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 2007-06-04 (22:06)
From: Lukasz Stafiniak <lukstafi@g...>
Subject: Re: [Caml-list] OCaml object types vs record types
On 6/4/07, Nicolas Pouillard <> wrote:
> The pa_oo extension from Jacques Garrigue  does exactly this kind of things:
> (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.)