迷彩图案匹配用户定义类型

Question

我正在尝试根据调用函数baz的结果编写一个可以返回int或字符串的函数。

type 'a foo = OK of 'a | Error of string

let bar (e) : int foo =
    match baz e with
    | OK (_) -> 1
    | Error s -> s

但是，我在编译时收到此错误消息：

Error: This expression has type int but an expression was expected of type
         int foo
Command exited with code 2.

我到底在做什么错？

编辑：这是我正在处理的代码的实际片段：

type 'a error = | OK of 'a | Error of string

type typing_judgement = subst*expr*texpr


let rec infer' (e:expr) (n:int): (int*typing_judgement) error =
    match e with
    | _ -> failwith "infer': undefined"


let infer_type (AProg e) =
    match infer' e 0 with
    | OK (_, tj) -> string_of_typing_judgement tj
    | Error s -> "Error! "^ s

这里的最终目标是一个类型推理引擎，因此我可以告诉infer_type一个表达式，该表达式将传递给infer'（我必须实现）。 我以前从未与Ocaml一起工作过，而在尝试实现这些功能之前，我只是想让它进行编译。

Answer 1

从您的初始代码来看，该函数看起来像是：

let bar e =

（通常，让OCaml推断e的类型）也就是说，当您将结果返回Ok或Error时，这就是您要寻找的变体（如glennsl所说）。 此时，您可以报告错误或返回一些结果。 例如：

let bar e =
    match baz e with
    | Ok _ -> ()
    | Error s ->
        let () = prerr_endline ("Error: " ^ s) in
        exit 1

在我的示例中，Ok案例返回void，因为您的代码似乎并不关心Ok的内容，但是您可以简单地将其返回：

| Ok result -> result

同样，OCaml将推断所有类型，因此无需像在C / C ++中那样显式。

至于实际的代码：failwith将引发异常。 除了“ infer”功能清除外，“ infer_type”可能类似于以下内容：

let infer_type expr =
    try string_of_typing_judgment @@ infer expr
    with Failure msg -> 
        let () = prerr_endline ("Infer failed with: " ^ msg) in
        exit 1

@@只是一个方便的运算符，可以避免使用括号。 它的含义与：

string_of_typing_judgment (infer expr)

但是，在这里，使用failwith时，总体范例是异常处理。 如果您期望发生异常，请使用“ try / with”语法。

最后，我建议在开始项目之前，先在OCaml上运行一些快速入门教程。 一旦有了一些可行的示例，其中的许多内容将很快被清除。