On 29 Oct 2009, at 1:54 am, Marc Feeley wrote: > > On 2009-10-28, at 4:53 PM, John Cowan wrote: > >> Marc Feeley scripsit: >> >>> Not true. Lazy-task creation will do a very good job dynamically. >>> Read my PhD thesis for details: >> >> I confess to not having read it yet, but it appears to be about >> futures, >> which are directly inserted into code by the programmer, not inferred >> by the implementation for *every* argument of *every* call. > > The overhead is so low that a compiler could automatically insert them > for every formal parameter of procedure calls (except when they are > trivial expressions like constants, variable references, or calls to > primitives with trivial expression arguments).
Haskell implementors may have some relevant experience with this sort of thing, in particular :-) I wonder what fun could be had generalising lazy evaluation to potentially involve parallel threads? I guess the same sorts of issues with continuations (and, therefore, exceptions) arise there. > > Marc > ABS -- Alaric Snell-Pym Work: http://www.snell-systems.co.uk/ Play: http://www.snell-pym.org.uk/alaric/ Blog: http://www.snell-pym.org.uk/archives/author/alaric/ _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
