Preguntas con etiqueta 'ocaml'

0
respuestas

¿Por qué OCaml no es más popular?

Siempre he escuchado que C es el idioma de elección para usar en sistemas integrados, o cualquier cosa que necesite ejecutarse a la máxima velocidad. Nunca desarrollé una afición por C, principalmente porque no me gusta la aritmética de punter...
hecha 11.01.2009 - 18:29
2
respuestas

Tipos de comprobación y tipos recursivos (Escribiendo el combinador de Y en Haskell / Ocaml)

Cuando se explica el combinador de Y en el contexto de Haskell, generalmente se señala que la implementación directa no hará una comprobación de tipo en Haskell debido a su tipo recursivo. Por ejemplo, de Rosettacode : The obvious definiti...
hecha 27.10.2013 - 21:43
4
respuestas

¿Es OCaml bueno para el análisis numérico? [cerrado]

Actualmente estoy usando C y algo de FORTRAN para resolver sistemas numéricos de ecuaciones diferenciales. Estoy un poco harto de estos dos idiomas, pero necesito tener un código (bastante) eficiente ... Estoy pensando en cambiarme a OCaml....
hecha 20.02.2011 - 02:41
0
respuestas

¿Las diferencias entre la productividad de Lisp y OCaml se comparan? [cerrado]

Estoy a punto de comenzar un nuevo proyecto y no puedo decidir si debo elegir OCaml o Lisp para el proyecto. Mi principal preocupación es sobre la diferencia de productividad, si la hay. Programé OCaml desde 1998 y, aunque no intenté medir es...
hecha 25.01.2014 - 03:47
1
respuesta

¿Es apropiado el estado global mutable privado, a saber, cuando se usa para evitar el uso indebido de la API?

Estoy escribiendo un verificador de tipo para un dialecto ML que implica generar "variables de tipo" nuevas "(nuevas y únicas)" (valores que representan incógnitas). Mi estrategia, y la estrategia que parece usarse en los tutoriales, es identifi...
hecha 23.08.2018 - 03:41
1
respuesta

¿Cuáles son algunos usos prácticos de los tipos de datos algebraicos generalizados? [cerrado]

Todos los tutoriales sobre GADT que he visto (en Haskell, Coq e Idris) usan el mismo ejemplo de un intérprete bien escrito para mostrar cómo pueden ser útiles los GADT, donde se usa el índice de tipos para codificar el tipo de término en el leng...
hecha 27.02.2017 - 16:23
1
respuesta

¿en qué se diferencian los intérpretes para los lenguajes de tipo estático o dinámico?

Escribir un intérprete para un lenguaje de tipo dinámico generalmente implica crear un Entorno, una estructura de datos que almacena asignaciones de nombres de variables a sus valores. Los valores están encuadrados en algún tipo de envoltorio, q...
hecha 08.07.2015 - 05:20
1
respuesta

¿Cómo lidiar con configuraciones difíciles a nivel de componente?

Distingo tres niveles de organización durante la programación: el nivel de biblioteca, el nivel de componente y el nivel de aplicación. Una biblioteca define funciones para resolver una serie de problemas relacionados o realizar operaciones rela...
hecha 30.12.2013 - 12:52
1
respuesta

¿Cuál es la diferencia entre los módulos aplicativos y generativos, y las clases de tipo?

Leer los comentarios a esta publicación de blog me hizo darme cuenta de que no sé mucho sobre algunas funcionalidades realmente interesantes Mecanismos entre lenguajes como Haskell, OCaml y Standard ML. Me encantaría una descripción general de...
hecha 01.08.2016 - 17:56