Dave Thomas

Results 250 comments of Dave Thomas

Quotations can be transformed to AST, I do this in Falanx, and AST becomes TAST on compile, you can compile the AST too via an interface into the compiler that...

1. Was used by the quotation compiler 2. Was used by the stuff I wrote at xamarin for F# playgrounds as well as Edge.fs All of these are pretty old...

Could we not just remove the warning, and tip/completion hiding that occur now? On Sat, 9 Mar 2019 at 16:17, Don Syme wrote: > Just to note that one specific...

This is exact hat myriad generates. On Sun, 9 Jun 2019 at 15:01, Janne Siera wrote: > I would be very happy if this change would make it into the...

When you use a constructor though you get tooling support telling you all the parameters it requires. I think having normal constructors would be a better experience.

Yep tupled ones Anything curried has no tooling support for completion params

This is interesting as usages have now filtered into real projects, for example the UnrealCLR plugin where they use function pointers so that there is no pinvoke overhead while using...

> This is needed for the `DllImport` source generator: [dotnet/designs#181 (comment)](https://github.com/dotnet/designs/pull/181#discussion_r603599817) F# won't be supported by it without this feature. In F# we don't have Roslyn source generators anyway, so...

Im happy Myriad was mentioned here, feel free to add any ideas, improvements, ideas etc to the issues: https://github.com/MoiraeSoftware/myriad

When I was building Myriad I did think of removing the quotation aspect of Type Providers and instead have just AST input rather than quotations. I think quotations not quite...