From: Christian Stork <cstork@ics.uci.edu>
To: David Teller <David.Teller@univ-orleans.fr>, caml-list@inria.fr
Subject: Re: [Caml-list] Labelling trees
Date: Thu, 7 Jun 2007 07:25:16 -0700 [thread overview]
Message-ID: <20070607142516.GA28217@stirner.roentgeninstitut.de> (raw)
In-Reply-To: <1181158983.9266.12.camel@Blefuscu>
On Wed, Jun 06, 2007 at 09:43:02PM +0200, David Teller wrote:
>
> Hi everyone,
> I'm currently in the very first stages of writing down a prototype
> implementation of a type checker. At the moment, I'm looking for "the
> nicest" way of labelling my abstract syntax tree with type annotations
> -- without corrupting the AST at all, if possible.
>
>
> Say I have
>
> type my_expression = ESomeConstructor of ...
> | ESomeConstructor2 of ...
> | ESomeConstructor3 of my_function
> and my_function = FSomeConstructor ...
>
>
> A first idea would be to replace this structures with
>
> type 'a my_expression = ESomeConstructor of ...
> | ESomeConstructor2 of ...
> | ESomeConstructor3 of 'a my_function
> and 'a my_function = FSomeConstructor ...
>
> That would let me annotate instances of my_expression or my_function
> with informations of type 'a. However, this won't scale in case I decide
> that my static checker will need annotations of different types for
> my_expression and my_function. Of course, my AST is actually a tad more
> complex and would require about 15 type arguments, which I don't
> consider very nice.
Jacques Garrigue once mentioned the following trick on this list.
Instead of writing out 15 type parameters each time one can use a single
type paramenter with an object type constraint. For example,
type 'a expr = E1 of 'e * 'a func
| E2 of 'e * 'a foo
| ...
constraint 'a = <e:'e; f:'f; ...>
and 'a func = F1 of 'f * 'a bar
| F2 of 'f * 'a bla
| ...
constraint 'a = <e:'e; f:'f; ...>
...
One could even think of reducing the remaining constraints with some
camlp4 magic to a single instance.
--
Chris Stork <> Support eff.org! <> http://www.ics.uci.edu/~cstork/
OpenPGP fingerprint: B08B 602C C806 C492 D069 021E 41F3 8C8D 50F9 CA2F
next prev parent reply other threads:[~2007-06-07 14:25 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-06-06 19:43 David Teller
2007-06-06 21:22 ` [Caml-list] " Christophe Raffalli
2007-06-07 1:00 ` skaller
2007-06-07 14:26 ` Till Varoquaux
2007-06-07 23:09 ` skaller
2007-06-08 9:52 ` Till Varoquaux
2007-06-08 10:32 ` skaller
2007-06-07 14:25 ` Christian Stork [this message]
2007-06-07 23:48 ` Jeremy Yallop
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20070607142516.GA28217@stirner.roentgeninstitut.de \
--to=cstork@ics.uci.edu \
--cc=David.Teller@univ-orleans.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).