时间戳

首页 > 解决方案 > F# 列表中的类型扩展名

types - F# 列表中的类型扩展名

问题描述

假设我有一个类型：

let MyType =
    some info
    ...

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

所以我可以定义：

let MyTypeList =
    MyType list

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

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

 let a : MyTypeList = ...

 if a.IsAllOk() then ...

但我找不到如何用列表制作这个。

标签： typesf#extension-methods

解决方案

在 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()

推荐阅读