search

dotnet-websharper / core

WebSharper - Full-stack, functional, reactive web apps and microservices in F# and C#
https://websharper.com
Apache License 2.0
595 stars 50 forks source link

Enable Macros on interfaces #1382

Open Jooseppi12 opened 8 months ago

Jooseppi12 commented 8 months ago 
[<Macro(typeof<...>)>]
type X =
    abstract Y: int -> int
    abstract Z: string -> string

This combined with #1383 allows us to add more metaprogramming capability

Jand42 commented 8 months ago

@Jooseppi12 What happens when the interface is implemented? Should it be allowed? Also, if not for #1383, above example makes no sense if the interface is not a proxy.