2 ms·
As far as I understand the PL theory involved, it's statically-typed delimited continuation, which I think is even more general than the CL condition system.
by nerdponx 3y ago
As far as I understand the PL theory involved, it's statically-typed delimited continuation, which I think is even more general than the CL condition system.