¿Por qué el enhebrado de OCaml es considerado como `no suficiente '?

Esquema / Lisp bucles anidados y recursión

Estoy tratando de resolver un problema en el Esquema que me exige utilizar un bucle anidado o una recursión anidada.p.ej. Tengo dos listas que tengo que veri...

Programación funcional: eficiencia de la estructura de datos inmutables.

No entiendo, cómo los compiladores de FP hacen que el código que trata con estructuras de datos inmutables sea rápido, no explotar pila, etc.Por ejemplo, la ...

Cómo expresar let * como una expresión lambda (no la let regular)

Tipos de datos algebraicos de Haskell

Simular variable global

Estoy trabajando en un proyecto en Haskell y necesito una variable global. Actualmente estoy haciendo esto:

Manera funcional de implementar un contador compartido seguro de hilos.

Soy relativamente nuevo en Scala y en la programación funcional, y me gusta la idea de que al usar objetos inmutables puedo evitar muchos riesgos de segurida...

¿Cómo comparar dos funciones para equivalencia, como en (λx.2 * x) == (λx.x + x)?

¿Hay una manera de comparar dos funciones para la igualdad? Por ejemplo,

Los métodos de objeto asignados a variables o argumentos de función fallan cuando se invocan

Estoy aprendiendo javascript ahora mismo, me parece un hermoso lenguaje funcional, es maravilloso pasar de PHP, debería haberlo hecho antes. Aunque, no puedo...

Calcular una cadena de funciones en python.

Quiero obtener el resultado de una cadena de cálculos de un valor inicial. En realidad estoy usando el siguiente código: