From:	 David Mentre <David.Mentre@inria.fr>
To:	 lwn@lwn.net
Subject: Attn: Developement Editor, Latest Caml Weekly News
Date:	 26 Jun 2001 14:11:23 +0200

Here is the latest Caml Weekly News, from 20th to 26th of June, 2001.

=============================================================
  Table of Contents
-------------------------------------------------------------

 1) G'Caml, extensional polymorphism added to O'Caml

-------------------------------------------------------------

Jun Furuse announced:

I'm pleased to announce G'Caml, the experimental extension of
the extensional polymorphism to O'Caml, available at

    http://pauillac.inria.fr/~furuse/generics/

You can define non parametric, ad-hoc polymorphic values 
(so called "overloaded" or "generic" functions)
using newly added "generic" bindings. For example:

     # generic plus = case
       | int -> int -> int => (+)
       | float -> float -> float => (+.) 
       ;;

This defines an ad-hoc polymorphic function plus, which can work
both for integer and float additions.

     # plus 1 2;;
     - : int = 3 

     # plus 1.2 3.4;;
     - : int = 4.6

Complete announcement:
http://caml.inria.fr/archives/200106/msg00325.html

=============================================================


-- 
 David.Mentre@inria.fr
 Opinions expressed here are only mine.