ocaml

    8El calor

    2Respuesta

    He estado probando ocsigen que usa Lwt. Supongo que Lwt significa "hilo de peso ligero", ¿verdad? Si es así, ¿cómo podemos llamarlo "peso ligero"? Parece que Lwt está utilizando el hilo del sistema op

    5El calor

    2Respuesta

    ¿Por qué el tipo de más (+) se considera int -> int -> int en comparación con (int * int) -> int? Para mí, el segundo tiene sentido porque "acepta" un 2-tuple (los sumandos) y devuelve un solo int (su

    19El calor

    2Respuesta

    He estado tratando de encontrar la convención de llamadas OCaml para poder interpretar manualmente los rastreos de pila que gdb no puede analizar. Desafortunadamente, parece que nunca se ha escrito na

    9El calor

    2Respuesta

    estoy leyendo Huet Zipper, no puedo entender el método go_up: let go_up (Loc(t,p)) = match p with Top -> failwith "up of top" | Node(left,up,right) -> Loc(Section((rev left) @ (t::right)),up);; La

    7El calor

    1Respuesta

    Actualmente estoy usando tuareg-mode, pero me gustaría poder utilizar la funcionalidad de caml-mode también. En particular, quiero poder usar anotaciones tipo de forma interactiva, y aparentemente est

    8El calor

    4Respuesta

    He integrado esta característica en mi lenguaje favorito OCaml, sé que esta es la característica sexy en D, pero ¿cuál es el caso de uso para la evaluación en tiempo de compilación excepto algunas opt

    10El calor

    3Respuesta

    Soy nuevo en OCaml, estoy tratando de entender cómo se supone que debe obtener el valor de una opción 'a'. De acuerdo con el documento en http://ocaml-lib.sourceforge.net/doc/Option.html, hay una func

    5El calor

    1Respuesta

    Encontré algo que realmente no entiendo al trabajar en un proyecto ocaml. Supongamos que estoy utilizando los módulos Array y List de la biblioteca estándar OCaml. Ambos implementan la función length

    19El calor

    2Respuesta

    He estado probando OCaml. A veces es más rápido simplemente probar algún código usando el shell del intérprete, pero no aparece el último comando cuando presiono la tecla 'arriba'. Es un dolor cuando

    9El calor

    1Respuesta

    Intentando comprender el mecanismo de Ocaml para parámetros con nombre. Entiendo lo básico, pero el doc muestra un ejemplo como este: # let f ~x ~y = x - y;; val f : x:int -> y:int -> int = <fun> #