Quando eu acho que estou entendendo alguma coisa…
… vem o Herrmann e manda:
Herrmann (5:49):
Cara, minha revelação do dia: me liguei que o axioma K (L(p>q)>(Lp>Lq)) de lógica modal é isomórfico ao operador de aplicação de mônadas (ap :: Monad m => m (a -> b) -> m a -> m b), de acordo com o isomorfismo de Curry-Howard
Herrmann (5:50):
Acho que rola usar um método de tableaux analítico pra ajudar a compilar
Lucindo (5:50):
entendi lhufas
Update: ele achou depois um link sobre isso. E eu continuo não entendendo.
| Enviar por e-mail | Hits para esta publicação: 587
2 respostas para “ Quando eu acho que estou entendendo alguma coisa… ”
Deixe uma resposta.
E o que você vai fazer agora:
a) Mandar ele se fuder!
b) Enfiar a porrada nele!
c) Estudar mais…
d) Se matar!
d) N.R.A.
???????????????
Vou estudar mais, mas assim que encontrar com ele eu enfio porrada.