Archives of the Caml mailing list > Message from tim@f...

Browse thread

[Caml-list] OCaml 3.05 released

Xavier Leroy
- Nicolas Cannasse
- Shawn Wagner
- Scott J.
  - Jacques Garrigue
    - tim@f...
  - John Prevost
  - John Prevost
    - Xavier Leroy
      - John Prevost
        
        Xavier Leroy
      - Sven LUTHER
        
        Xavier Leroy
        
        root
        
        Xavier Leroy
        
        Sven LUTHER
        
        Sven LUTHER
        
        Xavier Leroy
        
        Sven LUTHER
        
        Sven LUTHER
  - Dmitry Bely
    - Scott J.
      - Dmitry Bely
- Yaron M. Minsky
- Christophe Raffalli

Date:	-- (:)
From:	tim@f...
Subject:	Re: [Caml-list] OCaml 3.05 released

From: "Scott J." <jscott@planetinternet.be>
> What is meant by first first-class polymorphism?

From: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
>The ability to pass values with polymorphic types around.
>This is mostly useful for objects, and lets you write type safe
>visitor patterns for instance.

Do you have any examples of a use for this?
-- 
Tim Freeman       
tim@fungible.com
GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D  7180 76DF FE00 34B1 5C78 
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners