Preguntas con respuestas sobre "ocaml"

Hoy aprendimos sobre "atar el nudo" en SML donde tienes algo como esto...

Tengo un problema similar a este: ...

Aquí hay una interfaz de ejemplo test.mli, comentada con comentarios de estilo ocamldoc: ...

Estoy usando camlp4.macro para habilitar la compilación condicional. Estoy teniendo ...

...

...

¿Existe una forma estándar en Ocaml para convertir (por ejemplo) a\n (una cadena de tres bytes: 0x61,0x5c,0x6e) a una cadena de dos bytes: 0x61,0x0a? ...

Estoy haciendo extracción convertir nat a big_int...

Tengo un pequeño problema aquí que no entiendo al 100%: ...

Necesito un mapa OCaml con claves de tipo int, así que estoy usando Map.Make para crear uno. Sin embargo, parece que los módulos estándar 'solo' proporcionan módulos como Big_int, Int32, Int64 y Nativeint que requieren conversiones. Entonces tengo que hacer cosas como: ...

Quiero tener un gran functor Hello (Blah: Blah_type) y guardarlo en el archivo hello.ml, pero ¿cómo hago esto? ...

En la misma línea de uso: ...

Tengo archivo: ...

He hecho algo de programación en Java y muy poca programación en C y PHP también. Recientemente comencé a aprender Python porque el lenguaje parecía interesante. ...

Quiero escribir una función que tome una cadena y devuelva una lista de caracteres. Aquí hay una función, pero creo que no hace lo que quiero (quiero tomar una cadena y devolver una lista de caracteres). ...

...

Muchos lenguajes tipificados estáticamente tienen polimorfismo paramétrico. Por ejemplo, en C# se puede definir: ...

Estoy buscando una forma de memorizar los resultados de una función OCaml f que toma dos parámetros (o más, en general). Además (y esta es la parte difícil), quiero que el mapa subyacente a este proceso olvide por completo un resultado si alguno de los valores de los dos parámetros es basura...

Por favor ver detalles en Mi pregunta anterior...

Tengo 3 archivos: ...

Estoy tratando de implementar una función de temporizador genérica en OCaml que tomará como entrada una función de aridad arbitraria y devolverá el tipo 'r y devolverá una función con: ...

Necesito crear una función que reciba una cadena y verifique si el último carácter es "\n" o no. Si es así, devuelve la misma cadena sin su último carácter. ...

Tengo una función que devuelve [[]] y quiero probar el resultado como prueba unitaria. ...

Me gustaría mejorar el código lambda generado para la construcción "afirmar" OCaml 3.12.1. Aquí hay un ejemplo: ...

Esta puede ser una pregunta muy nueva, pero no encontré la respuesta. ...

Quiero crear una función que devuelva una cuadrícula 3D de posiciones 3D separadas por intervalos en cada eje...

Soy bastante nuevo con el módulo OCaml y no he logrado usar mi propio módulo sin combinar "incluir" y "abrir". ...

...

Me gustaría hacer algo como esto ...

Tengo varios módulos de "biblioteca" en OCaml (principalmente funciones auxiliares y de utilidad) donde he agregado el siguiente tipo de código al final para pruebas unitarias triviales: ...