Разделение на рантайм-часть провайдера (которая может содержать дополнительные зависимости для рантайма) и дизайн-тайн (грузится в иде для генерации типов). Они могут быть совмещены, если зависимости позволяют.
Дизайн-тайм зависимости все должны быть забандлены в дизайн-тайм сборке, чтобы они могли грузиться в тулинг на без сторонних пакетов. А рантайм-зависимости уже могут уже всякие ньютонсофт джейсоны использовать.
Тут есть базовые сведения про это https://fsprojects.github.io/FSharp.TypeProviders.SDK/technical-notes.html
Обсуждают сегодня