2024/11/16

Newest at the top

2024-11-16 18:46:13 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2024-11-16 18:45:01 +0100 <Rembane> lxsameer: np!
2024-11-16 18:44:57 +0100 <lxsameer> Rembane: cheers
2024-11-16 18:44:44 +0100 <Rembane> lxsameer: Yes! Here for instance: https://hackage.haskell.org/package/base-4.20.0.1/docs/Control-Concurrent.html#g:1
2024-11-16 18:44:23 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds)
2024-11-16 18:43:42 +0100 <lxsameer> is there any fiber or green thread implementation in haskell?
2024-11-16 18:42:42 +0100 <Rembane> RedNifre: Hm... that almost works, but you'll never get a Left from it.
2024-11-16 18:41:02 +0100 <Rembane> RedNifre: Could you perhaps use map, takeWhile and then compose that with whatever foldable function you need?
2024-11-16 18:38:52 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2024-11-16 18:38:26 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
2024-11-16 18:36:23 +0100 <RedNifre> Sorry, that's not exactly what I meant. Basically, foldr, but the function returns an Either, but it does not need to take an Either as a parameter.
2024-11-16 18:35:16 +0100 <RedNifre> Hello! Is there a name for (roughly) Foldable t => (a -> b -> Either a c -> Either a c -> t a -> Either a c ? Analogous to "flatMap" maybe "flatFold"? It would early return on the first "bad" Either value.
2024-11-16 18:34:34 +0100RedNifre(~RedNifre@dslb-002-201-038-124.002.201.pools.vodafone-ip.de) RedNifre
2024-11-16 18:32:38 +0100jonkri(~jonkri@90-230-234-124-no600.tbcn.telia.com) jonkri
2024-11-16 18:23:39 +0100Digitteknohippie(~user@user/digit) (Ping timeout: 260 seconds)
2024-11-16 18:23:36 +0100Digit(~user@user/digit) (Ping timeout: 252 seconds)
2024-11-16 18:23:10 +0100bwe(~bwe@2a01:4f8:1c1c:4878::2) bwe
2024-11-16 18:22:51 +0100bwe(~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection)
2024-11-16 18:22:15 +0100 <bailsman> If I make an IOVector, put it in a record, then later replace it with another IOVector, all garbage collection "works normally" right? It's going to notice that the old iovector has no references, and collect it? There's nothing special about iovectors other than that they're mutable?
2024-11-16 18:21:58 +0100oxide(~lambda@user/oxide) (Ping timeout: 265 seconds)
2024-11-16 18:21:12 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-11-16 18:16:41 +0100alexherbo2(~alexherbo@2a02-8440-3307-845b-b47a-8df0-484a-dd57.rev.sfr.net) alexherbo2
2024-11-16 18:15:30 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2024-11-16 18:14:38 +0100euleritian(~euleritia@dynamic-176-006-147-178.176.6.pool.telefonica.de)
2024-11-16 18:11:03 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
2024-11-16 18:10:59 +0100pavonia(~user@user/siracusa) siracusa
2024-11-16 18:10:05 +0100pera(~pera@user/pera) (Quit: leaving)
2024-11-16 18:07:26 +0100housemate(~housemate@146.70.66.228) housemate
2024-11-16 18:02:06 +0100alphazone(~alphazone@2.219.56.221)
2024-11-16 18:01:17 +0100cross(~cross@spitfire.i.gajendra.net) cross
2024-11-16 18:01:14 +0100pavonia(~user@user/siracusa) (Ping timeout: 252 seconds)
2024-11-16 18:01:07 +0100igemnace(~igemnace@user/igemnace) igemnace
2024-11-16 18:00:52 +0100alphazone(~alphazone@2.219.56.221) (Ping timeout: 240 seconds)
2024-11-16 18:00:43 +0100igemnace(~igemnace@user/igemnace) (Max SendQ exceeded)
2024-11-16 18:00:43 +0100cross(~cross@spitfire.i.gajendra.net) (Max SendQ exceeded)
2024-11-16 18:00:43 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Client Quit)
2024-11-16 18:00:12 +0100tantalum.libera.chat+o ChanServ
2024-11-16 18:00:11 +0100ChanServ(ChanServ@services.libera.chat)
2024-11-16 18:00:11 +0100roosterphant_(~roosterph@185.21.217.76)
2024-11-16 18:00:11 +0100guygastineau(~guygastin@137.184.131.156) RMSBach
2024-11-16 18:00:11 +0100mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday
2024-11-16 18:00:11 +0100dibblego(~dibblego@haskell/developer/dibblego) dibblego
2024-11-16 18:00:11 +0100orcus(~orcus@mail.brprice.uk)
2024-11-16 18:00:11 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2024-11-16 18:00:11 +0100picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur
2024-11-16 18:00:11 +0100nckx(nckx@libera/staff/owl/nckx) nckx
2024-11-16 18:00:11 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) smalltalkman
2024-11-16 18:00:11 +0100dunj3(~dunj3@2a01:239:328:1600::1) dunj3
2024-11-16 18:00:11 +0100Vajb(~Vajb@n7m8bu6eaitlx0eukg2-1.v6.elisa-mobile.fi)
2024-11-16 18:00:11 +0100mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb