¿Qué es necesario desde el punto de vista de implementación del idioma para implementar proveedores de tipo como en F# 3.0?

Question

F# 3.0 agrega Tipo de proveedores, que hacen que sea básicamente innecesario escribir o generar asignaciones entre un DB (u otro proveedor de datos) y el sistema de lenguaje/tipo, porque el lenguaje puede consultar información estructural de la base de datos en sí misma con proveedores de tipos.

¿Qué es necesario desde el punto de vista de implementación del idioma para agregar dicha característica a un idioma?

¿Requiere un sistema de tipo totalmente conectable? ¿O es más como algún generador de código oculto integrado en el compilador?

¿Qué es necesario para implementar un nuevo proveedor de tipo para F#?