today I downloaded ocaml 3.09.
One of the new things:
>But... what is a row-type?
> - Introduction of private row types, for abstracting the row in object
> and variant types.
- On 31/10/05, Oliver Bandel <oliver@...-berlin.de> wrote:
>Think objects and polymorphic variants in OCaml. I don't understand
> But... what is a row-type?
private row types fully yet, but loosely a row type is a record like
type allowing extension. It's a way out of the problem of a record
type being 'fixed' to a given set of fields. They make functions with
parameters like <x:int, y:foo->bar, ...> legal.
Look for row polymorphism on the web. Here is something by Neel
Krishnaswami which might give you an idea of what they are...