Archives of the Caml mailing list > Message from Richard Jones

Browse thread

Re: [Caml-list] Feature request : Tuples vs. records

Frederic GAVA
- David Teller
  - Jacques Garrigue
    - Richard Jones
      - Till Varoquaux
        
        Nicolas Pouillard
  - Jon Harrop
    - Lukasz Stafiniak
      - Lukasz Stafiniak
        
        Brian Hurt
        
        skaller

Date:	-- (:)
From:	Richard Jones <rich@a...>
Subject:	Re: [Caml-list] Feature request : Tuples vs. records

On Fri, Feb 23, 2007 at 10:39:45AM +0900, Jacques Garrigue wrote:
> On the other hand structural typing avoids extra definitions, and
> allows more code sharing and polymorphism. One cannot imagine ML
> without structural tuples. In ocaml, you have also objects that can
> mimic records, and polymorphic variants for sum types.

The penalty of having the extra definitions wouldn't be so bad if
'type t = ...' could appear inside let statements (ie. not just at the
top level).  At the moment, type definitions are often a long way away
from where they are used.

Rich.

-- 
Richard Jones
Red Hat UK Limited