Macaque : Interrogation sûre et flexible de base de données depuis OCaml

Gabriel Scherer 1 Jérôme Vouillon 2
1 ENS Paris - École normale supérieure - Paris
2 PPS - Preuves, Programmes et Systèmes
Abstract : Macaque is an OCaml library providing an interface to SQL databases. Modular, statically typed queries can be expressed. A Camlp4 syntax extension brings a concrete syntax using comprehensions. Subtle properties of SQL values, such as nullability, are encoded into the OCaml type system using phantom types.
Keywords : OCaml databases types embedded languages macros comprehensions
Type de document :
Communication dans un congrès
Ving et unième journées francophones des langages applicatifs, Jan 2010, La Ciotat, France. Hermann, 2010, Studia Informatica Universalis
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-00495977
Contributeur : Jérôme Vouillon <>
Soumis le : mardi 29 juin 2010 - 12:45:33
Dernière modification le : vendredi 4 janvier 2019 - 17:32:59

Identifiants

  • HAL Id : hal-00495977, version 1

Collections

ENS-PARIS | PPS | PSL | USPC

Citation

Gabriel Scherer, Jérôme Vouillon. Macaque : Interrogation sûre et flexible de base de données depuis OCaml. Ving et unième journées francophones des langages applicatifs, Jan 2010, La Ciotat, France. Hermann, 2010, Studia Informatica Universalis. 〈hal-00495977〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

96

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD