5
En el proceso de convertir el OCaml Format module a F #, encuentro que necesito entender el proceso de inicialización en detalle. Para F # esto se explica en la sección 12.5 Program Execution de la especificación F #. Si bien la página OCaml documentation enumera varios documentos buenos, no puedo encontrar ningún documento que proporcione el mismo nivel de detalle que se encuentra en la especificación F #.Convirtiendo OCaml a F #: OCaml equivalente a la especificación F #, específicamente inicialización
¿Hay algún documento que proporcione el nivel de detalle correspondiente para la inicialización de OCaml?
En última instancia, un programa OCaml es una serie de implementaciones de módulos. La evaluación de los módulos se describe (muy brevemente) en [Sección 6.11.2 del manual OCaml] (http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual019.html#6.11.2). En esencia, cada forma de nivel superior se evalúa a su vez. Sospecho que necesitas más detalles que esto, pero no sé dónde mirar. Tal vez tienes una pregunta más específica? –
@JeffreyScofield Hay una pregunta más específica en algún lugar más adelante, pero en este momento ni siquiera puedo formularla. Cuando publico estos tipos de preguntas medio entendidas aquí, solo ponen una carga en aquellos que responden. Me parece mejor hacer la mayor cantidad de investigación posible antes de preguntar. –
Creo que su mejor apuesta es http://caml.inria.fr/pub/docs/manual-ocaml-4.00/language.html - el orden de evaluación es principalmente de arriba hacia abajo de izquierda a derecha, pero hay excepciones notables en el lenguaje central, donde no está especificado (por ejemplo, componentes de tupla o registro). El lenguaje del módulo tiene menos sorpresas. – t0yv0