Emit Discriminated Unions

I’m currently playing around with building a DSL for Avalonia UI. I looked at how Fabulous generates types one time.

It would be interesting to create the DSL dynamically using a (generative) type provider. In my case I would like to generate DU’s for all implementations of IControl.

type ButtonAttr =
| Name of string
| Width of float
…

This would make it extremely simple to use 3rd party controls, because bindings are generated at compile/ design time.

Currently it is (as far as I know) not possible to emit F# specific types like Records or Discriminated Unions from a Type Provider.

1. Why isn’t it possible to generate F# specific types (aren’t they just nested classes with custom attributes/metadata after all) ?
2. Is there a general interest in making this possible (or is it just me wanting this) ?

EDIT: just found out there is a discussion about using a TP in Fabulous

[Luiz-Monad]

What about providing the FSharp compiler services interface to a TypeProvider, so it can get better metadata? And with ProvidedDU and ProvidedRecords, that would increase the flexibility. Perhaps we could have a DSL for creating the relevant part of the TypeProvider output that will become the TAST. (of course you wouldn’t expose the real TAST) I don’t mind it being internally represented by Type/MethodInfo, but wouldn’t it be simpler having a specific AST/DSL for TypeProviders ? (nothing impedes someone doing that and it creating the Quotation expressions needed, that’s precisely how I’m thinking to tackle my TypeProvider ) [edit: after reading other topics, I guess I have my historical reasons answer]

But FSharpCompilerServiceTypeProvider, that would be a fun thing !

[dsyme]

@JaggerJo It’s ok to leave it open I think