combinators

12El calor

2Respuesta

plegable flatMap/vinculación a través de una lista de funciones (también conocido como nombre a ese Combinator!)

En el proceso de escribir una simple calculadora RPN, tengo los siguientes alias de tipo: type Stack = List[Double] type Operation = Stack => Option[Stack] ... y he escrito una línea de aspecto cur

scala haskell combinators 2012-01-03

---

5El calor

3Respuesta

El tipo de firma de un combinador no coincide con la firma de tipo de su función Lambda equivalente

consideran este combinador: S (S K) aplicarlo a los argumentos XY: S (S K) X Y Se contrae a: X Y Convertí S (SK) a los términos Lambda correspondientes y obtuve este resultado: (\x y -> x y) h

haskell lambda-calculus combinators type-signature combinatory-logic 2012-03-06

---

11El calor

2Respuesta

Scala: ¿Allanar el parseresult (~) del analizador de combinadores en List?

Escribí algunos analizadores de la biblioteca combinatoria. Quiero una función genérica que transforme cualquier tamaño de nido ~ en una lista. Como hacer esto ? Aquí está mi ejemplo de analizador que

parsing scala combinators 2012-03-07

---

5El calor

1Respuesta

Lo que hace esto combinador hacer: s (SK)

Ahora entiendo la firma tipo de s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 Y puede crear ejemplos que funcionan sin error en la herramienta de Haskell WinGHCi: Ejemplo: s (s k) (\g -

haskell lambda lambda-calculus combinators combinatory-logic 2012-03-12

---

5El calor

1Respuesta

¿Puede clojure evaluar una cadena de funciones mixtas y devolver una función parcial si es necesario?

Suponga que tiene tres funciones de aridad 1, 2 y 3 de la siguiente manera: (defn I [x] x) (defn K [x y] x) (defn S [x y z] (x z (y z))) ¿Tiene clojure tiene una función de evaluación o idioma par

clojure partial lambda combinators arity 2012-08-11

---

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

---

26El calor

4Respuesta

Método combinatorio como tap, pero capaz de devolver un valor diferente?

Estoy pasando por una fase de tratar de evitar las variables temporales y el uso excesivo de condicional, donde puedo usar un estilo de codificación más fluido. Me gustó mucho usar #tap en lugares don

ruby theory combinators 2011-10-24

---

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

---

6El calor

2Respuesta

¿Este combinador tiene un nombre?

Esta función f acepta una lista de argumentos y devuelve otra que se puede llamar con la misma lista de argumentos, para que se le puedan aplicar otras funciones. from operator import add, mul def f

python function combinators 2011-11-08

---

8El calor

5Respuesta

¿Qué es un esquema general para escribir una función en estilo pointfree?

Estoy trabajando a través del 20 Intermediate Haskell Exercises en este momento, lo cual es un ejercicio bastante divertido. Implica la implementación de varias instancias de las clases de tipos Funct

haskell higher-order-functions combinators pointfree 2011-12-30

---