我在OCaml顶级接收到这种奇怪的语法错误。 # #use "ex_8_4.ml";;
type blob = {
get : unit -> float * float;
area : unit -> float;
set : float * float -> unit;
move : float * float -> unit;
}
val new
我试图了解下面这个tutorial的延续。 然而,我有困难,了解在节2.10以下示例: # let get() =
shift (fun k -> fun state -> k state state) ;;
get : unit => ’a = <fun>
state是int我想类型。我没有得到的是k的类型。按照我的理解,k捕获所有计算get()后说到后来,因为我们正在谈论的状态