Question

我想看到乘法函数（*）的类型，所以我将它点击到OCaml顶层。

# (*)

然而，toplevel回应：

(*);; 1: this is the start of a comment.

然后消耗了我输入的任何其他输入。我想我必须通过按Ctrl+d发送EOF来退出评论模式。大。但当然，我应该能够查询任何函数的类型，包括我们神秘的乘法函数(*)？！

如果这是对极限的限制，我会非常失望。

Answer 1

它确实将*)识别为评论的结尾，但它仍在等待表达式的结束。即如果你输入两个分号，它会给你一个语法错误，并允许你输入另一个表达式。

要使函数*输入带有空格的( * );;，以区别于注释符号。