Olha, DevRel até onde eu pude notar, é um dev que vai promover aquela lang ou ferramenta. Ele é contrato para fazer um marketing social fazendo vídeos, artigos, tudo que for necessário relacionando à lang, plataforma, ou ferramenta.
Quando você tem uma expressão num lambda calculus e precisa renomear um determinado parâmetro para garantir que ele não conflite com uma variável "global". Exemplo: na expressão λx.λx.x, você precisa renomear uma das variáveis para não conflitar na hora de substituir. Ficaria: λy.λx.x, por exemplo.
O que seria alpha conversion e LC?
Inscrito, irmão! Parabéns!
Tá no RJ?
Tudo normal até então...
Galaxy ace pocket >>>>>>>>>>
Forças guerreiro
Ciente! Na verdade, eu gosto de brincar, desenvolver em langs fora do meu conforto. Com python só não rolou porque até agora não vi nenhuma necessidade que apenas ele iria suprir de uma maneira eficaz.