如何在 Ocaml 的 float 类型中表示空值

Question

我知道这可能看起来非常基本，但基本上，我想说在模式匹配中

match value with
  Null-> failwith "Empty"
 |value-> #do something

我已经尝试过 null 或 none 的任何变体，并且还尝试了无法使用的单位，因为值是浮点数。

我很困惑，任何帮助将不胜感激

Answer 1

你不能。这是一个设计选择。许多语言允许任何值为空。这种方法的问题在于，当程序员不期望时，值会为空，或者代码必须检查每个输入值是否为空。

OCaml 采用的方法是，如果一个值可能为 null，则必须将其显式标记为 null。这是通过选项类型完成的：

match value with
  | None -> failwith "Empty"
  | Some value -> (* do something *)

但是，如果将其直接替换到程序中，则将无法编译，因为 OCaml 会发现该“值”实际上不能为空。无论创建什么，都需要更新以指示它何时返回“空”值（无）：

let safe_divide numerator denominator =
  if denominator <> 0. then
    Some (numerator /. denominator)
  else
    None (* division by zero *)

Answer 2

正如delnan所说，OCaml中没有null。如果适合您的问题，您可以做的是在模式匹配中使用选项，如下所示：

let your_function x = 
   match x with
    | None -> failwith "Empty"
    | Some f -> #do something