Sent from my iPhone
> On Aug 17, 2025, at 10:46 AM, Oleg <[email protected]> wrote: > > On Sun, Aug 17, 2025 at 03:01:13PM +0100, Steve Simon wrote: >> or perhaps: >> we shouldn't waste a time thinking how to replace a goto, we already have >> goto and should just learn how not use it badly. > > This is ok too :-). > All you need is delimited continuations. > -- > Олег Неманов (Oleg Nemanov) ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Ta74fdc99bf0151a0-Mb2688e078abf28ff6552a759 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
