Dynamics for ML using Meta-Programming | Zendy

Thomas Gazagnaire | Zendy; Anil Madhavapeddy | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Dynamics for ML using Meta-Programming

Author(s) -

Thomas Gazagnaire,

Anil Madhavapeddy

Publication year - 2011

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2011.06.002

Subject(s) - computer science , metaprogramming , programming language , compiler , sql , task (project management) , data definition language , management , economics

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research