Type Providers for Ocaml

Someone mentioned this on twitter few days ago

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


@SYStems I have seen a lot of admiration about type provider but never understood why. Can you recommend some reading?

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.

1 Like