The design and implementation of BER MetaOCaml: System sescription

Research output: Chapter in Book/Report/Conference proceedingConference contribution

56 Citations (Scopus)


MetaOCaml is a superset of OCaml extending it with the data type for program code and operations for constructing and executing such typed code values. It has been used for compiling domain-specific languages and automating tedious and error-prone specializations of high-performance computational kernels. By statically ensuring that the generated code compiles and letting us quickly run it, MetaOCaml makes writing generators less daunting and more productive. The current BER MetaOCaml is a complete re-implementation of the original MetaOCaml by Taha, Calcagno and collaborators. Besides the new organization, new algorithms, new code, BER MetaOCaml adds a scope extrusion check superseding environment classifiers. Attempting to build code values with unbound or mistakenly bound variables (liable to occur due to mutation or other effects) is now caught early, raising an exception with good diagnostics. The guarantee that the generated code always compiles becomes unconditional, no matter what effects were used in generating the code. We describe BER MetaOCaml stressing the design decisions that made the new code modular and maintainable. We explain the implementation of the scope extrusion check.

Original languageEnglish
Title of host publicationFunctional and Logic Programming - 12th International Symposium, FLOPS 2014, Proceedings
Number of pages17
ISBN (Print)9783319071503
Publication statusPublished - 2014 Jan 1
Externally publishedYes
Event12th International Symposium on Functional and Logic Programming, FLOPS 2014 - Kanazawa, Japan
Duration: 2014 Jun 42014 Jun 6

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8475 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other12th International Symposium on Functional and Logic Programming, FLOPS 2014

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'The design and implementation of BER MetaOCaml: System sescription'. Together they form a unique fingerprint.

Cite this