Haskell 在 F# 中的“衍生秀”？

Question

在 Haskell 中，只需将 deriving Show 添加到类型定义中，就可以轻松地将代数类型/可区分联合“显示”为字符串。

在 F# 中，我最终会写出如下内容：

type Pos = 
    | Pos of int * int
    override this.ToString() = 
        match this with
        Pos(startp, endp) -> sprintf "Pos(%d, %d)" startp endp

显然，更复杂的类型会变得更糟。

在 F# 中获得类似 deriving Show 的任何方法？

Answer 1

如果您使用%A 格式说明符（如果您指定%O，它们使用ToString），则诸如printf 之类的F# 打印函数能够合理地格式化任何数据类型。您可以使用返回格式化字符串的sprintf 来实现ToString：

type Pos =  
    | Pos of int * int 
    override x.ToString() = sprintf "%A" x 

这会打印例如“Pos (1, 2)”，它适用于大多数 F# 类型（列表、联合、记录、元组）。它比仅仅添加deriving Show 有点长，但至少你不必自己实现打印。