Im Prozess der Umwandlung der OCaml Format module nach F # Ich finde, dass ich den Initialisierungsprozess im Detail verstehen muss. Für F # wird dies in Abschnitt 12.5 Program Execution der F # -Spezifikation erläutert. Während die Seite OCaml documentation mehrere gute Dokumente auflistet, kann ich kein Dokument finden, das den gleichen Detaillierungsgrad wie in der F # -Spezifikation bietet.Converting OCaml zu F #: OCaml Äquivalent von F # Spezifikation, speziell Initialisierung
Gibt es Dokumente, die die entsprechende Detailstufe für die OCaml-Initialisierung angeben?
Letztlich ist ein OCaml-Programm eine Reihe von Modulimplementierungen. Die Bewertung der Module wird (in sehr kurzer Zeit) in [Abschnitt 6.11.2 des OCaml-Handbuchs] (http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual019.html#6.11.2) beschrieben. Im Wesentlichen wird jede Top-Level-Form der Reihe nach ausgewertet. Ich vermute, du brauchst mehr Details als das, aber ich weiß nicht, wo ich hinschauen soll. Vielleicht haben Sie eine spezifischere Frage? –
@ JeffreyScofield Es gibt eine spezifischere Frage, wo auf der ganzen Linie, aber im Moment kann ich es nicht einmal formulieren. Wenn ich diese Fragen halb verstanden habe, belasten sie die Antworten nur. Ich finde es besser für mich, so viel wie möglich zu recherchieren, bevor ich frage. –
Ich denke, Ihre beste Wette ist http://caml.inria.fr/pub/docs/manual-ocaml-4.00/language.html - Bewertungsreihenfolge ist meist von oben nach unten von links nach rechts, aber es gibt bemerkenswerte Ausnahmen in die Kernsprache, wo es nicht spezifiziert ist (zum Beispiel Tupel oder Record-Komponenten). Die Modulsprache hat weniger Überraschungen. – t0yv0