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 (вы заметили, что я забыл ноль?).

Answer 3

Существует несколько языков программирования, которые принимают символ подчеркивания как не значащий символ в целом числе. Ada, Perl, OCaml и, возможно, какой-то другой язык используют его для разделения тысяч, миллионов и миллиардов ... но вы можете использовать _ в любом месте целого.