From: Brian Rogoff <bpr@best.com>
To: Jun Furuse <Jun.Furuse@inria.fr>
Cc: caml-list@inria.fr
Subject: [Caml-list] Re: [Caml-announce] G'Caml, Caml with Extensional polymorphism extension
Date: Tue, 19 Jun 2001 10:57:08 -0700 (PDT) [thread overview]
Message-ID: <Pine.BSF.4.21.0106191048580.5669-100000@shell5.ba.best.com> (raw)
In-Reply-To: <20010619182424P.Jun.Furuse@inria.fr>
On Tue, 19 Jun 2001, Jun Furuse wrote:
> Hello,
>
> I'm pleased to announce G'Caml, the experimental extension of
> the extensional polymorphism([1],[2]) to O'Caml, available at
>
> http://pauillac.inria.fr/~furuse/generics/
Congratulations, lots of us have been waiting for such an extension. It's
a bit of a pity that one of the current limitations of the system is
that it doesn't work with objects, but I suppose you are saving that for
the final merging when you can name the whole thing GO'Caml, which will
perhaps please some people who aren't satisfied with the current name,
and opens up lots of opportunities for logos (fan's yelling "Go Caml
go!", a clever looking Caml playing go, etc :-)
Enough joking, time to play with this new toy...
-- Brian
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-06-19 17:57 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <4.3.2.7.2.20010720233759.027da4b0@shell16.ba.best.com>
2001-06-19 16:24 ` Jun Furuse
2001-06-19 17:38 ` [Caml-list] " Jun Furuse
2001-06-19 17:57 ` Brian Rogoff [this message]
[not found] ` <20010724160232T.Jun.Furuse@inria.fr>
2001-07-24 18:22 ` Chris Hecker
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=Pine.BSF.4.21.0106191048580.5669-100000@shell5.ba.best.com \
--to=bpr@best.com \
--cc=Jun.Furuse@inria.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