F＃3.0のようなタイププロバイダーを実装するために、言語実装の観点から何が必要ですか？

Question

F＃3.0が追加されます タイププロバイダー, これにより、基本的には、DB（または別のデータプロバイダー）と言語/タイプシステムの間でマッピングを手動で書き込み、生成する必要があります。言語は、データベース自体からタイププロバイダーと直接構造情報を照会できるためです。

言語にそのような機能を追加するために言語の実装の観点から何が必要ですか？

完全にプラグ可能なタイプシステムが必要ですか？それとも、コンパイラに統合されたいくつかの非表示のコードジェネレーターのようなものですか？

F＃の新しいタイププロバイダーを実装するには何が必要ですか？