Instalando un paquete OPAM con un límite restrictivo.
En este momento, el ocaml-lsp-server está restringido a ocaml>=4.13 &
Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.
En este momento, el ocaml-lsp-server está restringido a ocaml>=4.13 &
He leído la documentación de LLVM aquí, pero todavía estoy confundido. Así que creo que cuando se llama a llvm.global_context() en la parte superior de un montón de declaraciones let…in, esto crea el “contenedor de nivel superior para todos los datos globales de LLVM”. (Aunque no entiendo completamente lo que . . . Read more
No entiendo el mensaje de error que estoy recibiendo ni qué está mal con lo que estoy intentando hacer. Solo quiero usar List.fold_left para aplicar mi función add1 a esta lista [1,2,3]. Mi función add1 debería simplemente sumar 1 a cada elemento, así que obtendría [2, 3, 4]. Mi objetivo . . . Read more
Desafortunadamente, OCaml no acepta variables de tipo que abarquen constructores de tipos: ‘a option, ‘a list son válidos, pero ‘a ‘m no lo es. Gracias a los funtores (ver so/Fix data type in OCaml) podemos codificar un punto fijo y rango sobre un constructor de tipos. También podemos evitar el . . . Read more
Actualmente estoy aprendiendo sobre OCaml, y especialmente sobre funtores. He revisado el archivo map.mli de la biblioteca estándar, y alrededor de la línea 70, hay lo siguiente: type key (** El tipo de las claves del mapa. *) type !+’a t (** El tipo de los mapas desde el tipo . . . Read more