Browse thread
OCaml object types vs record types
-
Raj B
- Pierre-Evariste Dagand
-
Nicolas Pouillard
- Lukasz Stafiniak
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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.)