Incorporar un sistema de compilación dentro del compilador de OCaml
El verano de Lucas Ma, bajo la tutela de Anil Madhavapeddy, giró en torno a una idea ambiciosa: usar el sistema de efectos del lenguaje OCaml, introducido en la versión 5.0, para convertir el propio compilador en una biblioteca bajo demanda, un "servicio de compilación" de larga vida. El reto no es
