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

Gatherer and primitive specialization

2024-06-13 Thread Remi Forax
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 specialized because most collectors mutate a collection that is not specialized too, gatherers can process/transform val