F#:Span、升级和底部类型（或缺少）

F# 是一种强类型的函数式编程语言，它提供了一些新的语言功能，以支持非托管代码的高效和安全访问。这些新功能包括 Span<T> 类型的支持，用于高效地操作内存缓冲区。

Span<T> 是一个不可变的类型，它代表一段连续内存缓冲区的引用。它可以在代码不使用 Slice APIs 的情况下对内存进行操作。Span<T> 还支持一些有用的操作：转换、读取和写入。

然而，当在 F# 中使用 Span<T> 时，有些问题需要注意。例如，在 F# 中使用 raise 和底部类型操作可能会导致运行时错误。因此，需要遵循一些额外的步骤，以消除这些问题。

以下是在 F# 中安全使用 Span<T> 的示例代码：

open System

let bytes = System.Text.Encoding.UTF8.GetBytes("hello world")
let span = bytes |> Span<byte>.op_Implicit

let slice =
    try
        span.Slice(6, 5)
    with
        | :? ArgumentException -> span.Slice(0, 5)

let str = System.Text.Encoding.UTF8.GetString(slice)
printfn "Substring: %s" str

该代码使用 UTF8 编码的 "hello world" 字符串创建一个 byte 数组。然后，这个 byte 数组被转换成了 Span<byte>，通过使用 op_Implicit 静态方法。

在 try/catch 块中，这个 Span<byte> 被切片，如果切片导致异常，则使用原始 Span<byte> 进行子字符串操作。

最后，使用 UTF8 解码从 Span<byte> 中提取的子字符串。

这个样例演示了 F# 中安全地使用 Span<T> 的方法。重要的是，需要根据 F# 的特