ocaml

¿Cómo se determina si un patrón dado es "bueno", específicamente si es exhaustivo y no superpuesto, para lenguajes de progra ... gundo se superpone. ¿Cómo tomaría el comprobador de tipos ese tipo de decisiones en general, para tipos de datos arbitrarios?

En un lenguaje de programación que es puramente funcional (como Haskell) o donde solo lo está utilizando de una manera funcio ... n problema para una lista de tamaño desconocido) ¿Cuál es el enfoque general para hacer este tipo de cosas funcionalmente?

Noté que, entre los programadores de OCaml que conozco, algunos de ellos siempreusan variantes polimórficas (variantes que n ... lmente de manera menos eficiente que las variantes simples), ¿cómo eligen entre ellas los desarrolladores expertos de OCaml ?

Cuando se trabaja en los niveles superiores ocaml o ghci a menudo construyo un "contexto" significativo por falta de una pala ... podría recargarse o modificarse trivialmente en código que podría compilar en un ejecutable (por ejemplo, agregando un Main)?

A veces veo código como let (alt : recognizer -> recognizer -> recognizer) = fun a b p -> union (a p) (b p) O como: let hd = function Cons(x,xf) -> x | Nil -> raise Empty ¿Cuál es la diferencia entre fun y function?

Estoy tratando de entender una cosa específica sobre los módulos ocaml y su compilación: ¿Estoy obligado a volver a declar ... o. ¿Hay alguna manera de evitar esta redundancia o me veo obligado a volver a declarar tipos cada vez? Gracias de antemano

Posible Duplicado:¿Por qué las funciones en Ocaml/F# no son recursivas por defecto? OCaml usa let para definir una n ... en 1 else n * fact (n-1) ¿Por qué la OCaml distingue entre let y let rec? Es un problema de rendimiento, o algo más sutil?

Supongamos por el momento que C++ no es un lenguaje de programación funcional. Si quieres escribir un compilador usando LLVM ... o de saber cuáles son todas las compensaciones. Entonces, StackOverflow al rescate. ¿Cuáles son las ventajas y desventajas?

Estoy implementando un sistema tipo para un nuevo lenguaje de programación funcional y actualmente estoy escribiendo la funci ... to en absoluto, entonces ni siquiera me molestaré en implementar la comprobación de ocurre para tipos en mi sistema de tipos.

Mi programa (Hartree-Fock/iterative SCF) tiene dos matrices F y F' que son realmente la misma matriz expresada en dos bases d ... nían la misma matriz que sus segundos parámetros. Hace eso sentido? Editar: definición en Wikipedia, ejemplos trabajados

En Haskell, se considera una buena práctica declarar explícitamente la firma de tipo de sus funciones, aunque (generalmente) ... osible hacer en OCaml? Si es así, ¿por qué? El sistema de tipos de OCaml no parece tan increíblemente diferente de Haskell.

¿Conoce un IDE OCAML / CAML? Especialmente uno que se ejecuta en Linux?

Pueden las siguientes funciones polimórficas let id x = x;; let compose f g x = f (g x);; let rec fix f = f (fix f);; (* ... -- n is 2 -- up to isomorphism composition of identity and f is f: iso :: Compose Id f x -> f x iso (Compose (Id a)) = a

Después de aprender la sintaxis básica, leer un código no trivial es una forma rápida de aprender un idioma. También podemos ... erto de propósito general es bueno, el código abierto especializado como los tres que enumero aquí son aún más bienvenidos.

Python tiene IPython .. ¿OCaml tiene algo similar? Me gustaría mucho tener historial de comandos, aunque otras características también serían buenas. He leído que podría obtener el historial de comandos ejecutándolo en Emacs, pero no uso Emacs..

¿Hay algún IDE OCaml de confianza que no sea Camelia ? Preferiría un IDE basado en eclipse si existiera.

Vi la siguiente llamada a la función en Yacfe ejemplo : Visitor_c.vk_program { Visitor_c.default_visitor_c with Visi ... (4194303 fields). Estaré encantado si en su respuesta incluye una referencia a la sección relevante en el manual de OCaml.

Hablando con una serie de quants / hedgies, llegué a la conclusión de que un gran número de ellos parecen estar utilizando un ... o ¿por qué OCaml es superior para estos usos en comparación con otros lenguajes de scripting, por ejemplo Python, Ruby, etc.?

El lenguaje Caml objetivo solo producirá trazas de pila si las solicita correctamente - ¿cuáles son los requisitos tanto para el código de bytes como para el código nativo?