Tutorial: dois pesos, duas medidas

Wednesday, September 13th, 2006

Cipitá é uma cidade do interior, dessas de novela. Cipitá fica a oeste de tudo; não há lei a oeste de Trilopinha, não há Deus a oeste de Rabidinga, e ao redor de Cipitá não existe nem água encanada.

A autoridade máxima de Cipitá é um juiz preconceituoso. Em Cipitá, ou você é cipitense, ou é um forasteiro.


data Pessoa a b = Forasteiro a | Cipitense b

O juiz preconceituoso de Cipitá tem critérios completamente diferentes para Forsteiros e Cipitenses; para um dado veredito a pronunciar seu raciocínio é o seguinte:


veredito sentença_ruim sentença_boa (Forasteiro a) = sentença_ruim a
veredito sentença_ruim sentença_boa (Cipitense a) = sentença_boa a

<

p>
{ ℘ continues here. }
{ 1941 words, estimated 7:46 mins reading time)}

Filed under: Immanence

Be the first to comment »