COMBINATOR in Portuguese translation

• combinator
• combinador

Examples of using Combinator in English and their translations into Portuguese

Swartz was offered a spot at a new startup incubation firm called Y Combinator led by Paul Graham.
Após apenas um ano de faculdade, ofereceram a Swartz um lugar numa nova empresa incubadora de startups chamada Y Combinator, liderada por Paul Graham.

In the lambda calculus there are a number of combinator(implementations) that satisfy the mathematical definition of a fixed-point combinator.
No cálculo lambda, há uma série de combinadores(implementações) que satisfazem a definição matemática de um combinador de ponto fixo.

Google co-founder Sergey Brin and Y Combinator president Sam Altman joined the protest at San Francisco airport.
O cofundador do Google Sergey Brin e o presidente da Y Combinator Sam Altman participaram de um protesto no aeroporto de São Francisco.

It is not necessary or helpful to use this structure in implementing the fixed point combinator in other languages.
Não é necessário ou útil usar essa estrutura na implementação do combinador de ponto fixo em outras linguagens.

It is easy to transform lambda expressions into combinator expressions, and combinator reduction is much simpler than lambda reduction.
É trivial transformar expressões lambda em expressões de combinadores, e a redução de combinadores é muito mais simples que a de lambda.

with seed funding from Paul Graham of seed capital firm Y Combinator and Series A funding with Alsop Louie Partners
com financiamento inicial de Paul Graham da empresa de capital semente Y Combinator e do financiamento da Series A com a Alsop Louie Partners

Another simple combinator is K, which manufactures constant functions:(K x)
Outro combinador simples é K{\displaystyle K}, que monta funções constantes.(

An example is Chris Barker's iota combinator, which can be expressed in terms of S and K as follows: ιx xSK It is possible to reconstruct S, K, and I from the iota combinator.
Um exemplo é o combinador iota de Chris Barker's, que pode ser expresso em termos de S e K como segue: ιx xSK É possível reconstruir S, K e I a partir do combinador iota.

where axiom 1 corresponds to the K combinator, and axiom 2 corresponds to the S combinator.
combinatória em cálculo lambda, onde 1 corresponde ao K combinador, e o axioma 2 corresponde ao S combinador.

z can be encoded by a higher-order function that when applied to a combinator c and a value n returns c x c y c z n.
pode ser codificada por uma função de ordem superior que, quando aplicada ao combinador c e um valor n, retorna c x c y c z n.

but also important differences exist e.g. fixed point combinator Y has normal form in combinatory logic but not in λ{\displaystyle\lambda}-calculus.
similaridades com cálculo lambda, mas existem diferenças importantes ex.: combinador de ponto fixo Y tem uma forma normal em lógica combinatória, mas não em cálculo lambda.

Other important language features such as tuple classes, combinator inlining, macros,
Outras características importantes, como as classes de tuplas, combinadores inlining, macros para análise sintática definidas pelo usuário

Dropbox has been touted as Y Combinator's most successful investment to date.
o Dropbox tem sido considerado como o investimento de maior sucesso da Y Combinator até o momento.

and Dropbox has been touted as Y Combinator's most successful investment to date.
o Dropbox tem sido considerado como o investimento de maior sucesso da Y Combinator até o momento.

However one beta reduction gives the more symmetrical form of Curry's Y combinator. λ f.( λ z. f( z z))( λ z. f( z z)){\displaystyle\lambda f.(\lambda z. f\(z\ z))\(\lambda z. f\(z\ z))}
No entanto, uma redução beta dá a forma mais simétrica do combinador Y de Curry. λ f.( λ z. f( z z))( λ z. f( z z)){\displaystyle\lambda f.(\lambda z. f\(z\ z))\(\lambda z. f\(z\ z))}

higher order functions whose domain is another combinator or function, and whose range is yet another combinator..
de ordem superior cujo domínio é um outro combinador ou função, e cujo alcance é ainda outro combinator.

Swartz eventually merges his company with another Y Combinator project in need of help it was a project led by Steve Huffman
Swartz acaba por fundir a sua empresa com outro projeto da Y Combinator que precisava de ajuda. Era um projeto liderado pelo Steve Huffman

5(* evaluates to"120"*) This example is a slightly interpretive implementation of a fixed point combinator.
5(* evaluates to"120"*) Este exemplo é uma implementação ligeiramente interpretativa de um combinador de ponto fixo.

under the most common combinator basis: T is K:
sob a base combinatória mais comum: T é K:

under the most common combinator basis:** T is K:
sob a base combinatória mais comum:** T é K: