Abstract | ||
---|---|---|
We present the design and implementation of dynamic type and value introspection for the OCaml language. Unlike previous attempts, we do not modify the core compiler or type-checker, and instead use the camlp4 metaprogramming tool to generate appropriate definitions at compilation time. Our dynamics library significantly eases the task of generating generic persistence and I/O functions in OCaml programs, without requiring the full complexity of fully-staged systems such as MetaOCaml. As a motivating use of the library, we describe a SQL backend which generates type-safe functions to persist and retrieve values from a relational database, without requiring programmers to ever use SQL directly. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.entcs.2011.06.002 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
dynamics library,o function,ocaml language,appropriate definition,camlp4 metaprogramming tool,core compiler,sql backend,compilation time,ocaml program,dynamic type,database,dynamics,dynamic typing,relational database,generative,metaprogramming,sql,meta programming | Introspection,Metaprogramming,SQL,Programming language,Relational database,Computer science,Compiler,Theoretical computer science,Generative grammar,Null (SQL),Camlp4 | Journal |
Volume | Issue | ISSN |
264 | 5 | 1571-0661 |
Citations | PageRank | References |
0 | 0.34 | 17 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Gazagnaire | 1 | 215 | 13.32 |
Anil Madhavapeddy | 2 | 674 | 52.83 |