Resultados de la búsqueda a petición "ocaml"
O-patrones en Haskell
En OCaml, estaba acostumbrado a escribir código que se parecía a: let combine o1 o2 = match o1, o2 with | Valid, Invalid | Invalid, Valid -> Invalid | _ -> ...No encontré una manera de escribiro-patrones en Haskell y realmente lo extraño. ...
"Error: módulo independiente" en OCaml
Aquí hay un ejemplo simple de uso de la biblioteca Cohttp: open Lwt open Cohttp open Cohttp_lwt_unix let body = Client.get (Uri.of_string "http://www.reddit.com/") >>= fun (resp, body) -> let code = resp |> Response.status |> Code.code_of_status ...
¿Hay algún traductor gratuito de OCaml a C? [cerrado]
Así que tengo un buen código OCaml (50000 líneas). Quiero portarlo a C. Entonces, ¿hay algún traductor gratuito de OCaml a C?
Palabra clave "as" en OCaml
En las respuestas para los tutoriales para OCaml disponibles eneste sitio [http://ocaml.org/learn/tutorials/99problems.html], algunas de las soluciones, incluida la para eliminar duplicados consecutivos de elementos de la lista, se escriben de la ...
¿OCaml convertirá la función de múltiples argumentos a curry o al revés?
Cuando estaba aprendiendo lo esencial de OCaml, me dijeron que cada función en OCaml es en realidad una función con un solo parámetro. Una función de múltiples argumentos es en realidad una función que toma un argumento y devuelve una función que ...
¿Cuál es el significado de la Advertencia 40: este registro ... contiene campos que no son visibles en el alcance actual
Por favor considere el siguiente código: module A = struct type r = { i : int; s: string } end module B = struct type r = { i : int; s : string } end let f (x : A.r) : B.r = match x with { i; s } -> { i = 2*i; s = "" }Dos módulos definen ...
OCaml |> operador
¿Alguien podría explicar lo que hace el operador |>? Este código fue tomado de la referenciaaquí [http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html]: let m = PairsMap.(empty |> add (0,1) "hello" |> add (1,0) "world")Puedo ver lo que ...
Crear expresión GADT en OCaml
Ahí está mi expresión GADT de juguete: type _ expr = | Num : int -> int expr | Add : int expr * int expr -> int expr | Sub : int expr * int expr -> int expr | Mul : int expr * int expr -> int expr | Div : int expr * int expr -> int expr | Lt : ...
Amplitud Funcional Primera Búsqueda
La primera búsqueda de profundidad funcional es encantadora en gráficos acíclicos dirigidos. Sin embargo, en gráficos con ciclos, ¿cómo evitamos la recursión infinita? En un lenguaje de procedimiento, marcaría los nodos cuando los golpeara, pero ...
Diferencia de rendimiento entre coincidencia de patrones y if-else
¿Por qué OCaml puede generar un código de máquina eficiente para la coincidencia de patrones y no para las pruebas if-else? Estaba leyendo Real World OCaml y me encontré ...