• terranium <spam here.lot> May 08 2008

terranium <spam here.lot> writes:

Me Here Wrote:

 Lookup Curry-Howard isomorphisms.


all those isomorphisms can be good for functional languages, but this is not
always true for imperative ones.