Dynamics for ML using Meta-Programming

Authors:
Thomas Gazagnaire;Anil Madhavapeddy
Affiliations:
INRIA Sophia Antipolis-Méditerranée, 2004 Route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex, France;Computer Laboratory, 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 15
Cited 0

How to make ad-hoc polymorphism less ad hoc

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
Subtyping recursive types

ACM Transactions on Programming Languages and Systems (TOPLAS)
Coinductive axiomatization of recursive type equality and subtyping

Fundamenta Informaticae - Special issue: typed lambda-calculi and applications, selected papers
On programming of arithmetic operations

Communications of the ACM
Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Principal type-schemes for functional programs

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type Inference and Type Classes

Proceedings of the 1989 Glasgow Workshop on Functional Programming
Syntactic Considerations on Recursive Types

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Recursive subtyping revealed

Journal of Functional Programming
LINQ: reconciling object, relations and XML in the .NET framework

Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Melange: creating a "functional" internet

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Practical generic programming in OCaml

ML '07 Proceedings of the 2007 workshop on Workshop on ML
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Using functional programming within an industrial product group: perspectives and perceptions

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Quantified Score

Hi-index	0.00

Visualization

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.