From: "\"Markus W. Weißmann\"" <markus.weissmann@in.tum.de>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] New GADT iteration
Date: Sat, 12 Nov 2011 15:18:56 +0100 [thread overview]
Message-ID: <0950FDB6-3880-4F1D-9127-BF77EA744258@in.tum.de> (raw)
In-Reply-To: <20111111.165707.71105223.garrigue@math.nagoya-u.ac.jp>
I've added a port "ocaml-devel" to MacPorts that builds the gadt-devel branch (checked out from svn, revision 11273);
so for users of MacPorts you can simply deactivate your current ocaml installation and install ocaml-devel to give it a try.
$> sudo port -f deactivate ocaml
$> sudo port install ocaml-devel
The ocaml libraries from MacPorts will not accept the development snapshot though.
Best regards
-Markus
On 11 Nov 2011, at 08:57, Jacques Garrigue wrote:
> Dear Camlers,
>
> Some of you may already be aware that GADTs are available in trunk,
> since this summer. Information is available here:
> https://sites.google.com/site/ocamlgadt/
>
> As you can see in the presentation, this first iteration had some
> limitations (particularly it was mostly incompatible with objects and
> polymorphic variants), which led us to try a new approach.
>
> In this new iteration it is guaranteed that an ambiguous type cannot
> escape the scope of a GADT pattern-matching, which leads to
> (hopefully) more intuitive type inference, and allows to combine GADTs
> with objects and polymorphic variants. The syntax is unchanged.
>
> As this approach depends crucially on the above property of ambiguous
> types not escaping, it requires as much testing as possible.
> This is why I would like to invite interested people to test it and
> report strange behavior.
> The new code is in the branch branches/gadts-devel, or
> http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/branches/gadts-devel/
>
> Sample code is available in the subdirectory testsuite/tests/typing-gadts.
> It includes Alain Frisch's example for safe type introspection,
> extended with variants.
>
> Please tell me if you find some unsoundness, or you cannot understand
> why you get an error.
>
> Jacques Garrigue
>
> --
> Caml-list mailing list. Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
--
Markus Weißmann, M.Sc.
Technische Universität München
Institut für Informatik
Boltzmannstr. 3
D-85748 Garching
Germany
Tel. +49 (89) 2 89-1 81 05
Fax +49 (89) 2 89-1 81 07
http://wwwknoll.in.tum.de/
next prev parent reply other threads:[~2011-11-12 14:19 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-11-11 7:57 Jacques Garrigue
2011-11-11 8:24 ` Gabriel Kerneis
2011-11-11 8:44 ` Jacques Le Normand
2011-11-12 14:18 ` "Markus W. Weißmann" [this message]
2011-11-24 9:13 ` [Caml-list] " Jacques Garrigue
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=0950FDB6-3880-4F1D-9127-BF77EA744258@in.tum.de \
--to=markus.weissmann@in.tum.de \
--cc=caml-list@inria.fr \
--cc=garrigue@math.nagoya-u.ac.jp \
/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).