y-combinator

8El calor

4Respuesta

Y-combinator en D?

estoy tratando de aprender el Y-Combinator mejor (tipo de entiendo que en el esquema) y ponerlo en práctica en D 2.0, y yo estoy fallando bastante miserablemente: auto fact = delegate(uint delegate(ui

functional-programming d d2 lambda-calculus y-combinator 2011-08-04

---

14El calor

1Respuesta

¿Implementé Y-combinator usando C# dynamic, y si no lo hice, qué es?

Mi cerebro parece estar en modo masoquista, por lo que después de haber sido ahogado en this, this y this, quería perder el tiempo con un poco de bricolaje en C#. me ocurrió lo siguiente, que yo no cr

c# dynamic functional-programming y-combinator 2011-10-05

---

8El calor

3Respuesta

Y Combinator: Algunas funciones no tienen puntos fijos

El Wikipedia article on the Y combinator proporciona la siguiente implementación de JavaScript del combinador Y: function Y(f) { return ( (function (x) { return f(function (v) { retur

javascript y-combinator 2012-06-14

---

11El calor

3Respuesta

Combinador de punto fijo para funciones mutuamente recursivas?

¿Hay un combinador de punto fijo para crear tuplas de funciones mutuamente recursivas? Es decir. Estoy buscando algo así como el Y-Combinator pero que requiere múltiples funciones "recursivas" *, y de

recursion functional-programming combinators y-combinator mutual-recursion 2011-02-04

---

21El calor

4Respuesta

¿Por qué es el tipo de esta función (a -> a) -> a?

¿Por qué es el tipo de esta función (a -> a) -> a? Prelude> let y f = f (y f) Prelude> :t y y :: (t -> t) -> t ¿No debería ser un tipo infinito/recursivo? Iba a tratar de poner en palabras lo que

haskell types recursion anonymous y-combinator 2012-01-18

---

5El calor

4Respuesta

Funciones recursivas, desbordamientos de pila e Y-Combinators

Tengo una función recursiva (en C#) que necesito llamar unas 800 millones de veces; esto obviamente normalmente resultaría en un desbordamiento de la pila después de aproximadamente la llamada 900a. L

c# recursion functional-programming stack-overflow y-combinator 2011-12-02

---

5El calor

5Respuesta

¿Funciona la "Recursividad anónima" en .NET? Lo hace en Mono

He navegado en el sitio this hace unos días en "Recursividad anónima en C#". La idea central del artículo es que el siguiente código no funcionará en C#: Func<int, int> fib = n => n > 1 ? fib(n - 1) +

c# .net mono y-combinator anonymous-recursion 2011-03-30

---

16El calor

2Respuesta

¿Por qué los tipos de datos inductivos prohíben tipos como `datos Malo a = C (Malo a -> a)` donde el tipo de recursión ocurre frente a ->?

manual de Agda en Inductive Data Types and Pattern Matching estados: Para garantizar la normalización, las ocurrencias inductivos debe aparecer en posiciones estrictamente positivos. Por ejemplo, no s

haskell recursive-datastructures algebraic-data-types y-combinator agda 2012-09-29

---

29El calor

2Respuesta

Discusión de Y combinator en "The Little Schemer"

Por lo tanto, he pasado mucho tiempo leyendo y volviendo a leer el final del capítulo 9 en The Little Schemer, donde el combinador Y de aplicación se desarrolla para la función length . Creo que mi co

scheme combinators y-combinator the-little-schemer 2012-05-08

---

5El calor

1Respuesta

Expresando Y en términos de SKI-Combinators en JavaScript

Estaba jugando con Cominators en JavaScript y estaba orgulloso (con suerte) de que S funcionara cuando me encontré con Wikipedia diciendo: "El combinador Y se puede expresar en el SKI- cálculo como: Y

javascript combinators y-combinator combinatory-logic 2011-09-09

---