Cosa è necessario dal punto di vista dell'implementazione della lingua per implementare fornitori di tipi come in F# 3.0?

Question

F# 3.0 aggiunge Digita fornitori, che rendono sostanzialmente non necessario scrivere o generare mappature tra un DB (o un altro fornitore di dati) e il sistema di lingua/tipo, poiché il linguaggio può interrogare le informazioni strutturali dal database stesso direttamente con i fornitori di tipi.

Cosa è necessario dal punto di vista dell'implementazione della lingua per aggiungere una tale funzionalità a una lingua?

Richiede un sistema di tipo completamente collegabile? O è più simile a un generatore di codice nascosto integrato nel compilatore?

Cosa è necessario per implementare un nuovo fornitore di tipi per F#?