We are pleased to announce a beta release of an Object-Relational Mapper (ORM) library for OCaml. It is implemented as a type-conv syntax extension which auto-generates database save and query functions based on type declarations.
You can obtain the ORM from Github at http://github.com/mirage/orm , and GODI packages and MacPorts will be available shortly. Please report issues to mirage@recoil.org or use the Github issue tracker.
Some example code is:
type t = { foo: string; bar: int } with orm
let db = t_init "my.db" in
t_save { foo="t1"; bar=1 } db;
t_get ~foo:(`Contains "t") db
The only backend supported currently in SQLite, but we are working on some alternative non-SQL backends (such as Tokyo Cabinet and a git-based version controlled database). This beta release is a preview to get feedback and testing from a wider audience.
The Dyntype library provides a convenient way of manipulating types and values at run-time without having to dive into camlp4. It is described more fully in a WGT2010 paper at: http://www.cl.cam.ac.uk/research/srg/netos/papers/2010-dyntype-wgt.pdf
Thomas Gazagnaire
Anil Madhavapeddy