Dave Thomas
Dave Thomas
I think this is somewhat similar to record punning in ocaml.
@robkuz This one would have to be completed first to allow this: https://github.com/fsharp/fslang-suggestions/issues/154
@robkuz You could also generate both of those with falanx too, we currently generate unions and records from a schemata or whatever you wish.
The schemata come from whatever you want it too, can come from an ast fragment or lump of text or anything else 🍌
@et1975 Gets a bit tricky when you need to use reflection and the types do not really exist like providedtype derivatives. I had to jump through a few hoops to...
The biggest usability issue in that area is its not that east to parse a fragment of ast, you have to run it through part of the checker to get...
Incidentally you can generate F# types from F# types with [myriad](https://7sharp9.dev/2019/04/24/2019-04-24-applied-metaprogramming-with-myriad/)
@baronfel Please don't encourage the use of SRTP. @dsyme Spent ages trying to make the syntax as unmemorable as possible for a reason :-)