Re: [Haskell-cafe] Wikipedia on first-class object

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