He estado leyendo acerca de los proveedores de tipo F # 3.0 (por ejemplo,aquí) y parece que están basados ​​en un tipo de generación de código en tiempo de compilación. En ese sentido, me preguntaba cómo se comparan con las macros de Lisp. Parece que tanto los proveedores de tipo F # 3.0 como las macros de Lisp permiten que el código de usuario se ejecute en tiempo de compilación e introduzca nuevos tipos disponibles para el compilador. ¿Alguien puede arrojar algo de luz sobre el tema y los matices involucrados?