在 F# 列表中键入扩展名

假设我有一个类型：

let MyType =
    some info
    ...

但是，它通常用于列表：MyType list

所以我可以定义：

let MyTypeList =
    MyType list

有没有办法在 MyTypeList 上定义类型增强？

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

 let a : MyTypeList = ...

 if a.IsAllOk() then ...

但我找不到如何用列表来做这个。

有在 F# 中定义类型扩展的两种不同方法 https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/type-extensions。一种选择是通过 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()