HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Gabriel Scherer 1 Jérôme Vouillon 2
1 ENS-PSL - É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
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00495977
Contributor : Jérôme Vouillon Connect in order to contact the contributor
Submitted on : Tuesday, June 29, 2010 - 12:45:33 PM
Last modification on : Thursday, March 17, 2022 - 10:08:36 AM

Identifiers

  • HAL Id : hal-00495977, version 1

Collections

ENS-PARIS | CNRS | PPS | UNIV-PARIS7 | UNIV-PARIS | PSL | ANR

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. ⟨hal-00495977⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

82