2025/11/22

Newest at the top

2025-11-22 05:19:47 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-22 05:18:14 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 05:15:04 +0100deptype(~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f)
2025-11-22 05:14:29 +0100deptype(~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) (Remote host closed the connection)
2025-11-22 05:12:19 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-11-22 05:08:21 +0100 <haskellbridge> <Liamzee> for instance, if you have the set of conditions constant, you can have the set of flags constant, then generate the response by zipping it with a list of actions
2025-11-22 05:07:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-22 05:06:53 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-11-22 05:06:47 +0100 <haskellbridge> <Liamzee> also, in theory, the when chain is more portable and reusable as a list
2025-11-22 05:06:28 +0100 <monochrom> Yeah the tuples would be annoying too.
2025-11-22 05:05:47 +0100 <haskellbridge> <Liamzee> Leary: it makes the string explicit instead of implicit, although i worry about the tuple
2025-11-22 05:03:54 +0100fgarcia(~lei@user/fgarcia) fgarcia
2025-11-22 05:02:51 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 04:54:51 +0100 <monochrom> It probably evolved from just 1 when-clause a long time ago to today's dozens by slowly accreting more when's over the years at the rate of 1 addition per year so at no point anyone would think about it.
2025-11-22 04:54:31 +0100 <Leary> I don't see what you gain from that refactor though; a string of `, (<cond>, <action>)` is no better than a string of `when <cond> <action>`. The latter is clear, local, and essentially the same length.
2025-11-22 04:53:34 +0100 <monochrom> Haha that's epic.
2025-11-22 04:52:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-22 04:51:43 +0100 <haskellbridge> <Liamzee> i mean this: https://gitlab.haskell.org/ghc/ghc/-/blob/master/utils/haddock/haddock-api/src/Haddock.hs?ref_type…
2025-11-22 04:50:43 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-22 04:50:27 +0100 <haskellbridge> <Liamzee> https://gitlab.haskell.org/Liamzy/haddocks-view/-/blob/master/utils/haddock/haddock-api/src/Haddoc…
2025-11-22 04:48:35 +0100 <monochrom> I am not sympathetic with young people overreacting and underthinking.
2025-11-22 04:47:29 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 04:47:12 +0100 <monochrom> Ugh English. s/came/come/
2025-11-22 04:46:49 +0100 <monochrom> or some other repetativeness.
2025-11-22 04:46:16 +0100 <monochrom> Necessity is the mother of invention. I guess I would think of that if I had 10 lines of "when"s. I had came up with clever uses of foldr and foldM in the past to replace 10 lines of something.
2025-11-22 04:45:32 +0100trickard_trickard
2025-11-22 04:44:52 +0100trickard_(~trickard@cpe-87-98-47-163.wireline.com.au)
2025-11-22 04:44:45 +0100 <monochrom> Actually I didn't think of that. Cool trick. :)
2025-11-22 04:44:36 +0100trickard_(~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 265 seconds)
2025-11-22 04:42:32 +0100deptype(~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb)
2025-11-22 04:41:56 +0100deptype(~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) (Remote host closed the connection)
2025-11-22 04:41:17 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net)
2025-11-22 04:39:41 +0100 <haskellbridge> <Liamzee> i guess the biggest issue is freaking out newbies
2025-11-22 04:39:23 +0100 <haskellbridge> <Liamzee> are there any reasons, like perofrmance, not to replace a long when sequence with traverse_ (uncurry when)?
2025-11-22 04:38:08 +0100 <jreicher> :D
2025-11-22 04:37:13 +0100 <monochrom> <troll>It just means "day" in German >:) </troll>
2025-11-22 04:36:12 +0100Googulator40(~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-22 04:35:53 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-22 04:35:50 +0100Googulator87(~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-22 04:34:57 +0100 <Leary> jreicher: I imagine they meant something equivalent to `Type.Reflection.TypeRep`.
2025-11-22 04:34:49 +0100 <int-e> I don't think it was anything concrete. It would conceptually be a GADT like data Tag t where Tag_Int :: Tag Int | Tag_List :: Tag t -> Tag [t] | ...
2025-11-22 04:33:32 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-22 04:33:00 +0100haltingsolver(~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 265 seconds)
2025-11-22 04:31:57 +0100 <jreicher> Did they mean Data.Tagged?
2025-11-22 04:31:34 +0100 <jreicher> Does anyone have a reference for the "Tag" that kuribas was talking about earlier?
2025-11-22 04:29:43 +0100ubert1ubert
2025-11-22 04:29:43 +0100ubert(~Thunderbi@178.165.175.248.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2025-11-22 04:29:26 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 04:29:09 +0100Comstar(~Comstar@user/Comstar) Comstar
2025-11-22 04:27:19 +0100vardhan(~vardhan@122.172.85.166) (Ping timeout: 246 seconds)