[Agda] type check performance

[Nils Anders Danielsson]

On 2015-03-31 17:15, Andrea Vezzosi wrote:
>> While the compiler is running Agda should only touch a small amount of
>> memory (unless the compiler prints lots of stuff to stdout/stderr), so I
>> would hope that the rest of the memory should be paged out, if
>> necessary.
>
> Can we hope that in a garbage collected language like Haskell?

Perhaps that is too much to hope for, unless the run-time system
actively makes it easy to swap out older generations.

-- 
/NAD