Что нужно с точки зрения языкового реализации для реализации провайдеров типа, таких как F # 3.0?

F # 3.0 добавляет Поставщики типа , которые делают его в основном ненужным для вручную записи или генерации Сопоставления между БД (или другим поставщиком данных) и системой языка / типа, поскольку язык может запрашивать структурную информацию из самой базы данных с провайдерами типа.

Что нужно с точки зрения языкового реализации, чтобы добавить такую ​​функцию на язык?

Требуется ли он полностью подключаемая система типа? Или это больше похоже на некоторые скрытые генератор кода, встроенного в компилятор?

Что необходимо для реализации нового типа поставщика для f #?