Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: circular types?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Hendrik Tews <tews@t...>
Subject: Re: circular types?
Hi,

Tom Hirschowitz writes:
   Date: Mon, 23 Oct 2000 09:43:19 +0200
   Subject: Re: circular types?
   
   Since I'm just beginning this, I would really be pleased by any 
   comments, suggestions or questions about it.
   

I would like to have recursive types spread over different files
like

========== file types.ml

type types =
  | Product of types list
  ...
  | Comprehension of formula

===================================

========== file expression.ml

type expression =
  | Abstraction of (string * types) list * expression
  ....
  | Formula of formula

===================================

========== file formula.ml

type formula = 
  | Forall of (string * types) list * formula
  ...
  | Expression of expression

===================================


It would be great if one could incorporate a class into the
recursion. But I guess as a first step one has to allow recursion
between classes and types in one module as in

    type t = ....

    and class c = ...

    and type t' = ...


Bye,

Hendrik