[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
That's because CALL/CC doesn't distinguish these things. It's too damn
powerful. I do not like CALL/CC. It messes up my foundations for
reasoning about programs. And if it interferes with human reasoning,
that goes double for compiler analysis.
In Steel's 1978 Thesis on the Rabbit (optimizing) compiler, he uses
continuation-passing-style lambda as the compiler's intermediate form.
Although call-with-current-continuation was not part of Scheme at that
time it clearly would have been trivially handled by the compiler. So
I don't think any problems your compiler is having with CWCC are
That's an intriguing thought. I'll have to look into this Rabbit thing.
- Re: Rabbit
- From: Norman Adams <firstname.lastname@example.org>