The update analysis developed by Keith Wansbrough was very complicated, and
although rather beautiful (read his thesis and our papers), it didn't pay its
way in terms of complexity.
Coincidentally, Ilya Sergey is here on an internship and is now working on a
"cheap and cheerful" update analysis
On 03/08/2012 10:29, Joachim Breitner wrote:
Hi Simon,
Am Freitag, den 03.08.2012, 09:28 +0100 schrieb Simon Marlow:
My question is: Has anybody worked in that direction? And are there any
fundamental problems with the current RTS implementation and such
closures?
Long ago GHC used to have an
Hi Simon,
Am Freitag, den 03.08.2012, 09:28 +0100 schrieb Simon Marlow:
> > My question is: Has anybody worked in that direction? And are there any
> > fundamental problems with the current RTS implementation and such
> > closures?
>
> Long ago GHC used to have an "update analyser" which would de
On 01/08/2012 11:38, Joachim Breitner wrote:
Hello,
I’m still working on issues of performance vs. sharing; I must assume
some of the people here on the list must have seen my "dup"-paper¹ as
referees.
I’m now wondering about a approach where the compiler (either
automatically or by user annota
