Interesting Read (fwd)

[Iavor S. Diatchki]

hi,

Rex Page wrote:
> ...
>   1. The author comments that programs are not theorems.
>      He is correct. They are, instead, proofs of theorems.
>      The problem is, programmers almost never know what 
>      theorems their programs prove.
 > ...
my programs always prove IO().  this must be the best proven theorem in 
Haskell.  and people just keep on proving it :-)

bye
iavor

-- 
==================================================
| Iavor S. Diatchki, Ph.D. student               |
| Department of Computer Science and Engineering |
| School of OGI at OHSU                          |
| http://www.cse.ogi.edu/~diatchki               |
==================================================