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 |
==================================================
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
