On Mon, 8 Apr 2013, Michael Bradley wrote:
I am experiencing inefficiency while using the Futures library within
PolyML.
Can you point to the actual "Futures library" that is used here? I only
know the one I made for Isabelle/ML, but I think there are spin-offs.
The question how to include a standard futures library in the Poly/ML
distribution is still open.
Tasks require a modest amount of memory and significant time to run, but
there are 100,000s of them.
Isabelle/ML futures (or derivatives) should normally work within this
range of 10^5, although the basic assumption is that future dependencies
are relatively sparse.
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
