Re: [External] : Gatherer and primitive specialization

2024-06-13 Thread Paul Sandoz
> On Jun 13, 2024, at 8:20 AM, fo...@univ-mlv.fr wrote: > > > > From: "Viktor Klang" > To: "Remi Forax" , "core-libs-dev" > > Sent: Thursday, June 13, 2024 12:52:03 PM > Subject: Re: [External] : Gatherer and primitive special

Re: [External] : Gatherer and primitive specialization

2024-06-13 Thread forax
> From: "Viktor Klang" > To: "Remi Forax" , "core-libs-dev" > > Sent: Thursday, June 13, 2024 12:52:03 PM > Subject: Re: [External] : Gatherer and primitive specialization > Hi RĂ©mi, > Given that Collector has not been specialized since

Re: [External] : Gatherer and primitive specialization

2024-06-13 Thread Viktor Klang
, 13 June 2024 10:16 To: core-libs-dev Cc: Viktor Klang Subject: [External] : Gatherer and primitive specialization Hello, the Gatherer API do not provide primitive specialization while intermediate methods like map(), flatMap() or mapMulti() do. Unlike collectors where it is okay to not be