Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
a more interesting combinator is the fixed point combinator or y combinator, which can be used to implement recursion.
un combinador más interesante es el combinador de punto fijo o combinator y, que se puede utilizar para implementar la recursión.
he teamed up with co-founders jared friedman and tikhon bernstamm and they attended y combinator in cambridge in the summer of 2006.
se asoció con los cofundadores jared friedman y tikhon bernstam y asistieron a y combinator en cambridge en el verano de 2006.
rule 5 simply says that to convert a complex abstraction to a combinator, we must first convert its body to a combinator, and then eliminate the abstraction.
la regla 5 dice simplemente esto: para convertir una abstracción compleja a un combinador, debemos primero convertir su cuerpo a un combinator, y después eliminamos la abstracción.
the proof is to present a transformation, "t"[ ], which converts an arbitrary lambda term into an equivalent combinator.
la prueba es presentar una transformación, "t"[ ], que convierte un término arbitrario lambda en un combinador equivalente.
y combinator has now invested in more than 400 startups across over 30 distinct markets, including justin.tv, xobni, dropbox, airbnb, and stripe.
y combinator ha invertido en más de doscientas startups, incluyendo a reddit, justin.tv, loopt y xoobni, además de dropbox y airbnb.
over the years since, he has written several essays describing features or goals of the language, and some internal projects at y combinator have been written in arc, most notably the hacker news web forum and news aggregator program.
a lo largo de los años ha publicado una serie de ensayos describiendo las características o metas del lenguaje, y algunos proyectos internos en y combinator han sido escritos en arc, más notablemente el foro web de "hacker news" y el programa agregador de noticias.
"x"])) (by 3):: = (s (k (s i)) (s (k k) i)) (by 4)if we apply this combinator to any two terms "x" and "y", itreduces as follows:: (s (k (s i)) (s (k k) i) x y):: = (k (s i) x (s (k k) i x) y):: = (s i (s (k k) i x) y):: = (i y (s (k k) i x y)):: = (y (s (k k) i x y)):: = (y (k k x (i x) y)):: = (y (k (i x) y)):: = (y (i x)):: = (y x)the combinatory representation, (s (k (s i)) (s (k k) i)) is muchlonger than the representation as a lambda term, "λx"."λy".
("y" "x")) a un combinador:si aplicamos este combinator a cualesquiera dos términos "x" y "y", reduce como sigue:la representación combinatoria, (s (k (s i)) (s (k k) i)) es mucho más larga que la representación como término lambdaλ"x".λ"y".