po, irmão, tu foi comprar logo NA SUÍÇA?
as mecanicas do frostpunk 2 estão maravilhosamentes bem feitas
tive q ir procurar no ytb, pq vc me deixou curioso pra saber se eu pronunciava da forma correta www.youtube.com/watch?v=CWUi...
YouTube video by American Pronunciation Guide
Na minha cabeça, você precisa iterar sobre toda a AST e fazer o renaming para não conflitar, mas não é necessário Você pega o contexto do termo em si, valida se tem uma free variable, valida se conflita, faz o renaming e aplica a substituição E vai iterando assim até chegar num termo não-redutível
Eu to escrevendo um interpretador de LC na mão pela primeira vez, eu tinha ideia do modelo mental por detrás, mas não tinha muito o conceito prático Finalmente entendi como aplicar free/bound variables e fazer o renaming de acordo com o escopo
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.
finalmente entendi como alpha conversion num LC funciona na prática, lol
grande professor valdevino apesar da minha escola pública ter o ensino porco, eu aprendi tbm tem uns anos sobre CRT eu tava me perguntando como exatamente meus manos tiveram a sacada pra fazer sinal elétrico pintar coisa na tela
acho que a coisa mais fascinante da internet é vc ter uma dúvida de madrugada sobre um tema completamente aleatório, mas ter um abençoado que já respondeu ela pra você como televisões com CRT funcionam www.youtube.com/watch?v=l4Ug...
YouTube video by Technology Connections
uma ótima explicação sobre como o protocolo raft funciona thesecretlivesofdata.com/raft/