On Thu, Apr 20, 2023 at 11:28 AM Ville Voutilainen <ville.voutilainen@gmail.com> wrote:
On Thu, 20 Apr 2023 at 18:09, Arthur O'Dwyer <arthur.j.odwyer@gmail.com> wrote:
> @Ville, I agree 100% with the "Why would we?" part, but I don't see what you mean about "new kind of lambda."

Right now, you can declare two kinds of lambdas; ones that don't have
captures, and ones that do. You can't declare
a lambda that takes its captures as constructor arguments. So that
would be a new kind of lambda.

Ah, okay. I had considered that "changing the semantics of one of the two existing kinds," not "introducing a new kind and retiring one of the old kinds," but I see. :)

–Arthur