From: Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp>
To: caml-list@pauillac.inria.fr
Subject: Upcoming O'Labl
Date: Mon, 13 May 96 10:06:23 JST [thread overview]
Message-ID: <9605130106.AA11092@cinnamon> (raw)
In-Reply-To: <9605101257.AA06291@gr6.u-strasbg.fr> (boos@gr6.u-strasbg.fr)
O'Caml comes, so what is happening to Label Special Light ?
Question 1 (Christian Boos <boos@gr6.u-strasbg.fr>)
> Another one is that the very interesting contribution of Jacques
> Garrigue and Jun P. Furuse (labeled and optional arguments to
> functions) hasn't merged with the mainstream. Will this happen one
> day, at least optionaly (sort of -withlabels option) ?
No idea, I'm not the one who decides. But this may take some time, as
the following explains.
Question 2 (myself)
Will labeled arguments be ported to O'Caml ?
Yes, I'm working on it and have already an alpha version. Must be
checked carefully since the source changed a lot. I hope I can release
it this week.
It is even more than labeled and optional arguments, since there are
also new polymorphic variants. This should mix nicely with objects.
However there are a number of problems, which will certainly not be
solved in the first release. That is, objects are breaking the basic
assumption of labels and comptionals compiling: that the actual type
of a function is known when it is applied. This is no longer true with
methods. This means that there will be restrictions on the use of
labels in method definitions :-(, otherwise integration should go
smoothly.
> Anyway, Caml is still going better and better ... That's great !
True ! But I didn't think CSL would disappear so quickly !
Jacques
prev parent reply other threads:[~1996-05-13 7:56 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-05-10 10:46 Class variables in O'Caml??? Thorsten Ohl
1996-05-10 12:57 ` Class variables in O'Caml??? + questions Christian Boos
1996-05-10 15:13 ` Thorsten Ohl
1996-05-13 16:36 ` Jerome Vouillon
1996-05-13 1:06 ` Jacques GARRIGUE [this message]
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=9605130106.AA11092@cinnamon \
--to=garrigue@kurims.kyoto-u.ac.jp \
--cc=caml-list@pauillac.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).