F#Interactive中的数据格式化技巧：使用AddPrinter和AddPrintTransformer自定义输出

在 F# 编程中，有时我们需要改变某些类型在 FSI 中的默认输出格式，特别是对于集合类型。本文将介绍几种方法来实现这一目标，并提供具体的代码示例。

### 使用 AddPrintTransformer 和 AddPrinter

一个简单的方法是使用 `fsi.AddPrintTransformer` 来生成对象的替代显示形式，或者使用更小的 `fsi.AddPrinter` 函数直接生成字符串表示。例如：

```fsharp
type C(elems: int list) =
member x.COntents= elems
member x.IsBig = elems.Length > 100

let c = C [1; 2; 3]
fsi.AddPrintTransformer (fun (c:C) -> box c.Contents)
```

这会使得 `c` 的输出为 `[1; 2; 3]`。

`AddPrintTransformer` 的优点是可以根据条件返回 `null` 来忽略格式化器，例如：

```fsharp
fsi.AddPrintTransformer (fun (c:C) -> if c.IsBig then null else box c.Contents)
```

此外，你还可以对任意对象进行特定格式化：

```fsharp
fsi.AddPrintTransformer (fun (obj: obj) -> match obj with :? C as c -> box c.Contents | _ -> null)
```

### 使用 StructuredFormatDisplayAttribute

如果你希望更改 `sprintf`、`printf` 等函数中的 `%A` 行为，可以使用 `StructuredFormatDisplayAttribute` 属性。例如：

```fsharp
[]
type C(elems: int list) =
member x.COntents= elems

let c = C [1; 2; 3]
```

这会使得 `c` 的输出为 `CCC [1; 2; 3]`。

### 针对不同类型的最佳实践

- **普通集合类**：使用列表或序列作为替代对象。
- **矩阵或表格类型**：使用二维数组作为替代对象。
- **联合类型**：考虑使用辅助联合类型来解开抽象边界。
- **递归树型数据**：描述子树为列表。

例如，对于递归树型数据：

```fsharp
[]
type Tree(node: int, elems: Tree list) =
member x.COntents= (node, elems)

let c = Tree(1, [Tree(2, []); Tree(3, [Tree(4, [])])])
let c2 = Tree(1, [c; c])
let c3 = Tree(1, [c2; c2])
```

### 其他建议

为了提高调试体验，还应考虑实现 `ToString` 方法，并为 VS 调试器添加 `DebuggerDisplay` 属性。

参考资料：
- [DSyme 博客](http://blogs.msdn.com/b/dsyme/archive/2010/01/08/some-tips-and-tricks-for-formatting-data-in-f-interactive-and-a-in-sprintf-printf-fprintf.aspx)
- [CNBlog 文章](https://www.cnblogs.com/tryfsharp/archive/2011/12/31/2308486.html)