Resultados de la búsqueda a petición "ocaml"
Redundancia en la declaración de tipo OCaml (ml / mli)
Estoy tratando de entender algo específico sobre los módulos ocaml y su compilación: ¿Estoy obligado a redeclarar tipos ya declarados en un.mli dentro de lo específico.ml implementaciones? Solo para dar un ejemplo: (* foo.mli *) type foobar = ...
¿Cómo fusionar los tipos de módulos OCaml (firmas) que definen el mismo tipo?
En OCaml, tengo dos tipos de módulos que definen un tipot: module type Asig = sig type t val a : t end module type Bsig = sig type t val b : t endQuiero automatizar la creación de un tipo de módulo fusionándolos. Quiero crear un tipo de módulo ...
Polimorfismo en OCaml: ad hoc, paramétrico, inclusión / subtipo
Tengo un problema para comprender los diferentes tipos de polimorfismo, específicamente en lo que respecta a OCaml. Entiendo que el polimorfismo permite múltiples tipos en OCaml denotados como 'a, pero no entiendo cuáles son los diferentes tipos ...
Desarrollo del complemento Frama-C: obtención del resultado del análisis de valor
Estoy trabajando en un complemento para Frama-C, utilizando el análisis de valor. Simplemente quiero imprimir el estado de las variables (valores) después de cada declaración (creo que la solución es bastante fácil, pero no ...
OCaml errores de recursión polimórficos
Dados los siguientes tipos: type _ task = | Success : 'a -> 'a task | Fail : 'a -> 'a task | Binding : (('a task -> unit) -> unit) -> 'a task | AndThen : ('a -> 'b task) * 'a task -> 'b task | OnError : ('a -> 'b task) * 'a task -> 'b task type ...
Tipos de unión abiertos y cerrados en Ocaml
Estoy investigando OCaml por primera vez, teniendo un poco de experiencia con F # y Haskell. Como tal, mucho tiene un aspecto familiar, pero una cosa que no lo es es el concepto de uniones "abiertas" y "cerradas" (con el backtick ...
¿Cómo inspecciona el tipo de (*) en el nivel superior de OCaml?
Quería ver el tipo de la función de multiplicación (*), así que lo aproveché en el nivel superior de OCaml. # (*) Sin embargo, el nivel superior hizo eco: (*);; 1: this is the start of a comment. y luego consumí cualquier entrada adicional que ...
ocaml lenguaje didáctico, cambiando de alcance estático a dinámico
Tengo un código ocaml en el que se define un lenguaje pequeño con alcance estático, necesito hacer cambios en ese idioma para que el alcance sea evaluado como dinámico, pero realmente no puedo entender cómo hacerlo. ¿Tengo que implementar algún ...
Implementación de una versión recursiva de la cola de la función de ordenación rápida en F # / OCaML
¿Es posible implementar una versión recursiva de cola del algoritmo de ordenación rápida (a través del patrón de continuación)? Y si es así, ¿cómo se implementaría? Versión normal (no optimizada): let rec quicksort list = match list with | [] ...
¿Cómo leo en líneas de un archivo de texto en OCaml?
Esto es lo que tengo hasta ahora. ¿No es esto todo lo que necesitas? Sigo recibiendo el error "Error: módulo independiente Std" let r file = let chan = open_in file in Std.input_list (chan)