Logs: liberachat/#haskell
| 2025-12-20 20:56:43 | → | jonnie joins (~jonnie@user/jonnie) |
| 2025-12-20 20:59:33 | × | elarks quits (~yerri@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2025-12-20 20:59:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 21:03:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-20 21:10:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 21:13:24 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2025-12-20 21:14:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 21:15:43 | → | Googulator59 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 21:15:49 | × | Googulator53 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 21:18:40 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-20 21:18:42 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-12-20 21:21:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 21:26:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 21:29:59 | × | DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2025-12-20 21:30:14 | → | DragonMaus joins (~DragonMau@user/dragonmaus) |
| 2025-12-20 21:37:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 21:37:19 | × | DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2025-12-20 21:37:53 | → | DragonMaus joins (~DragonMau@user/dragonmaus) |
| 2025-12-20 21:43:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 21:45:56 | → | elarks joins (~yerrii@user/yerrii) |
| 2025-12-20 21:47:55 | × | kimiamania99 quits (~67ff9c12@user/kimiamania) (Quit: PegeLinux) |
| 2025-12-20 21:49:02 | → | kimiamania99 joins (~67ff9c12@user/kimiamania) |
| 2025-12-20 21:49:19 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-20 21:55:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 21:59:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-20 22:03:16 | trickard_ | is now known as trickard |
| 2025-12-20 22:05:39 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-20 22:06:12 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-20 22:06:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 22:06:37 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-12-20 22:09:14 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-20 22:11:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-20 22:11:32 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-12-20 22:12:29 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-20 22:13:13 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-20 22:13:37 | → | EvanR joins (~EvanR@user/evanr) |
| 2025-12-20 22:14:03 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-20 22:15:44 | → | Googulator93 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-20 22:15:47 | × | Googulator59 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-20 22:16:27 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 22:16:40 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 22:19:00 | × | milan2 quits (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-20 22:22:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 22:22:53 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-20 22:26:24 | trickard_ | is now known as trickard |
| 2025-12-20 22:26:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 22:29:54 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-12-20 22:30:03 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:b187:4218:3538:7a7a) |
| 2025-12-20 22:30:03 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:b187:4218:3538:7a7a) (Changing host) |
| 2025-12-20 22:30:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-12-20 22:35:51 | × | euphores quits (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2025-12-20 22:37:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 22:42:24 | × | FloorCalc quits (~user@user/FloorCalc) (Quit: toodles) |
| 2025-12-20 22:42:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 22:45:55 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-12-20 22:47:28 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 22:47:41 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 22:50:05 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-20 22:51:13 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-12-20 22:51:54 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-20 22:52:12 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-20 22:53:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 22:58:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-20 22:59:51 | → | lambda_gibbon joins (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-20 23:03:21 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-20 23:04:45 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-20 23:09:10 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-20 23:09:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 23:15:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 23:20:11 | trickard_ | is now known as trickard |
| 2025-12-20 23:21:23 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-20 23:25:35 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-20 23:25:44 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-20 23:27:14 | <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-20 23:27:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 23:28:04 | <hololeap> | oh, wait I misread it |
| 2025-12-20 23:28:33 | <hololeap> | so I guess the second function could be `id`? it still seems strange to me |
| 2025-12-20 23:31:11 | <hololeap> | something to do with the way the Applicative instance is impemented for Fold |
| 2025-12-20 23:31:12 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 23:31:25 | → | trickard joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 23:31:36 | <hololeap> | "extraction function" |
| 2025-12-20 23:31:53 | <hololeap> | "This allows the Applicative instance to assemble derived folds that traverse the container only once" |
| 2025-12-20 23:32:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-20 23:35:34 | <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-20 23:36:53 | <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-20 23:38:18 | <Leary> | I would have omitted it, since you can always `fmap` anyway. |
| 2025-12-20 23:39:28 | <byorgey> | very true |
| 2025-12-20 23:41:15 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2025-12-20 23:42:23 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2025-12-20 23:43:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-20 23:47:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-20 23:58:54 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-20 23:59:06 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-20 23:59:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 00:03:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 00:05:23 | Googulator93 | is now known as Googulator |
| 2025-12-21 00:05:44 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-12-21 00:07:20 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) |
| 2025-12-21 00:07:20 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:285a:40d:971e:7069) (Changing host) |
| 2025-12-21 00:07:20 | → | arandombit joins (~arandombi@user/arandombit) |
All times are in UTC.