Основная функция в OCaml

Это мой основной метод для OCaml от программиста, обученного в мире C.

let main () = 
    Printf.printf "Hello, world - %d %s\n" (Array.length Sys.argv)  Sys.argv.(0)
    ;;

main ()

Однако этот код отлично работает с ocaml / ocamlc / ocmalopt.

Printf.printf "Hello, world - %d %s\n" (Array.length Sys.argv)  Sys.argv.(0)
;;

Какая за этим логика? Является ли OCaml чем-то вроде языка сценариев (даже если он компилируется в двоичный файл с помощью ocamlc или ocamlopt) в том смысле, что ему не нужна основная функция?

По сравнению со Scala, мы можем расширять приложение, чтобы не определять основной метод.

object Hello extends App {
    class A

    println(new A() getClass())
    print("Hello, world")
}

Даже в этом случае нам нужно иметь Hello.main(args) при выполнении в режиме интерпретатора: то есть scala hello.scala. OCaml, похоже, не нуждается в каких-либо изменениях в ocaml (интерпретируемый), ocamlc и ocamlopt (скомпилированный).

Итак, нужна ли нам основная функция в OCaml? Если да, то генерирует ли OCaml код от начала до конца? Если да, то как OCaml находит основной код с несколькими исходными кодами?