模式匹配中的 F# 惯用转换？

Question

假设以下代码:

override x.OnReceive message =
    match message with
    | :? SomeActorMessages as m ->  
        match m with
        | Greet(name) -> Console.WriteLine("Hello {0}",name)
        | Hi -> Console.WriteLine("Hello from F#!")
    | _ -> failwith "unknown message"

其中“消息”是 System.Object 类型为了使模式匹配更好，我能做些什么吗？例如一些通用的事件模式或一些类似的？

也许这个问题太短了，但我只是想看看有没有办法让上面的语法更好

Answer 1

您需要一个单独的函数来进行类型转换。

let someActorMessages message =
    match box message with
    | :? SomeActorMessages as m -> m
    | _ -> failwith "unknown message"

override x.OnReceive message =
    match someActorMessages message with ...

该函数也可以写成单个案例事件模式。

let (|SomeActorMessages|) message =
    ...

override x.OnReceive (SomeActorMessages message) =
    match message with ...