表示数学区间的类型[关闭]

Question

我经常看到带有签名的函数，例如：

let f (lower: int) (upper: int) =
    //...

其中lower 和upper 表示函数将要运行的某个范围的上限和下限。此类型签名缺少有关上限和下限是包含还是排除的信息。在美好的一天，这些信息将在文档中......

在我看来，使用类型来表示mathematical interval 会更好，这样 API 可以指定确切的间隔类型，如果调用者未能提供它，则会出现编译错误。我试过寻找这样的实现，但没有想出任何东西，因此这个问题是为了看看是否有人知道合适的实现。我想要一个可以从 .NET 语言中使用的实现，但我可以从中借鉴想法的其他实现也很有用。

理想情况下，设计应该允许如下所示的函数签名。 { } 包含标准间隔符号中的间隔规范 - 这应该替换为相关类型：

let f1 (interval: { [,] }) = // inclusive lower and upper bounds
    //..

let f2 (interval: { (,) }) = // exclusive lower and upper bounds
    //..

let f3 (interval: { [,) }) = // inclusive lower and exclusive upper bounds
    //..

let f4 (interval: { [∞,) }) = // infinite lower and exclusive upper bounds
    //..

let f5 (interval: { not empty }) = // a non-empty interval
    //..

let f6 (interval: { any interval }) = // accepts any kind of interval
    //..

如果我们认为区间类型在数据类型上应该是泛型的，这个问题就更难了，但是对于初学者，让我们将其限制为适用于单一数据类型的非泛型变体（例如整数或双精度数或日期） .

澄清：我只是想问是否有人知道提供这种实现的库。

Answer 1

我还没有看到任何 F# 库做这样的事情。我认为这是一个相当复杂的问题，没有明确的答案 - 这在很大程度上取决于您需要对间隔进行什么样的操作（例如，您是否有一些适用于任何间隔的函数？）

如果您只是想为不同类型的间隔使用不同的 F# 类型，您可以使用以下方式定义许多简单的数据类型：

module Interval = 
  type InclIncl = InclIncl of int * int
  type InclExcl = InclExcl of int * int
  type InfExcl = InfExcl of int

那么您的每个函数都会采用相应的类型：

let f1 (Interval.InclIncl(a, b)) = 0
let f2 (Interval.InclExcl(a, b)) = 0
let f3 (Interval.InfExcl(a)) = 0

但是，这意味着您不能编写需要任何间隔的函数。因此，在许多情况下，使用一个表示“区间”的单一类型实际上可能更有意义，它可以代表所有情况：

type Boundary = 
  | Inclusive of int
  | Exclusive of int
  | Unbounded

type Interval = Boundary * Boundary