3 ms·
> The most impressive I've ever seen was implementing "call with current continuation" as a monad, given nothing but the type signature. That sounds cool. Wher
by still_grokking 4y ago
> The most impressive I've ever seen was implementing "call with current continuation" as a monad, given nothing but the type signature.
That sounds cool. Where to find this? I get only irrelevant search results.