Just wanted to share the link with the community, it doesn’t seem like an active effort anymore
but, nevertheless, type providers is one of the selling point for F# which most of you know is heavily inspired by Ocaml
My entry to type providers was via the Dependent Type Providers paper by David Christiansen http://www.itu.dk/people/drc/pubs/dependent-type-providers.pdf That paper covers some of the downsides or problems with type providers as implemented in F#.
The paper gives links off to the original work done in F# called Strongly-Typed Language Support for Internet-Scale Information Sources which gives context for why have type providers.