Wondering if it’s possible to have a polyvariadic type provider. The user case I had in mind was to create a SprintfProvider that would be able to evaluate a sprintf-type function at compile time, assuming the arguments were also literals. Something like:
let [<Literal>] str1 = "one"
let [<Literal>] str2 = "two"
let [<Literal>] finalStr = sprintf<"%s and then %s", str1, str2>.Value
Is such a thing possible?