Logs: liberachat/#haskell
| 2025-11-22 02:12:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 02:16:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 02:23:30 | × | trickard quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 02:23:44 | → | trickard_ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 02:27:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 02:30:37 | × | trickard_ quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 02:32:21 | × | deptype quits (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) (Remote host closed the connection) |
| 2025-11-22 02:32:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 02:32:40 | → | deptype joins (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) |
| 2025-11-22 02:34:07 | → | trickard_ joins (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 02:36:06 | × | Ranhir quits (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-11-22 02:43:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 02:47:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 02:48:00 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-22 02:58:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 03:03:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 03:06:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 03:14:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 03:17:05 | → | vardhan joins (~vardhan@122.172.85.166) |
| 2025-11-22 03:18:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 03:18:56 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-22 03:20:27 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2025-11-22 03:21:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 03:22:08 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2025-11-22 03:24:25 | → | bggd joins (~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) |
| 2025-11-22 03:26:58 | → | ubert1 joins (~Thunderbi@77.119.163.162.wireless.dyn.drei.com) |
| 2025-11-22 03:27:19 | × | vardhan quits (~vardhan@122.172.85.166) (Ping timeout: 246 seconds) |
| 2025-11-22 03:29:09 | → | Comstar joins (~Comstar@user/Comstar) |
| 2025-11-22 03:29:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 03:29:43 | × | ubert quits (~Thunderbi@178.165.175.248.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2025-11-22 03:29:43 | ubert1 | is now known as ubert |
| 2025-11-22 03:31:34 | <jreicher> | Does anyone have a reference for the "Tag" that kuribas was talking about earlier? |
| 2025-11-22 03:31:57 | <jreicher> | Did they mean Data.Tagged? |
| 2025-11-22 03:33:00 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 265 seconds) |
| 2025-11-22 03:33:32 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-11-22 03:34:49 | <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 03:34:57 | <Leary> | jreicher: I imagine they meant something equivalent to `Type.Reflection.TypeRep`. |
| 2025-11-22 03:35:50 | → | Googulator87 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 03:35:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 03:36:12 | × | Googulator40 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 03:37:13 | <monochrom> | <troll>It just means "day" in German >:) </troll> |
| 2025-11-22 03:38:08 | <jreicher> | :D |
| 2025-11-22 03:39:23 | <haskellbridge> | <Liamzee> are there any reasons, like perofrmance, not to replace a long when sequence with traverse_ (uncurry when)? |
| 2025-11-22 03:39:41 | <haskellbridge> | <Liamzee> i guess the biggest issue is freaking out newbies |
| 2025-11-22 03:41:17 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-22 03:41:56 | × | deptype quits (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) (Remote host closed the connection) |
| 2025-11-22 03:42:32 | → | deptype joins (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) |
| 2025-11-22 03:44:36 | × | trickard_ quits (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 2025-11-22 03:44:45 | <monochrom> | Actually I didn't think of that. Cool trick. :) |
| 2025-11-22 03:44:52 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 03:45:32 | trickard_ | is now known as trickard |
| 2025-11-22 03:46:16 | <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 03:46:49 | <monochrom> | or some other repetativeness. |
| 2025-11-22 03:47:12 | <monochrom> | Ugh English. s/came/come/ |
| 2025-11-22 03:47:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 03:48:35 | <monochrom> | I am not sympathetic with young people overreacting and underthinking. |
| 2025-11-22 03:50:27 | <haskellbridge> | <Liamzee> https://gitlab.haskell.org/Liamzy/haddocks-view/-/blob/master/utils/haddock/haddock-api/src/Haddock.hs?ref_type=heads |
| 2025-11-22 03:50:43 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 03:51:43 | <haskellbridge> | <Liamzee> i mean this: https://gitlab.haskell.org/ghc/ghc/-/blob/master/utils/haddock/haddock-api/src/Haddock.hs?ref_type=heads |
| 2025-11-22 03:52:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 03:53:34 | <monochrom> | Haha that's epic. |
| 2025-11-22 03:54:31 | <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 03:54:51 | <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:02:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 04:03:54 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-11-22 04:05:47 | <haskellbridge> | <Liamzee> Leary: it makes the string explicit instead of implicit, although i worry about the tuple |
| 2025-11-22 04:06:28 | <monochrom> | Yeah the tuples would be annoying too. |
| 2025-11-22 04:06:47 | <haskellbridge> | <Liamzee> also, in theory, the when chain is more portable and reusable as a list |
| 2025-11-22 04:06:53 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-11-22 04:07:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 04:08:21 | <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 04:12:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 04:14:29 | × | deptype quits (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) (Remote host closed the connection) |
| 2025-11-22 04:15:04 | → | deptype joins (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) |
| 2025-11-22 04:18:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 04:19:47 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:22:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 04:30:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 04:33:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 04:34:31 | × | deptype quits (~deptype@2406:b400:3a:9d2f:a6ea:b4a1:b325:a58f) (Remote host closed the connection) |
| 2025-11-22 04:34:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:35:06 | → | deptype joins (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) |
| 2025-11-22 04:35:42 | × | Googulator87 quits (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 04:35:47 | → | Googulator43 joins (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 04:38:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 04:42:16 | × | Square3 quits (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-11-22 04:44:33 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-11-22 04:46:08 | × | trickard quits (~trickard@cpe-87-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 04:46:21 | → | trickard_ joins (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 04:47:22 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-11-22 04:47:35 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-11-22 04:48:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:49:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-22 04:50:03 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-11-22 04:53:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 04:53:21 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-11-22 04:54:06 | <Comstar> | what's the bridge to |
| 2025-11-22 04:54:26 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-11-22 04:54:33 | × | deptype quits (~deptype@2406:b400:3a:9d2f:eb5d:86e5:8fa9:c8d4) (Remote host closed the connection) |
| 2025-11-22 04:54:48 | → | deptype joins (~deptype@2406:b400:3a:9d2f:8683:4951:5b82:1f35) |
All times are in UTC.