一个OCaml奇怪的事情

Question

任何人都可以解释这个OCaml顶级行为吗？

# 1________________________________1;;
- : int = 11

(大行是一系列下划线:'_')

出于好奇,这个程序也在ocamlc下编译.

Answer 1

在OCaml中允许下划线(并忽略)下划线.来自http://www.cs.ru.nl/~tews/htmlman-3.10/lex.html#xhtoc5:

为了方便和可读性,在整数文字中接受(并忽略)下划线字符(_).

Answer 2

这是一个非常有用的功能,可以避免错误并简化大整数的读取:

1_000_000_000比100000000你更容易阅读(你注意到我忘了零吗？).