Ocaml-templates, méta-programmation à partir des types

Conference object French OPEN
Maurel , François;
(2004)
  • Publisher: Inria
  • Subject: ocaml | templates | [ INFO.INFO-CL ] Computer Science [cs]/Computation and Language [cs.CL] | Meta-programmation

Le système de type du langage Objective Caml interdit le paramétrage du type d'une fonction quelconque par un type explicite ou par la valeur d'un argument. Ainsi, les fonctions polymorphes définies par l'utilisateur ne peuvent observer précisément leurs arguments sans ... View more
  • References (9)

    [1] Jun Furuse. Generic polymorphism in ML. Journees Francophones des Langages Applicatifs. 2001.

    [2] Xavier Leroy et al. The Objective Caml system { Documentation and user's manual. Disponible sur le site http://caml.inria.fr/, 2003.

    [3] Robin Milner, Mads Tofte and Robert Harper. The De nition of Standard ML : version 3. Technical Report EFS-LFCS-89-81, University of Edinburgh, 1989.

    [4] Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press. 2003. Hardback, 272 pages, ISBN : 0521826144.

    [5] Daniel de Rauglaudre. Camlp4 - Reference Manual. Disponible sur le site http://caml.inria.fr/camlp4, 2003.

    [6] Daniel de Rauglaudre. IoXML. Disponible sur le site http://cristal.inria.fr/~ddr/IoXML, 2002.

    [7] Tim Sheard and Simon Peyton Jones. Template meta-programming for haskell. ACM SIGPLAN Haskell Workshop 02, 2002.

    [8] Bjarne Stroustrup. The C++ Programming Language (Special Edition). Addison Wesley. Reading Mass. USA. 2000. ISBN 0-201-70073-5. 1029 pages. Hardcover.

    [9] Walid Taha, Zine-el-abidine Benaissa and Tim Sheard. The essence of staged programming. Technical Report, Oregon University. 1997. Disponible sur le site http://www.cse.ogi.edu/ PacSoft/projects/metaml/

  • Metrics
Share - Bookmark