2024/11/16

Newest at the top

2024-11-16 20:30:31 +0100 <Rembane> RedNifre: Out of curiosity, which language are you working in?
2024-11-16 20:28:39 +0100 <RedNifre> Or flatReduce
2024-11-16 20:28:22 +0100 <RedNifre> Well, if there is no name for such a thing (And since I'm actually programming in a different language where bind is called "flatMap"), I'll probably go with "flatFold" for now.
2024-11-16 20:21:27 +0100sprotte24(~sprotte24@p200300d16f220900784866affc8a4e1f.dip0.t-ipconnect.de)
2024-11-16 20:17:50 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2024-11-16 20:13:47 +0100malte(~malte@152.89.107.66) malte
2024-11-16 20:09:26 +0100institor(~henricus@user/institor) (K-Lined)
2024-11-16 19:59:22 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-11-16 19:57:45 +0100acidjnk_new(~acidjnk@p200300d6e7283f16f0fc97e1b3533d6e.dip0.t-ipconnect.de) acidjnk
2024-11-16 19:51:09 +0100MajorBiscuit(~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) (Ping timeout: 252 seconds)
2024-11-16 19:48:27 +0100Jeanne-Kamikaze(~Jeanne-Ka@79.127.217.50) Jeanne-Kamikaze
2024-11-16 19:47:29 +0100euleritian(~euleritia@dynamic-176-001-130-146.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
2024-11-16 19:47:14 +0100housemate(~housemate@146.70.66.228) (Max SendQ exceeded)
2024-11-16 19:46:23 +0100housemate(~housemate@146.70.66.228) housemate
2024-11-16 19:45:39 +0100housemate(~housemate@146.70.66.228) (Max SendQ exceeded)
2024-11-16 19:45:36 +0100housemate(~housemate@146.70.66.228) housemate
2024-11-16 19:45:23 +0100euleritian(~euleritia@dynamic-176-001-130-146.176.1.pool.telefonica.de)
2024-11-16 19:36:12 +0100euleritian(~euleritia@dynamic-176-004-002-246.176.4.pool.telefonica.de) (Ping timeout: 252 seconds)
2024-11-16 19:30:16 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2024-11-16 19:28:16 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2024-11-16 19:27:26 +0100EvanR(~EvanR@user/evanr) (Quit: Leaving)
2024-11-16 19:23:48 +0100MajorBiscuit(~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) MajorBiscuit
2024-11-16 19:23:36 +0100dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2024-11-16 19:23:23 +0100MajorBiscuit(~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) (Client Quit)
2024-11-16 19:23:17 +0100dostoyev1ky2(~sck@user/dostoyevsky2) (Quit: leaving)
2024-11-16 19:23:12 +0100MajorBiscuit(~MajorBisc@2001:1c00:310:6a00:4b2d:45fc:5f3c:d4d5) MajorBiscuit
2024-11-16 19:23:08 +0100euleritian(~euleritia@dynamic-176-004-002-246.176.4.pool.telefonica.de)
2024-11-16 19:22:24 +0100euleritian(~euleritia@dynamic-176-006-147-178.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
2024-11-16 19:19:42 +0100michalz(~michalz@185.246.207.203)
2024-11-16 19:17:30 +0100Digit(~user@user/digit) Digit
2024-11-16 19:14:11 +0100acidjnk_new(~acidjnk@p200300d6e7283f16f0fc97e1b3533d6e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-11-16 19:13:32 +0100housemate(~housemate@146.70.66.228) (Quit: Nothing to see here. I wasn't there.)
2024-11-16 19:13:07 +0100hellwolf(~user@04ed-dbc2-42ba-2a72-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2024-11-16 19:12:49 +0100hellwolf(~user@04ed-dbc2-42ba-2a72-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
2024-11-16 19:07:31 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2024-11-16 19:05:17 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin)
2024-11-16 18:51:50 +0100notzmv(~daniel@user/notzmv) notzmv
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