Dicionário de termos funcionais traduzidos

Após diversas threads de discussão no grupo do telegram foi visto necessário um dicionário de traduções curados e atribuidos a um nível de qualidade de tradução.

Tabela de tradução

• ✅ Tradução correta
• ⁉️ Tradução popular(não necessariamente certa)
• ❌ Erro comum

---

Indice

• Arity
• Assignment
• Closure
• Calculus of construction
• Continuation passing style
• Environment
• Evaluation / Evaluate
• Expression
• Garbage Collector
• Guards
• Head
• Invocation
• Kind (Type System)
• Lazy Evaluation
• Monad
• Monoid
• Pattern Match
• Right-hand
• RunTime Environment
• Sort (Type System)
• State
• Statement
• Tail

---

Arity

• ✅ Aridade

Número de argumentos que uma função aceita. Por exemplo, em Python a função abs(n) tem aridade 1, mas divmod(a, b) tem aridade 2.

Assignment

• ✅ Atribuição

Calculus of constructions

• ✅ Cálculo de construções

Closure

• ✅ Clausura
• ❌ Closure
• ❌ Clojure
• ❌ Fechamento

Estrutura formada por uma função e um ambiente com variáveis necessários para a execução da função, mas não definidas no corpo da função -- chamadas variáveis livres ou não-locais. Uma linguagem só precisa implementar o mecanismo de closure se ela permite a definição de uma função dentro de outra, e permite que a função externa devolva a função interna como resultado. C e Pascal não precisam de closures; Scheme e Python precisam.

Continuation passing style

• :white_check_mark Estilo de passagem de continuação

Composable

• ✅ Componível

Diz-se de funções que se prestam bem à composição, que é a agregação de funções mais simples para criar outras, mais elaboradas.

Environment

• ✅ ambiente

Em teoria de linguagens de programação, ambiente é uma estrutura de dados que associa identificadores de variáveis a valores. A implementação de uma linguagem com suporte a variáveis precisa ter pelo menos um ambiente global. Linguagens que implementam funções normalmente criam um ambiente local ao executar cada função. Além desses ambientes global e local, linguagens que permitem funções definidas dentro de outras também podem implementar closures. Dicionários e listas associativas são formas comuns de implementar ambientes.

Evaluation / Evaluate

• ✅ Avaliação / avaliar
• ⁉️ Evaluação / Evaluar

Expression

• ✅ Expressão

Pode se referir a expressões matemáticas ou algébricas. Geralmente com o intuito de gerar um valor por meio de avaliação(ver Evaluation).

(1.6 https://libgen.pw/item/detail/id/5a1f04f13a044650f5087e0a)

Garbage Collector

• ✅ Coletor de lixo
• ❌ Lixeiro

Sub-sistema de ambiente de execução de uma linguagem de programação que faz o descarte automático de estruturas de dados que não podem mais ser acessadas pelo programa do usuário. Smalltalk, Java, Python são linguagens com coletores de lixo integrados ao seu ambiente de execução. Em Go, o coletor de lixo é parte do código gerado pelo compilador ao produzir um executável.

Guards

• ✅ Guardas

Head

• ✅ Cabeça

Invocation

• ✅ Invocação

Kind (Type System)

• ✅ Espécie
• ❌ Tipo

"Kind" é um termo normalmente utilizado em sistemas de tipos para designar o "tipo" dos tipos. Apesar de "Type" e "Kind" serem semelhantes (tal como "tipo" e "espécie"), "Kind" não pode ser traduzido como "tipo" pois essa já é a tradução de "Type", e, no contexto de sistema de tipos, um "Kind" não é um "Type". O conceito de "Kind" é utilizado no sistema de tipos de Haskell.

Note que a escolha da palavra "espécie" foi feita para não entrar em conflito com outros conceitos (tal como classe, família ou grupo) e ao mesmo tempo fazer sentido perante à tradução de "Sort" (ver Sort).

Lazy evaluation

• ✅ Avaliação ociosa
• ❌ Avaliação preguiçosa

Monad

• ✅ Mônada

Monoid

• ✅ Monoide

Pattern Matching

• ✅ Casamento de Padrões

Right hand

• ✅ Segundo termo
• ❌ Mão direita / Lado direito / Do lado direito

RunTime Environment

• ✅ Ambiente de execução
• ❌ Ambiente de tempo de execução(?)

Sistema de suporte que permite a execução de programas em linguagens que não tem compiladores para gerar código de máquina nativo. O ambiente de execução de linguagens interpretadas, como Python e Ruby, inclui o interpretador e a biblioteca-padrão da linguagem. Certas linguagens compiladas como Java, Closure e Kotlin dependem da máquina virtual Java (JVM) para executar seus binários.

Sort (Type System)

• ✅ Gênero
• ❌ Tipo

"Sort" é um termo normalmente utilizado em sistemas de tipos para designar o "tipo" das "espécies" (que por sua vez é o "tipo" dos tipos, ver Kind). Apesar de "Type" e "Sort" serem semelhantes (tal como "tipo" e "gênero"), "Sort" não pode ser traduzido como "tipo" pois essa já é a tradução de "Type", e, no contexto de sistema de tipos, um "Sort" não é um "Type". O conceito de "Sort" é utilizado no sistema de tipos de Haskell.

Note que a escolha da palavra "gênero" foi feita para não entrar em conflito com outros conceitos (tal como classe, família ou grupo) e ao mesmo tempo fazer sentido perante à tradução de "Kind" (ver Kind).

State

• ✅ Estado

Statement

• ✅ Declaração

Declarações funcionam ou como controle do fluxo de controle do programa como por exemplo, condicionais ou loops ou como meio de alterar o estado(memória).

(1.6 https://libgen.pw/item/detail/id/5a1f04f13a044650f5087e0a)

Tail

• ✅ Cauda
• ❌ Rabo

TODO

• curse of dimensionality