>> Me, I'm just a lowly musician, struggling along...
> 
> And I'm a bank teller, going to night school to turn my hobby into a 
> career :)

Somebody wrote that "Haskellers are really just mathematicians proving 
trivial theorums in an interesting way using an intuivity first-order 
logic" or something like that.

(By the Curry-Howard isomorphism, the type signature of any total 
function that can be implemented in Haskell can be interpretted as a 
logical theorum, and the Haskell function's implementation is its proof.)

Post a reply to this message