ocaml

F# se deriva de OCaml, pero ¿qué elementos principales faltan o se agregan? Específicamente, tengo curiosidad por saber si los recursos disponibles para aprender OCaml también son útiles para alguien que quiere aprender F#.

Me he encontrado con el término 'Functor' varias veces mientras leía varios artículos sobre programación funcional, pero los ... uzadas en marcha: Me refiero específicamente a los Funtores de la programación funcional, no a los objetos de función de C++.

¿Qué diferencia a los dos dialectos de ML?

¿Por qué las funciones en F# y Ocaml (y posiblemente otros lenguajes) no son recursivas por defecto? En otras palabras, ¿po ... foo ... = ... Y no dar a la función capacidad recursiva por defecto? ¿Por qué la necesidad de un constructo explícito rec?

En lenguajes funcionales puros como Haskell, ¿hay un algoritmo para obtener la inversa de una función, (editar) cuando es biyectiva? Y hay una forma específica de programar su función por lo que es?

He estado pensando en esta pregunta mucho tiempo, pero realmente no pude encontrar la respuesta en Google, así como una pregu ... omo C? Además? ¿no es una herramienta de lenguaje en un lenguaje funcional más lenta que en un lenguaje de bajo nivel como C?

Recientemente encontré una presentación sobre F# para programadores de Python, y después de verla, decidí implementar una so ... 4bit, even the optimized version of the binary stack overflows. Final EDIT : Encontré la respuesta yo mismo - ver más abajo.

Espero usar Haskell u OCaml en un nuevo proyecto porque R es demasiado lento. Necesito poder usar máquinas de soporte vector ... mplo, OCaml-R ). ¿Alguien conoce un buen tutorial para este tipo de análisis, o un ejemplo de código, en Haskell u OCaml?

¿Cuáles son las mejores prácticas para escribir grandes proyectos de software en OCaml? ¿Cómo estructuran sus proyectos? ... ¿Pila de biblioteca? Encontré excelentes recomendaciones para haskell y creo que sería bueno tener algo similar para OCaml.

No está claro para los recién llegados al ecosistema cuál es la forma canónicamente preferida de estructurar y administrar la ... e administrarlos localmente a un proyecto? Preferiría un modelo en el que los proyectos permanezcan lo más autónomos posible.

Parece ser una comparación de equivalencias para algunos tipos, pero no cadenas. # 3 != 3;; - : bool = false # 3 != 2;; - : ... : bool = false ¿Por qué "odp" != "odp" evalúa a true? ¿Qué está haciendo realmente? ¿No debería generar un error de tipo?

He estado tratando de explicar la diferencia entre las sentencias switch y pattern matching(F#) a un par de personas, pero re ... as? EDITAR! Gracias a todos por las grandes respuestas, realmente me gustaría poder marcar múltiples respuestas correctas.

Normalmente, un programa OCaml puede ser escrito con o sin objetos. ¿Cuándo es más beneficioso usar objetos y cuándo deben evitarse?

¿Hay una biblioteca OCaml para aprovechar el tipo de coma flotante de precisión extendida de 80 bits en las arquitecturas IA ... aces MPFR pero mi biblioteca ideal sería más ligero. Lo ideal sería aprovechar las instrucciones históricas de coma flotante.

F # tiene una capacidad de unidades de medida (hay más detalles en este documento de investigación ). [<Measure>] ... Haskell hace unos meses, obtuve una discusión interesante pero ninguna respuesta definitiva más allá de 'probablemente no').

Actualmente estoy trabajando en un pequeño proyecto con OCaml; un simple simplificador de expresiones matemáticas. Se supone ... n este error "match" primero, aunque cualquier recomendación sobre cómo manejar la recursividad o la lógica sería bienvenida.

He estado jugando en un Haskell durante el último año más o menos y en realidad estoy empezando a' entenderlo', hasta Mónadas ... s así qué soy Me falta o no ver? Busqué en Google un poco y no parece haber una respuesta clara para ser encontrado. Kasper

Quiero hacer algo tan simple como esto: Imprime una lista. let a = [1;2;3;4;5] ¿Cómo puedo imprimir esta lista en la salida Estándar?

Recientemente, Facebook anunció Flow, un comprobador de tipo estático para JavaScript, que se implementa principalmente en OC ... n OCaml. Por lo tanto, me pregunto cuáles son los beneficios distintivos de OCaml para hacer un comprobador de tipo estático?

Tengo un tipo tree definido como sigue type 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree ;; Tengo una función par ... ) ;; Esta función no es recursiva de cola. ¿Hay alguna manera para mí de escribir esta función en forma recursiva de cola?