Resultados de la búsqueda a petición "ocaml"
¿Cómo establecer el directorio predeterminado de compilación en Emacs?
Estoy codificando OCaml bajo Emacs, tengo unamakefile en la carpeta de trabajo y varias subcarpetas que contienen.ml archivos. Si lanzoM-x compile ymake funciona bien en un búfer demakefile, pero no funciona en un búfer de una.ml archivo, me da ...
Suposiciones inconsistentes sobre la interfaz (Ocaml)
De repente comencé a recibir este error. No sé cómo diagnosticarlo o arreglarlo. ¿Se supone que debo atravesarbar.ml y verifique cada función Big_int contra la firma enBig_int.mli? File "foo.ml", line 1, characters 0-1: Error: The files ...
Herramientas para perfilar el código OCaml
¿Alguien conoce los programas para perfilar el código OCaml además de usar la opción -p durante la compilación y luego usar gprof? Estoy haciendo esta pregunta para verificar si el tiempo de muestreo de 0.01 segundo puede reducirse aún más.
unción recursiva de cola para encontrar la profundidad de un árbol en Ocaml
Tengo un tipotree definido de la siguiente manera type 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree ;; Tengo una función para encontrar la profundidad del árbol de la siguiente manera let rec depth = function | Leaf x -> 0 | ...
¿Qué tutorial de inglés recomendarías para aprender OCaml? [cerrado
Quiero anunciar OCaml a principiantes, y estoy buscando buenos tutoriales en inglés; no es que solo hayas oído hablar, sino que realmente lo hayas intentado y encontrado útil ...
¿Variantes o variantes polimórficas?
Me di cuenta de que, entre los programadores de OCaml que conozco, algunos de ellossiempr use variantes polimórficas (variantes que no están declaradas, prefijadas con una comilla inversa), mientras que otrasNunc use variantes polimórficas y ...
Utilizando un constructor de tipo variante con solo un valor de tupla
# type foo = Foo of int * int # let t = (1, 2) # Foo t Error: The constructor Foo expects 2 argument(s), but is applied here to 1 argument(s) ¿Cómo es que debo hacerFoo (1, 2) para evitar ese error, inclusot tiene el tipo apropiado?
OCaml functors :: comportamiento contraintuitivo
Estoy experimentando con el lenguaje de módulos de OCaml (3.12.1), definiendo functores y firmas para módulos, etc., principalmente siguiendo los ejemplos de Capítulo 2 del manual de ...