如何在F#代码保护的父类型嵌套属性类型中使用Microsoft Coyote

Question

在这里，F#和C#之间是否存在语言差异，从而阻碍了F#代码对Microsoft的使用？

因为OnEventDoActionAttribute是用受保护的访问修饰符在继承类型Microsoft.Coyote.Actors.Actor中定义的，所以在C#中继承的参与者类型中仍然可以访问它，而在F#中则不是这样。

Hello示例转换为F#：

type SetupEvent(serverId : ActorId) =
    inherit Event()
    member this.ServerId = serverId

type PingEvent(callerId : ActorId) = 
    inherit Event()
    member this.Caller = callerId

type PongEvent() =
    inherit Event()

// both attribute spec fail
//[<Microsoft.Coyote.Actors.Actor.OnEventDoAction(typeof<PingEvent>, "HandlePing")>] // Error: The type 'OnEventDoActionAttribute' is not accessible from this code location
[<OnEventDoAction(typeof<PingEvent>, "HandlePing")>] // Error: The type 'OnEventDoAction' is not defined
type Server() =
    inherit Actor()

    member this.HandlePing(e : Event) =
        let ping = e :?> PingEvent
        printfn "Server handling ping"
        printfn "Server sending pong back to caller"
        this.SendEvent(ping.Caller, new PongEvent());

// both attribute spec fail
//[<Microsoft.Coyote.Actors.Actor.OnEventDoAction(typeof<PongEvent>, "HandlePong")>] // Error: The type 'OnEventDoActionAttribute' is not accessible from this code location
[<OnEventDoAction(typeof<PongEvent>, "HandlePong")>] // Error: The type 'OnEventDoAction' is not defined
type Client() =

    inherit Actor()

    let mutable serverId : ActorId = null

    override this.OnInitializeAsync(initialEvent : Event) : System.Threading.Tasks.Task =
        printfn "%A initializing" this.Id
        serverId <- (initialEvent :?> SetupEvent).ServerId
        printfn "%A sending ping event to server" this.Id
        this.SendEvent(serverId, new PingEvent(this.Id))
        base.OnInitializeAsync(initialEvent)

    member this.HandlePong() =
        printfn "%A received pong event" this.Id

[<Test>]
let Execute (runtime : IActorRuntime) =
    let serverId = runtime.CreateActor(typeof<Server>)
    runtime.CreateActor(typeof<Client>, new SetupEvent(serverId)) |> ignore
    runtime.CreateActor(typeof<Client>, new SetupEvent(serverId)) |> ignore
    runtime.CreateActor(typeof<Client>, new SetupEvent(serverId)) |> ignore

let runtime = RuntimeFactory.Create()
Execute(runtime) |> ignore
Console.ReadLine() |> ignore

不知道该怎么做才能解决这个问题。

直接试用代码的LINQPad文档URI：http://share.linqpad.net/a9rif7.linq

Answer 1

不幸的是，它们将属性已声明为嵌套在Actor中的protected sealed。虽然F#不能将任何内容声明为protected，但它可以遵循访问限制--通常人们强制执行访问限制是有原因的。

另一种方法是拥有一个顶级类，该类继承自Actor，并将客户端实现为嵌套类。但是F#也不支持嵌套类。

除了范围污染之外，我不认为它被宣布为protected有什么特别的原因。

现在，分叉和更改访问修饰符可能是最简单的选择。

Answer 2

是的，这是为了减少范围污染，并确保在Visual中使用这些类型的有效位置时才能获得这些类型的intellisense。构建一个F#示例的好主意.