[Haskell-cafe] Wikipedia on first-class object

[Isaac Dupree]

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.

Isaac