[Haskell-cafe] Wikipedia on first-class object

Isaac Dupree isaacdupree at charter.net
Thu Dec 27 17:00:17 EST 2007

Bulat Ziganshin wrote:
> here T is any type. you said that values of ANY TYPE can be saved to
> disk, so show us the way


> try to prove that this mean that value of ANY type may be saved to
> disk

Run another program that uses lots of memory, and watch the entire 
Haskell program's memory be swapped out to disk.  Better yet, 
suspend-to-disk (or "hibernate") your computer.  Voila -- values of any 
and all types have been saved to disk!  In a limited fashion, of course.


More information about the Haskell-Cafe mailing list