Newest at the top
| 2025-03-31 11:19:50 +0200 | Ikosit | (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 2025-03-31 11:19:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
| 2025-03-31 11:18:27 +0200 | fsane | (~fsane@2405:8d40:4470:9e14:fdd9:a5e:9977:d022) |
| 2025-03-31 11:06:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-31 11:05:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-03-31 11:04:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 11:02:01 +0200 | unter-oe | (~unter-oe@user/unter-oe) unter-oe |
| 2025-03-31 11:02:01 +0200 | unter-oe | (~unter-oe@176.192.243.31) (Changing host) |
| 2025-03-31 11:02:01 +0200 | unter-oe | (~unter-oe@176.192.243.31) |
| 2025-03-31 11:01:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-03-31 10:59:41 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-31 10:58:23 +0200 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-03-31 10:56:44 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 244 seconds) |
| 2025-03-31 10:47:44 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-03-31 10:46:12 +0200 | <[exa]> | Leary: turns out base even has Num a => Num (Sum a) so I don't even have to write the Sum anywhere. Thanks! |
| 2025-03-31 10:45:57 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) edwtjo |
| 2025-03-31 10:45:57 +0200 | edwtjo | (~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) (Changing host) |
| 2025-03-31 10:45:57 +0200 | edwtjo | (~edwtjo@h-155-4-52-114.A213.priv.bahnhof.se) |
| 2025-03-31 10:45:09 +0200 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2025-03-31 10:43:22 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2025-03-31 10:43:06 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-03-31 10:42:28 +0200 | swamp_ | (~zmt00@user/zmt00) zmt00 |
| 2025-03-31 10:41:10 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-03-31 10:34:02 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-03-31 10:32:53 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 248 seconds) |
| 2025-03-31 10:28:19 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f0201dd6e6931f35b33.dip0.t-ipconnect.de) acidjnk |
| 2025-03-31 10:27:14 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 10:24:41 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 2025-03-31 10:22:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-03-31 10:22:23 +0200 | <[exa]> | that's actually very lawfully lawful and thus in base, right |
| 2025-03-31 10:22:09 +0200 | <[exa]> | ah wait true |
| 2025-03-31 10:21:47 +0200 | <Leary> | In that case, you can leverage the fact that we /do/ have `instance (Monoid a, Monoid b) => Monoid (a, b)` and use `(Sum a, Sum b)`. |
| 2025-03-31 10:21:39 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-31 10:21:14 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
| 2025-03-31 10:20:42 +0200 | <[exa]> | (btw this is for use in a fold, I was mildly annoyed that Bifoldable actually doesn't fold the 2 things in parallel but it squashes them together) |
| 2025-03-31 10:20:09 +0200 | <[exa]> | cool, thanks |
| 2025-03-31 10:18:59 +0200 | <[exa]> | ooooh good |
| 2025-03-31 10:18:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-31 10:18:38 +0200 | <Leary> | Well, `biliftA2` could be your `zipBoth`. |
| 2025-03-31 10:18:15 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-03-31 10:18:03 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) () |
| 2025-03-31 10:17:55 +0200 | <[exa]> | I somehow thought this would be in tuple.extra or in bifunctors, so that I could at least write something like `zipBoth (+) (+)` but nope |
| 2025-03-31 10:17:25 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6101a7bfc96b38a12d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-03-31 10:16:40 +0200 | <[exa]> | Leary: /me sad |
| 2025-03-31 10:15:48 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-31 10:15:40 +0200 | <Leary> | Yes, pester the CLC to let `instance (Num a, Num b) => Num (a, b)` into base. |
| 2025-03-31 10:13:32 +0200 | <[exa]> | is there some library way to avoid writing (\(a,b) (c,d) -> (a+c, b+d)) ? |
| 2025-03-31 10:13:20 +0200 | <Leary> | hellwolf: Should be equivalent. `f = Identity` gives you one direction and `p = PostCompose f q` the other, where `newtype PostCompose f q x y = MkPC (q x (f y))`. |
| 2025-03-31 10:12:34 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-03-31 10:11:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |