Archives of the Caml mailing list > Message from brogoff

Browse thread

Feature request : Tuples vs. records

David Teller
- Andrej Bauer
  - skaller
    - David Teller
      - Jon Harrop
      - Tom
        
        skaller
    - Andreas Rossberg
      - Till Varoquaux
        
        Till Varoquaux
        
        brogoff

Date:	-- (:)
From:	brogoff <brogoff@s...>
Subject:	Re: [Caml-list] Feature request : Tuples vs. records

On Thu, 22 Feb 2007, Till Varoquaux wrote:
> On 2/22/07, David Teller <David.Teller@ens-lyon.org> wrote:
> > Sounds interesting. Do you have documentation on this use of records for
> > general recursivity ?

For polymorphic recursion, how about this?

http://caml.inria.fr/pub/ml-archives/caml-list/2002/08/9e1089a04ce714a0541373be008c3130.en.html

And, since I brought it up, I noticed in the CVS that someone wrote the
test for directly expressing polymorphic recursive functions in OCaml.
Any chance we'll see that in the future?

-- Brian