Label changes in 3.00

Label changes in 3.00

[Jacques Garrigue]

On the way to OCaml 3.00, I am thinking of changing a few unlucky
labels in the standard and other libraries.

Since such changes may create incompatibilities in modern mode
programs, labels in the standard library will be fixed after 3.00.
So this is the last chance to correct incongruities.

Currently here is the list of changes I plan to do:

List:
* replace [key:] by [item:] in mem and memq.

Set:
* replace [key:] by [item:] in mem, add and remove.

Unix:
* replace [name:] by [prog:] or [file:] according to the function.

If you have other suggestions please send them to me.

--------
Francais

Je pense changer quelques etiquettes malchanceuses dans la
librairie standard, avant de sortir OCaml 3.00.

De tels changements pouvant entrainer des incompatibilites dans les
programmes ecrits en mode moderne, les etiquettes (au moins de la
librairie standard) devraient etre definitivement fixees apres la
version 3.00. C'est donc la derniere chance d'apporter des
corrections.

Le corrections envisagees actuellement sont:

List: remplacer [key:] par [item:] dans mem et memq.

Set: remplacer [key:] par [item:] dans mem, add et remove.

Unix: remplacer [name:] par [prog:] ou [file:] suivant la fonction.

Si vous avez des suggestions supplementaires, envoyez les moi.

---------------------------------------------------------------------------
Jacques Garrigue      Kyoto University     garrigue at kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>

OCaml3 and label things

[David Mentré]

Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp> writes:

> On the way to OCaml 3.00

By the way, I'm new to current OCaml (2.x) and I don't know anything
about all those Label things and new Ocaml 3 features that everybody is
talking about in this list. Is there any introducing paper or research
report which explains those new features (how and why)? (a kind of OCaml
3 for the dummies)

[ français ]

Je ne connais rien aux étiquettes et autres nouvelles
fonctionnalités de OCaml 3. Où peut-on trouver une doc pour débutant sur
le sujet ?

Thanks,
david
--
 David.Mentre@irisa.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.

Re: OCaml3 and label things

[Jacques Garrigue]

From: David.Mentre@irisa.fr (David Mentré)

> > On the way to OCaml 3.00
> =

> By the way, I'm new to current OCaml (2.x) and I don't know anything
> about all those Label things and new Ocaml 3 features that everybody is
> talking about in this list. Is there any introducing paper or research

> report which explains those new features (how and why)? (a kind of OCaml
> 3 for the dummies)

There is no such thing currently (greatly needed I'm afraid).
There are however two sources of information:

* the OCaml 2.99 user manual. There is a section in the tutorial, and
  explanations are added at related places in the reference manual.

* Objective Label related material. The new features are taken from
  it, but slightly modified to make them more robust.
	http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/

[francais]

Il n'y a pas de document expliquant uniquement les nouvelles
fonctionnalites d'ocaml 3, mais il y a des informations dans le manuel
de l'utilisateur d'ocaml 2.99, et on peut aussi lire les informations
concernant olabl a` l'adresse ci-dessus (meme si elles ne s'appliquent
pas totalement).

Jacques
---------------------------------------------------------------------------
Jacques Garrigue      Kyoto University     garrigue at kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>