Jonathan (Sep 30 2026 at 13:35): Jonathan (Sep 30 2026 at 13:35):Not really a bug per se, but as all the effects occur when a stream is stepped/collected, am I right in thinking that it doesn't make sense to have Stream.map!? It currently defers directly to Stream.map anyhow
Jonathan (Sep 30 2026 at 13:37):Although, it does enable a function to accept an effectful mappable: a where [a.map! : ...]. But then again, there aren't higher kinded types, so there isn't a way of saying where [a(x).map! : a(x), (x => y) => a(y)] but instead a.map! : a, (x => y) => b.. which may not be a problem? I don't know :sweat_smile:
Last updated: Oct 15 2026 at 17:56 UTC