我想查看乘法函数(*)的类型,因此将其输入到OCaml顶层。

# (*)


但是,顶层回应:

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


然后消耗掉我输入的所有其他输入。我发现必须通过按Ctrl+d发送EOF来退出注释模式。大。但是可以肯定的是,我应该能够查询任何函数的类型,包括我们神秘的乘法函数(*) ?!

如果那是顶级的限制,我将非常失望。

最佳答案

它确实将*)识别为注释的结尾,但是它仍在等待表达式的结尾。即如果输入两个分号,则会给您语法错误,并允许您输入另一个表达式。

要获取功能*,请输入( * );;并用空格将其与注释符号区分开。

07-28 01:40
查看更多