使用 ocaml 的方法中的可选参数

Question

我在方法类中遇到了可选参数的问题。

让我解释一下。我有一个寻路类graph（在Wally 模块中）和一个他的方法shorthestPath。它使用可选参数。事实是，当我调用（使用或不使用可选参数）此方法 OCaml 返回类型冲突时：

Error: This expression has type Wally.graph
   but an expression was expected of type
     < getCoor : string -> int * int;
       getNearestNode : int * int -> string;
       shorthestPath : src:string -> string -> string list; .. >
   Types for method shorthestPath are incompatible

而shorthestPath 类型是：

method shorthestPath : ?src:string -> string -> string list

我同样尝试将选项格式用于可选参数：

method shorthestPath ?src dst =
  let source = match src with
    | None -> currentNode
    | Some node -> node
  in 
  ...

只有在我删除可选参数的情况下，OCaml 才会停止侮辱我。

提前感谢您的帮助:)

Answer 1

不清楚你的情况，但我猜如下：

let f o = o#m 1 + 2

let o = object method m ?l x = match l with Some y -> x + y | None -> x

let () = print_int (f o)   (* type error. Types for method x are incompatible. *)

使用站点（这里定义f），对象的类型是从它的上下文中推断出来的。在这里，o : < x : int -> int; .. >。方法x的类型固定在这里。

后面定义的对象o独立于f的参数，类型为< m : ?l:int -> int -> int; .. >。不幸的是，这种类型与其他类型不兼容。

一种解决方法是为使用站点提供更多关于可选参数的键入上下文：

let f o = o#m ?l:None 1 + 2  (* Explicitly telling there is l *)
let o = object method m ?l x = match l with Some y -> x + y | None -> x end

或者给出o的类型：

class c = object
    method m ?l x = ...
    ...
end

let f (o : #c) = o#m 1 + 2   (* Not (o : c) but (o : #c) to get the function more polymoprhic *)
let o = new c
let () = print_int (f o)

我认为这更容易，因为通常事先有一个类声明。

这种带有可选参数的高阶函数使用之间的故障也发生在对象之外。 OCaml 试图很好地解决它，但并不总是可行的。在这种情况下：

let f g = g 1 + 2
let g ?l x = match l with Some y -> x + y | None -> x
let () = print_int (f g)

打字很好。不错！

关键规则：如果 OCaml 无法推断省略的可选参数，请尝试显式地给出一些关于它们的类型上下文。