Séminaire Cambium, Inria Paris
                                     BJ09
                           Jeudi 19 décembre, 10h30

                                Jeremy Yallop
                           University of Cambridge

             Compile-time Code-constructing Computations for Caml

The Modular Macros project extends OCaml with new language features
for compile-time computation and typed, hygienic code quotations,
allowing programmers to write high-level libraries that apply
domain-specific optimizations to safely generate efficient low-level
code.

Our design draws heavily on existing work in metaprogramming, taking
inspiration from ideas that have been proven in practice in languages
such as MetaOCaml, Template Haskell, and Racket. However, smooth and
safe integration with OCaml's existing features such as effect
handlers and the module system poses some new challenges.

This talk will present a high-level overview of ongoing work on the
language design, the underlying theory, the implementation and some
applications.

            Vous pouvez vous abonner à nos annonces de séminaires:
                     http://cambium.inria.fr/seminar.html

             Nos séminaires sont accessibles en ligne en direct
                            via le lien ci-dessus.