ocaml - OCaml：不太了解'一个选项

Question

class window = 
  object
    val mutable top_widget = (None : widget option)
    method top_widget = top_widget
  end
and widget (w : window) = 
  object
    val window = w
    method window = window
  end;;

有两点我不明白：

1. （无：小部件选项）这是什么意思？另外，一般来说，我们如何使用 'a 选项？

2. (w : window) 这意味着 w 是类窗口部件的参数，它是窗口类型的？

谢谢！！！

Answer 1

类型的值'a option有两种形式：

None
Some x

x类型的值在哪里'a。

例如，这里有两个 type 值int option：

None
Some 421

这可能很明显，但其想法是该类型表示可能存在或不存在的值。该值None表示不存在的值。

是的，该符号(w: window)表示该类widget有一个窗口参数。当您创建一个小部件时，它看起来像这样：

let mywidget = new widget mywindow in
. . .