| 2025-12-21 00:03:21 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-21 00:04:45 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 00:09:10 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-21 00:09:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:15:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:20:11 +0100 | trickard_ | trickard |
| 2025-12-21 00:21:23 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-21 00:25:35 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 00:25:44 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-21 00:27:14 +0100 | <hololeap> | any guesses why this wants/needs an isomorphism? https://hackage.haskell.org/package/foldl-1.4.18/docs/Control-Foldl.html#v:foldMap |
| 2025-12-21 00:27:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:28:04 +0100 | <hololeap> | oh, wait I misread it |
| 2025-12-21 00:28:33 +0100 | <hololeap> | so I guess the second function could be `id`? it still seems strange to me |
| 2025-12-21 00:31:11 +0100 | <hololeap> | something to do with the way the Applicative instance is impemented for Fold |
| 2025-12-21 00:31:12 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:31:25 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:31:36 +0100 | <hololeap> | "extraction function" |
| 2025-12-21 00:31:53 +0100 | <hololeap> | "This allows the Applicative instance to assemble derived folds that traverse the container only once" |
| 2025-12-21 00:32:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 00:35:34 +0100 | <byorgey> | the second function could be id. It just allows for a bit more flexibility in the case that the final result you want is itself not monoidal, but can be extracted from some monoidal result. |
| 2025-12-21 00:36:53 +0100 | <byorgey> | It seems like it would not be strictly necessary in the case of foldMap, but since the Fold type already provides this separate "extraction" capability for other reasons, foldMap might as well provide the extra flexibility? |
| 2025-12-21 00:38:18 +0100 | <Leary> | I would have omitted it, since you can always `fmap` anyway. |
| 2025-12-21 00:39:28 +0100 | <byorgey> | very true |
| 2025-12-21 00:41:15 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-12-21 00:42:23 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-12-21 00:43:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 00:47:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:58:54 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 00:59:06 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 00:59:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:03:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 01:05:23 +0100 | Googulator93 | Googulator |
| 2025-12-21 01:05:44 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-12-21 01:07:20 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) |
| 2025-12-21 01:07:20 +0100 | arandombit | (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) (Changing host) |
| 2025-12-21 01:07:20 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-12-21 01:14:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:16:56 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 01:17:10 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 01:19:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 01:29:22 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 01:29:35 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 01:30:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:35:00 +0100 | trickard_ | trickard |
| 2025-12-21 01:35:37 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 01:35:48 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 01:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 01:39:00 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 01:41:45 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 01:48:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 01:53:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 01:59:21 +0100 | Cyclic30 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2025-12-21 02:03:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 02:10:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 02:10:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:23:55 +0100 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2025-12-21 02:24:35 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-21 02:24:52 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-21 02:25:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:25:46 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 246 seconds) |
| 2025-12-21 02:25:47 +0100 | omidmash1 | omidmash |
| 2025-12-21 02:29:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-21 02:36:33 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 02:40:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 02:40:45 +0100 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 02:41:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-21 02:41:15 +0100 | Googulator51 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Client Quit) |
| 2025-12-21 02:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 02:56:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 03:00:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 03:02:12 +0100 | qqe | (~qqq@185.54.20.98) |
| 2025-12-21 03:02:31 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 03:03:39 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-21 03:06:59 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 260 seconds) |
| 2025-12-21 03:10:45 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 03:10:45 +0100 | Googulator95 | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 03:12:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 03:19:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 03:25:32 +0100 | Cyclic27 | (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) |
| 2025-12-21 03:28:06 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-12-21 03:29:48 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |