F# 列表中的类型扩展名答案

【问题标题】：type extension on a list in F#F# 列表中的类型扩展名
【发布时间】：2020-07-02 19:26:02
【问题描述】：

假设我有一个类型：

let MyType =
    some info
    ...

但是，它通常用在一个列表中：MyType list

所以我可以定义：

let MyTypeList =
    MyType list

有没有办法在 MyTypeList 上定义类型扩充？

我的实际案例是类型返回一些工作的结果，它是分批处理的，我有一些代码告诉我整个批次是否正常，部分是否正常，或者是否一切都出错了。如果我可以为列表类型添加扩展名，语法会更简单。

 let a : MyTypeList = ...

 if a.IsAllOk() then ...

但我找不到如何使用列表来制作它。

【问题讨论】：

标签： types f# extension-methods

【解决方案1】：

有two different ways of definining type extensions in F#。一种选择是通过 F# 类型扩充，另一种是（与 C# 兼容的）扩展方法。

扩展方法方法允许您为特定类型实例化定义扩展，包括例如list<MyType>：

type MyType = { N : int }
type MyTypeList = int list

[<System.Runtime.CompilerServices.Extension()>]
type MyTypeListExtensions() = 
  [<System.Runtime.CompilerServices.Extension()>]
  static member AllOk(l:MyTypeList) = false

let foo (a:MyTypeList) = 
  a.AllOk()

【讨论】：