Qu'est-ce qui est nécessaire d'un point de vue de mise en œuvre de la langue pour implémenter des fournisseurs de type comme dans F # 3.0?

Question

F # 3.0 ajoute Type Providers, ce qui rend fondamentalement inutile d'écrire ou de générer manuellement des mappages entre une base de données (ou un autre fournisseur de données) et le système de langue / type, car la langue peut interroger les informations structurelles de la base de données elle-même directement avec les fournisseurs de type.

Qu'est-ce qui est nécessaire d'un point de vue de mise en œuvre de la langue pour ajouter une telle fonctionnalité à une langue?

Nécessite-t-il un système de type entièrement enfichable? Ou est-ce plus comme un générateur de code caché intégré dans le compilateur?

Qu'est-ce qui est nécessaire pour implémenter un nouveau fournisseur de type pour F #?