The importance of multiple lenses

Nos últimos anos tem se tornado cada vez mais comum ouvir os termos “computational trinitarianism”, ou “Curry-Howard-(Lambek) correspondence”, ou, talvez o mais popular dos três, o slogan “Propositions as Types” [1]. Mas, apesar da ideia de que a lógica, a teoria de tipos, e a teoria de categoria são três faces da mesma moeda se ter tornado omnipresente, os ganhos de poder ter várias lentes/perspectivas sobre um mesmo constructo abstrato nem sempre me parecem ser tão apreciados – talvez pelo facto de um dos vértices desta correspondência ser tão abstracto que até quem o estuda o apelida de “abstract nonsence”.

Para exemplificar essa importância venho trazer um constructo mais simples e que, de alguma forma, tem ainda mais “lentes” pelas quais pode ser estudado: as linguagens regulares.