Allow quotation expressions as type provider arguments

[baronfel]

Submitted by thinkb4coding on 6/10/2015 12:00:00 AM
30 votes on UserVoice prior to migration

This would enable scenarios where the type provider can rewrite, or abstract at compile time F# code and emit new one.
It could replace a macro system without the need for new syntax or tooling.

Original UserVoice Submission

[rmunn]

In UserVoice, Don Syme noted that this will "almost certainly require #212 to be fully implemented".

[voronoipotato]

It would be nice if when doing this we also fold in an implementation of eval from one of the various libraries that already do this so that we can run quotation expressions without external dependencies. I honestly think easier, and more options for metaprogramming (like this) would also prevent Don from being pulled into various small language change quibbles.

Additionally projects like ConstraintTP would be able to move from using strings which have bad UX, to using quoted expressions. Right now the best proposed way of doing this that I could think of is using Fake as a preprocessor to basically regex replace <@ and @> with " when the line begins with [<Literal>] on compile. Using strings for metaprogramming imho kind of breaks the spirit of ML based languages, so it would make me very happy if we could find a creative resolution to this, even if it is basically doing the same thing that I was doing behind the scenes.