ml

5El calor

1Respuesta

Sobrecarga en Ocaml

Sé que OCaml no admite sobrecarga. Entonces, en lugar de sobrecargar, ¿qué podemos hacer para solucionarlo? 1) ¿usar polimorfismo en su lugar? 2) ¿diferentes nombres de funciones diferentes? 3) poner

ocaml overloading ml 2012-05-08

---

7El calor

1Respuesta

Deducir expresiones recursivas utilizando Hindley Milner y limitaciones

Estoy tratando de inferir el tipo de la siguiente expresión: let rec fix f = f (fix f) que debe darse el tipo (a -> a) -> a Después de usar abajo hacia arriba algoritmo (descrito en generalizadoras

haskell functional-programming type-inference ml hindley-milner 2012-05-13

---

56El calor

3Respuesta

¿Cuáles son las principales dificultades teóricas para agregar módulos de ML a Haskell?

Es bien sabido que las clases de tipo Haskell y los módulos ML-style ofrecen diferentes mecanismos para especificar las interfaces . Son (posiblemente) equivalentes en poder, pero en la práctica cada

haskell ocaml sml ml type-systems 2011-04-17

---

13El calor

1Respuesta

Ejemplo de teorema de iglesia-rosser en un lenguaje de programación funcional

He visto referencias múltiples al Church Rosser theorem, y en particular al diagrama de propiedad de diamante, mientras aprendo programación funcional pero no he encontrado un gran ejemplo de código.

haskell functional-programming ml lambda-calculus 2012-05-23

---

10El calor

2Respuesta

¿Puedo construir una interfaz gráfica desde ocaml hasta myplex?

algunas preguntas con respecto a la de nivel superior interactiva y programación de la interfaz de usuario gráfica: ¿Es posible construir una interfaz gráfica de forma dinámica a partir de nivel super

functional-programming gtk ocaml read-eval-print-loop ml 2012-02-16

---

19El calor

7Respuesta

¿Qué tutorial en inglés recomendaría para aprender OCaml?

Quiero promocionar OCaml para principiantes, y estoy buscando buenos tutoriales en inglés; no que sólo han oído hablar, pero que en realidad se ha probado y se encontró útil ...

functional-programming ocaml ml 2012-02-20

---

5El calor

2Respuesta

Ejemplo de firmas anidadas en OCaml?

En OCaml, puede anidar firmas: module type FOO = sig module type BAR (* … *) end Me preguntaba si alguien tenía algún ejemplo de esto en su uso, ya que no puedo pensar en cualquier lugar

module ocaml ml 2010-12-07

---

7El calor

3Respuesta

Diferencias entre constructores y funciones de datos/tipos?

¿Alguien podría explicarme cuáles son las diferencias entre los constructores de datos/tipos y las funciones? Haskell los mezcla y nos da una interfaz universal (todas parecen funciones, en particular

haskell functional-programming ocaml ml 2011-03-18

---

5El calor

3Respuesta

expresión de tipo derivando en ML

Todo, Quiero derivar la expresión de tipo para la función de continuación en ML: fun f x y z = y (x z) Ahora sé escribir el mismo generaría la expresión de tipo. Pero deseo derivar estos valores a m

functional-programming types sml ml 2010-07-16

---

7El calor

4Respuesta

devolver una lista de elementos de una lista en OCaml

Soy nuevo en OCaml, y ahora estoy tratando de implementar una función que devuelve una lista de elementos de una lista dada x en índices en la lista y. Por ejemplo, la función que debe realizar el sig

list functional-programming ocaml ml 2012-03-21

---