noghartt

const TRUE = x => y => x;
const FALSE = x => y => y;

const zero = f => x => x;
const succ = n => f => x => f(n(f)(x));

const plus = m => n => f => x => m(f)(n(f)(x));
const mult = m => n => f => x => m(n(f))(x);
const exp = m => n => n(m);
const pred = n => f => x => n(g => h => h(g(f)))(u => x)(u => u);

noghartt

• Por: Paulo Torrens
• Originalmente portado no facebook em 2014-03-08

#["LÓGICA DE PROGRAMAÇÃO" É BOBAGEM, e explicarei porquê.]

Se preparem que o texto é longo.

Várias vezes chegam novatos aqui perguntando como começar, e a galera diz "estuda lógica primeiro, depois vai pra linguagem X". Vivo dizendo que é bobagem. Ontem, em particular, falei isso, e vieram várias pessoas por inbox me perguntar porquê (e uma pra me xingar, achando que falei por arrogância).

Pra facilitar, eu vou escrever uma boa explicação de porquê "lógica de programação" é furada, doa a quem doer, e postar na APDA e no fórum da EnergyLabs (para futuras referências, porque esse assunto vai voltar, ctz).

noghartt

#!/usr/bin/env zsh

mv ~/.zsh_history ~/.zsh_history_bad
strings ~/.zsh_history_bad > ~/.zsh_history
fc -R ~/.zsh_history
rm ~/.zsh_history_bad