| 2025-05-09 00:00:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 00:00:44 +0200 | volsand | (~volsand@2804:1b1:1080:da6:dcbd:80c:8e7b:1cf7) (Remote host closed the connection) |
| 2025-05-09 00:05:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-09 00:14:29 +0200 | mxs9 | (~mxs@user/mxs) mxs |
| 2025-05-09 00:27:04 +0200 | chas | (~chas@69.243.201.37) |
| 2025-05-09 00:30:18 +0200 | Guest58 | (~Guest58@2601:483:b00:d550:552d:ffa9:4fce:b2c6) |
| 2025-05-09 00:31:43 +0200 | Guest58 | (~Guest58@2601:483:b00:d550:552d:ffa9:4fce:b2c6) (Client Quit) |
| 2025-05-09 00:33:45 +0200 | chas | (~chas@69.243.201.37) (Quit: leaving) |
| 2025-05-09 00:34:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-09 00:35:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-09 00:38:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 00:39:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 00:39:41 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) (Remote host closed the connection) |
| 2025-05-09 00:40:41 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) |
| 2025-05-09 00:41:01 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-09 00:41:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2025-05-09 00:42:33 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-09 00:43:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 00:48:09 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-05-09 00:53:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:df43:4d2b:b873:7ac7) (Ping timeout: 248 seconds) |
| 2025-05-09 00:54:04 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-09 00:54:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 00:54:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a861:5434:8d1e:f1de) |
| 2025-05-09 00:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-09 00:59:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-09 01:00:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 01:04:34 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 01:07:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-09 01:07:15 +0200 | ljdarj1 | ljdarj |
| 2025-05-09 01:09:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:13:12 +0200 | wbrawner | (~wbrawner@static.205.41.78.5.clients.your-server.de) wbrawner |
| 2025-05-09 01:13:20 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2025-05-09 01:15:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 01:19:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-09 01:24:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-09 01:24:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-09 01:25:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:29:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a861:5434:8d1e:f1de) (Quit: xff0x) |
| 2025-05-09 01:32:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 01:38:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 01:39:01 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) (Remote host closed the connection) |
| 2025-05-09 01:39:13 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) |
| 2025-05-09 01:43:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:48:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 01:49:00 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f4911c235e3ddcab2f1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-09 01:49:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:200d:e23d:ad3b:4ed4) |
| 2025-05-09 01:50:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 01:51:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-09 01:55:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 02:02:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:04:34 +0200 | jespada_ | (~jespada@r167-61-122-127.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-09 02:06:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:10:51 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:11:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 02:13:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2025-05-09 02:22:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:25:29 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: halloy4450) |
| 2025-05-09 02:25:48 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:27:12 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-09 02:27:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 02:32:22 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 244 seconds) |
| 2025-05-09 02:34:59 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-09 02:38:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:38:46 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 276 seconds) |
| 2025-05-09 02:43:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-09 02:44:05 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:45:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:200d:e23d:ad3b:4ed4) (Quit: xff0x) |
| 2025-05-09 02:49:06 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-09 02:49:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cdea:6e23:8831:63b5) |
| 2025-05-09 02:50:13 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-05-09 02:50:35 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 02:53:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 02:55:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-09 02:58:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 03:01:10 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-09 03:01:27 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-09 03:02:19 +0200 | mange | (~user@user/mange) mange |
| 2025-05-09 03:03:26 +0200 | <joeyadams> | Should a Haskell package's minor version be incremented after adding a dependency to the testsuite? |
| 2025-05-09 03:04:40 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 2025-05-09 03:06:13 +0200 | <geekosaur> | pvp doesn't even handle executables well, much less test suites or benchmarks |
| 2025-05-09 03:08:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:cdea:6e23:8831:63b5) (Ping timeout: 268 seconds) |
| 2025-05-09 03:09:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 03:16:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 03:21:43 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 272 seconds) |
| 2025-05-09 03:22:24 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 03:27:45 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) kritzefitz |
| 2025-05-09 03:27:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 03:28:55 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) (Remote host closed the connection) |
| 2025-05-09 03:32:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 03:40:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 03:43:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 03:48:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 03:58:03 +0200 | <haskellbridge> | <sm> joeyadams sounds like something will have to be incremented, unless you're thinking of a hackage revision |
| 2025-05-09 03:59:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 04:03:35 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-09 04:04:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 04:09:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 04:10:52 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2025-05-09 04:11:10 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-09 04:11:16 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-05-09 04:14:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 04:20:33 +0200 | td_ | (~td@i53870937.versanet.de) (Ping timeout: 248 seconds) |
| 2025-05-09 04:22:34 +0200 | td_ | (~td@i53870906.versanet.de) |
| 2025-05-09 04:33:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-09 04:40:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 04:45:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 04:56:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:01:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 05:04:56 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-09 05:06:13 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-09 05:10:47 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-05-09 05:11:04 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-05-09 05:12:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:17:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 05:27:49 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 05:28:06 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-09 05:28:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:30:22 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-09 05:32:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 05:38:22 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2025-05-09 05:43:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 05:47:45 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-05-09 05:49:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 05:50:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-09 05:54:58 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-09 05:57:34 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 05:59:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 06:04:19 +0200 | _________ | (~nobody@user/noodly) _________ |
| 2025-05-09 06:05:33 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-09 06:05:56 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-09 06:06:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 06:09:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-09 06:10:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 06:11:27 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-09 06:15:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 06:17:17 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-05-09 06:17:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-09 06:17:29 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-05-09 06:18:50 +0200 | _xor4 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-05-09 06:19:22 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2025-05-09 06:19:23 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Read error: Connection reset by peer) |
| 2025-05-09 06:20:13 +0200 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-05-09 06:20:13 +0200 | _xor4 | _xor |
| 2025-05-09 06:22:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 06:25:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 06:30:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 06:38:38 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 06:38:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-09 06:41:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 06:43:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-09 06:46:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 06:47:00 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-09 06:54:06 +0200 | takuan_dozo | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-09 06:54:06 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-09 06:55:24 +0200 | takuan_dozo | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-09 06:55:24 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-09 06:57:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 07:02:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 07:03:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 07:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 07:16:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 07:21:39 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 245 seconds) |
| 2025-05-09 07:23:19 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
| 2025-05-09 07:24:43 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-05-09 07:26:52 +0200 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 244 seconds) |
| 2025-05-09 07:26:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 07:29:31 +0200 | <Axma13761> | I have a possibly very dumb question, but - how do you attend ICFP? do you need a ticket or do you just rock up? I couldn't find a good answer on the website |
| 2025-05-09 07:30:57 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-09 07:31:40 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-05-09 07:32:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 07:35:54 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-09 07:38:05 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) |
| 2025-05-09 07:39:28 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 07:40:15 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-09 07:42:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 07:43:03 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-05-09 07:44:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-05-09 07:45:17 +0200 | <mauke> | I would assume you need to register, but also registration may not be open yet |
| 2025-05-09 07:45:49 +0200 | _xor | (~xor@ip-50-5-4-25.dynamic.fuse.net) _xor |
| 2025-05-09 07:50:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-09 07:50:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-09 07:53:26 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) |
| 2025-05-09 07:56:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-09 07:58:43 +0200 | <lyxia> | Axma13761: registration usually opens two or three months before the event. |
| 2025-05-09 08:00:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:00:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-09 08:00:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-09 08:05:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 08:09:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 08:10:55 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-09 08:12:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:12:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 08:17:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 08:17:52 +0200 | Axma13761 | Axman6 |
| 2025-05-09 08:18:19 +0200 | <Axman6> | lyxia: perfect, thanks - is there a mailing list I can sign up to? |
| 2025-05-09 08:24:35 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-09 08:26:31 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 08:27:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:31:04 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 08:32:16 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
| 2025-05-09 08:33:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 08:33:06 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2025-05-09 08:34:10 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-05-09 08:35:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-05-09 08:37:45 +0200 | jle` | (~jle`@2603:8001:3b00:11::1156) (Ping timeout: 272 seconds) |
| 2025-05-09 08:38:06 +0200 | jle` | (~jle`@2603:8001:3b00:11:20d1:30be:71d9:b2d8) jle` |
| 2025-05-09 08:43:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 08:48:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 08:48:29 +0200 | euleritian | (~euleritia@dynamic-176-006-139-045.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 08:49:17 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-09 08:51:33 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 08:51:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-09 08:59:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-09 09:00:38 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-09 09:00:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-05-09 09:01:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) acidjnk |
| 2025-05-09 09:01:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-09 09:04:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-09 09:04:40 +0200 | <tomsmeding> | Axman6: I haven't seen mailing lists for specific conferences or conference editions, no |
| 2025-05-09 09:05:11 +0200 | <tomsmeding> | registration will indeed be on the website, and is indeed not open yet |
| 2025-05-09 09:05:27 +0200 | <tomsmeding> | be aware that registration is _not free_, not remotely |
| 2025-05-09 09:05:52 +0200 | <tomsmeding> | in past years there was sometimes a discord for the conference, sometimes not |
| 2025-05-09 09:13:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:18:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-09 09:23:37 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-05-09 09:23:38 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-09 09:23:38 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-09 09:23:39 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-09 09:28:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:29:32 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-09 09:35:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-09 09:38:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-09 09:39:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 09:41:10 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-09 09:43:00 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-09 09:48:28 +0200 | <hellwolf> | | I see a whole series of proposals (of which this is merely the most recent) whose cumulative effect is to make Haskell code ugly and hard to read |
| 2025-05-09 09:48:51 +0200 | <hellwolf> | I saw a discourse post (which got flagged and banned :D), I wanted to comment here instead. |
| 2025-05-09 09:49:33 +0200 | <hellwolf> | actually, I find reading some of the math paper "ugly" and hard to read too. But the more fairway I find is rather it's dense and difficult to digest if I don't have the context. I should not use the word "ugly" too freely. |
| 2025-05-09 09:49:48 +0200 | <hellwolf> | *fair way to say |
| 2025-05-09 09:50:29 +0200 | <hellwolf> | reading pages of type theory papers' induction/elimination rules get to my head instantly. |
| 2025-05-09 09:50:34 +0200 | <hellwolf> | *introduction |
| 2025-05-09 09:51:15 +0200 | <hellwolf> | good morning, y'all. another day of grind. |
| 2025-05-09 09:55:33 +0200 | <__monty__> | Try enjoying life a little instead. |
| 2025-05-09 09:56:08 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 09:58:54 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-09 10:00:27 +0200 | <hellwolf> | what's your favorite way of enjoying the life? |
| 2025-05-09 10:02:09 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-09 10:02:28 +0200 | <__monty__> | It's usually related to nature in some way, observing it, being in it, learning about it. |
| 2025-05-09 10:02:30 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2025-05-09 10:09:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 10:09:42 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 10:10:50 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 10:14:41 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-05-09 10:15:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-09 10:19:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 10:54:45 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-05-09 10:57:09 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-09 10:59:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 11:01:01 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:01:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-09 11:01:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:04:01 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-09 11:10:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:11:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:23:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds) |
| 2025-05-09 11:24:51 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:30:14 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-09 11:30:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-09 11:54:19 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-05-09 11:56:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-05-09 12:06:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-09 12:10:23 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-05-09 12:11:29 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:da63:fbf2:4235:23ab) ubert |
| 2025-05-09 12:11:59 +0200 | <haskellbridge> | <yin> just now, after years of not really thinking about it, have i intuitively understood `flip id` |
| 2025-05-09 12:15:38 +0200 | <c_wraith> | here's the fun thing about `flip id`: It's identical to `flip ($)`, and that's not an accident. |
| 2025-05-09 12:16:39 +0200 | <haskellbridge> | <Morj> I understand it logically, but not intuitively |
| 2025-05-09 12:24:18 +0200 | <haskellbridge> | <yin> up until today i only understood it logically. it just clicked for me |
| 2025-05-09 12:24:48 +0200 | <haskellbridge> | <yin> ($) is just id with different precedence |
| 2025-05-09 12:25:52 +0200 | <c_wraith> | well... and a more restricted type. |
| 2025-05-09 12:26:39 +0200 | <c_wraith> | but they're the same operation when applied to a function |
| 2025-05-09 12:27:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 272 seconds) |
| 2025-05-09 12:30:24 +0200 | <haskellbridge> | <yin> yep |
| 2025-05-09 12:47:05 +0200 | <hellwolf> | how do you use it? logically I understood too, on paper. |
| 2025-05-09 12:47:58 +0200 | <hellwolf> | huh, so it is the same as (&) |
| 2025-05-09 12:50:02 +0200 | <sprout> | now someone explain `flip id` to me |
| 2025-05-09 12:53:51 +0200 | <Leary> | There's nothing much to it: `flip id x f = id f x = f x`. |
| 2025-05-09 12:54:52 +0200 | <dutchie> | i guess the important bit is to think of id's type not as a -> a, but (a -> b) -> a -> b |
| 2025-05-09 12:55:10 +0200 | <dutchie> | think of/specialise i guess |
| 2025-05-09 12:58:13 +0200 | <hellwolf> | in my head it is simple |
| 2025-05-09 12:58:27 +0200 | <hellwolf> | :t id |
| 2025-05-09 12:58:28 +0200 | <lambdabot> | a -> a |
| 2025-05-09 12:58:31 +0200 | <hellwolf> | :t flip |
| 2025-05-09 12:58:32 +0200 | <lambdabot> | (a -> b -> c) -> b -> a -> c |
| 2025-05-09 12:58:48 +0200 | <hellwolf> | a -> a ~ a -> (b -> c) => a ~ b -> c |
| 2025-05-09 12:58:52 +0200 | <hellwolf> | the rest follows |
| 2025-05-09 12:58:59 +0200 | <hellwolf> | but that's logic; I dont' find it intuitive |
| 2025-05-09 13:01:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-09 13:01:45 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-09 13:14:20 +0200 | <haskellbridge> | <hellwolf> Maybe if I think of "id" as a shapeshifter that'd help |
| 2025-05-09 13:15:58 +0200 | <haskellbridge> | <hellwolf> (a -> b) -> a -> b |
| 2025-05-09 13:15:58 +0200 | <haskellbridge> | (a -> b -> c) -> a -> b -> c |
| 2025-05-09 13:16:17 +0200 | <haskellbridge> | <hellwolf> and so on, so it can morph into any-ary as you wish |
| 2025-05-09 13:20:56 +0200 | <haskellbridge> | <yin> next goal is to gain some sort of intuition on |
| 2025-05-09 13:21:06 +0200 | <haskellbridge> | <yin> this |
| 2025-05-09 13:21:06 +0200 | <haskellbridge> | :t flip flip id |
| 2025-05-09 13:21:06 +0200 | <lambdabot> | (a1 -> (a2 -> a2) -> c) -> a1 -> c |
| 2025-05-09 13:22:14 +0200 | <haskellbridge> | <hellwolf> hmm not as interesting as all the SEC combinators |
| 2025-05-09 13:22:25 +0200 | <haskellbridge> | <hellwolf> hardly useful? |
| 2025-05-09 13:24:00 +0200 | <haskellbridge> | <yin> the interesting thing is that if you keep adding flips, the signature converges |
| 2025-05-09 13:25:38 +0200 | <hellwolf> | :type flip flip flip flip flip flip flip flip flip flip flip flip id |
| 2025-05-09 13:25:44 +0200 | <hellwolf> | :t flip flip flip flip flip flip flip flip flip flip flip flip id |
| 2025-05-09 13:25:45 +0200 | <lambdabot> | (((a -> b -> c1) -> b -> a -> c1) -> c2) -> c2 |
| 2025-05-09 13:26:25 +0200 | <yin> | :t flip flip flip id |
| 2025-05-09 13:26:26 +0200 | <lambdabot> | (((a -> b -> c1) -> b -> a -> c1) -> c2) -> c2 |
| 2025-05-09 13:27:37 +0200 | <hellwolf> | :t flip flip |
| 2025-05-09 13:27:38 +0200 | <lambdabot> | b -> (a -> b -> c) -> a -> c |
| 2025-05-09 13:27:41 +0200 | <hellwolf> | :t flip flip flip |
| 2025-05-09 13:27:42 +0200 | <lambdabot> | (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2 |
| 2025-05-09 13:27:44 +0200 | <hellwolf> | :t flip flip flip flip |
| 2025-05-09 13:27:45 +0200 | <lambdabot> | (a1 -> ((a2 -> b -> c1) -> b -> a2 -> c1) -> c2) -> a1 -> c2 |
| 2025-05-09 13:28:24 +0200 | <hellwolf> | Can you do type-level fixed point |
| 2025-05-09 13:28:44 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-05-09 13:29:03 +0200 | <yin> | yes but not really but sure |
| 2025-05-09 13:29:17 +0200 | <yin> | depending on what you mean exactly |
| 2025-05-09 13:29:35 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 13:33:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-09 13:33:41 +0200 | ljdarj1 | ljdarj |
| 2025-05-09 13:39:05 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-05-09 13:40:55 +0200 | <hellwolf> | I don't know. I was thinking on find that number of flips automatically. But that's just Type to Type, hardly a type-level thing. But if I use "type", than I cannot do unsaturated calculation. if I use "data" then the type that's interesting is enclosed. |
| 2025-05-09 13:41:16 +0200 | <hellwolf> | type Flip a b c = (a -> b -> c) -> b -> a -> c |
| 2025-05-09 13:41:29 +0200 | <hellwolf> | data Flip a b c = Flip ((a -> b -> c) -> b -> a -> c) |
| 2025-05-09 13:41:31 +0200 | <hellwolf> | neither is usable |
| 2025-05-09 13:43:03 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-05-09 13:43:15 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-05-09 13:46:30 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-09 13:46:50 +0200 | krei-se | (~krei-se@p50829f98.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-09 13:49:45 +0200 | <hellwolf> | | data Flip a b c f where MkFlip :: forall f a b c. f ~ (a -> b -> c) -> b -> a -> c => Flip a b c f |
| 2025-05-09 13:50:15 +0200 | <hellwolf> | Invalid, is there any thing to it: Flip a b c (Flip a b c f) |
| 2025-05-09 13:50:18 +0200 | <hellwolf> | anyways, enough geek out. |
| 2025-05-09 13:50:21 +0200 | <hellwolf> | for today. |
| 2025-05-09 13:51:37 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-05-09 13:53:45 +0200 | <yin> | maybe with type families |
| 2025-05-09 13:54:26 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-09 13:54:45 +0200 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-05-09 13:56:38 +0200 | <tomsmeding> | related: |
| 2025-05-09 13:56:40 +0200 | <tomsmeding> | :t fmap fmap fmap fmap fmap |
| 2025-05-09 13:56:41 +0200 | <lambdabot> | Functor f => (a1 -> b) -> (a2 -> a1) -> f a2 -> f b |
| 2025-05-09 13:56:53 +0200 | <tomsmeding> | oh the parens are wrong |
| 2025-05-09 13:57:04 +0200 | <tomsmeding> | :t fmap fmap (fmap fmap fmap) |
| 2025-05-09 13:57:05 +0200 | <lambdabot> | (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b)) |
| 2025-05-09 13:57:06 +0200 | <tomsmeding> | there |
| 2025-05-09 13:57:17 +0200 | <tomsmeding> | :t fmap . fmap . fmap |
| 2025-05-09 13:57:17 +0200 | <lambdabot> | (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b)) |
| 2025-05-09 14:04:55 +0200 | <yin> | well that's simple |
| 2025-05-09 14:05:20 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-09 14:06:01 +0200 | <yin> | i'm going to fail miserably trying to evoke lambdabot |
| 2025-05-09 14:06:17 +0200 | <yin> | :src fmap@((->) r) |
| 2025-05-09 14:07:09 +0200 | <yin> | i'm sure i failed in more ways than just one :) |
| 2025-05-09 14:08:49 +0200 | <yin> | anyways, it becomes obvious those are the same when you know that `instance Functor ((->) r) where fmap = (.)` |
| 2025-05-09 14:10:32 +0200 | <yin> | (obvious might be a strong word) |
| 2025-05-09 14:16:13 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-09 14:16:16 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6a78:8b93:a1e2:8e69) |
| 2025-05-09 14:16:23 +0200 | volsand | (~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a) |
| 2025-05-09 14:18:21 +0200 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-05-09 14:18:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-09 14:19:16 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-09 14:33:19 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-09 14:35:26 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 14:39:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-09 14:39:23 +0200 | ljdarj1 | ljdarj |
| 2025-05-09 14:39:24 +0200 | krei-se | (~krei-se@p3ee0f1b5.dip0.t-ipconnect.de) krei-se |
| 2025-05-09 14:47:04 +0200 | <tomsmeding> | :src Functor -> |
| 2025-05-09 14:47:08 +0200 | <tomsmeding> | @src Functor -> |
| 2025-05-09 14:47:08 +0200 | <lambdabot> | Source not found. My pet ferret can type better than you! |
| 2025-05-09 14:47:14 +0200 | <tomsmeding> | @src fmap -> |
| 2025-05-09 14:47:14 +0200 | <lambdabot> | Source not found. There are some things that I just don't know. |
| 2025-05-09 14:47:16 +0200 | <tomsmeding> | @src fmap (->) |
| 2025-05-09 14:47:16 +0200 | <lambdabot> | Source not found. stty: unknown mode: doofus |
| 2025-05-09 14:47:18 +0200 | <tomsmeding> | meh |
| 2025-05-09 14:49:30 +0200 | <JuanDaugherty> | is blather the plural of blither? |
| 2025-05-09 14:49:39 +0200 | <tomsmeding> | @src (->) fmap |
| 2025-05-09 14:49:39 +0200 | <lambdabot> | fmap = (.) |
| 2025-05-09 14:49:43 +0200 | <tomsmeding> | yin: ^ |
| 2025-05-09 14:50:36 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-09 14:53:43 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-09 14:59:15 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-09 15:01:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-09 15:06:48 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-09 15:16:40 +0200 | AlexZenon | (~alzenon@5.139.233.9) (Ping timeout: 276 seconds) |
| 2025-05-09 15:17:04 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-09 15:17:38 +0200 | euleritian | (~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) |
| 2025-05-09 15:20:19 +0200 | AlexZenon | (~alzenon@5.139.233.9) |
| 2025-05-09 15:23:48 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2025-05-09 15:26:12 +0200 | euleritian | (~euleritia@dynamic-176-006-140-144.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-05-09 15:26:57 +0200 | euleritian | (~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) |
| 2025-05-09 15:27:09 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 276 seconds) |
| 2025-05-09 15:30:42 +0200 | euleritian | (~euleritia@dynamic-176-000-129-047.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 15:30:59 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-09 15:38:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-05-09 15:38:23 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 15:44:12 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
| 2025-05-09 15:44:51 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-09 15:47:48 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-09 15:47:51 +0200 | ubert1 | (~Thunderbi@2a02:8109:ab8a:5a00:da63:fbf2:4235:23ab) (Remote host closed the connection) |
| 2025-05-09 15:48:05 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a8d9:6b00:b3e4:21a7) ubert |
| 2025-05-09 15:48:19 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-09 15:50:46 +0200 | <__monty__> | :t fmap `fmap` fmap `fmap` fmap |
| 2025-05-09 15:50:47 +0200 | <lambdabot> | (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b)) |
| 2025-05-09 15:53:33 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 15:54:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-09 15:54:40 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 16:01:17 +0200 | loonycyborg | (loonycybor@wesnoth/developer/loonycyborg) loonycyborg |
| 2025-05-09 16:03:54 +0200 | <hellwolf> | mapM mapM mapmapmapM (anyone knows the refrence?) |
| 2025-05-09 16:04:06 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) zenstoic |
| 2025-05-09 16:19:29 +0200 | <ncf> | should be mapmapmapMM, assuming i know the reference |
| 2025-05-09 16:30:17 +0200 | <hellwolf> | :) yes |
| 2025-05-09 16:36:11 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-05-09 16:40:47 +0200 | volsand | (~volsand@2804:1b1:1080:da6:6c3e:b62d:211b:1c3a) (Remote host closed the connection) |
| 2025-05-09 16:41:03 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-05-09 16:55:28 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-05-09 17:04:10 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-09 17:08:36 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-09 17:09:35 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2025-05-09 17:29:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2025-05-09 18:03:44 +0200 | Square | (~Square@user/square) Square |
| 2025-05-09 18:05:22 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-05-09 18:05:39 +0200 | euleritian | (~euleritia@77.23.248.100) (Ping timeout: 260 seconds) |
| 2025-05-09 18:05:52 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 2025-05-09 18:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-09 18:16:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 18:17:22 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-09 18:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 18:18:01 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-09 18:29:22 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a8d9:6b00:b3e4:21a7) (Quit: ubert) |
| 2025-05-09 18:31:22 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 18:31:39 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 2025-05-09 18:33:02 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-09 18:33:59 +0200 | jespada_ | (~jespada@r167-61-136-127.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-09 18:35:07 +0200 | jespada | (~jespada@r179-25-104-52.dialup.adsl.anteldata.net.uy) (Ping timeout: 265 seconds) |
| 2025-05-09 18:39:01 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 18:39:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-09 18:40:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-05-09 18:41:36 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 18:48:21 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 248 seconds) |
| 2025-05-09 18:52:26 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-09 18:58:23 +0200 | halloy4450 | (~halloy445@pool-71-174-119-56.bstnma.fios.verizon.net) (Quit: halloy4450) |
| 2025-05-09 19:05:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-09 19:12:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-05-09 19:20:08 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-05-09 19:20:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-09 19:20:09 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2025-05-09 19:20:12 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-09 19:20:29 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-09 19:20:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-09 19:20:52 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-09 19:22:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 19:23:48 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-05-09 19:34:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 19:36:22 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-05-09 19:37:26 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-09 19:42:28 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-09 19:42:45 +0200 | euleritian | (~euleritia@ip5f5ad180.dynamic.kabel-deutschland.de) |
| 2025-05-09 19:58:35 +0200 | euleritian | (~euleritia@ip5f5ad180.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2025-05-09 19:59:02 +0200 | euleritian | (~euleritia@dynamic-176-000-193-082.176.0.pool.telefonica.de) |
| 2025-05-09 20:01:03 +0200 | priestman7819 | (~priestman@2607:fb91:8c9b:5c85:b419:47ff:fe89:aaf4) |
| 2025-05-09 20:08:50 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-09 20:08:54 +0200 | priestman7819 | (~priestman@2607:fb91:8c9b:5c85:b419:47ff:fe89:aaf4) (Ping timeout: 240 seconds) |
| 2025-05-09 20:09:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 20:11:18 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-09 20:11:27 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f03cc4d8db2fb428aa9.dip0.t-ipconnect.de) |
| 2025-05-09 20:13:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-09 20:15:13 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-09 20:18:55 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-05-09 20:34:43 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
| 2025-05-09 20:38:55 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-09 20:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-09 20:44:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 20:48:46 +0200 | beka | (~beka@2607:f598:bd4a:330:66d1:97e6:9764:f51f) |
| 2025-05-09 20:51:40 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 20:52:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-05-09 20:53:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 20:53:17 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-09 20:57:31 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-09 21:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-09 21:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-09 21:07:39 +0200 | sprotte24 | (~sprotte24@p200300d16f4c5600f9fedd9f4ccf13a5.dip0.t-ipconnect.de) |
| 2025-05-09 21:10:48 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Quit: fp) |
| 2025-05-09 21:11:07 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-09 21:12:53 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Remote host closed the connection) |
| 2025-05-09 21:14:42 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-09 21:17:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 21:22:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-09 21:23:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2025-05-09 21:25:13 +0200 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-05-09 21:34:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-09 21:37:16 +0200 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 252 seconds) |
| 2025-05-09 21:47:12 +0200 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2025-05-09 21:47:12 +0200 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2025-05-09 21:47:12 +0200 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2025-05-09 21:57:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-09 21:59:44 +0200 | lol_ | (~lol@2603:3016:1e01:b960:d5f4:984e:ebc2:54f8) |
| 2025-05-09 22:01:01 +0200 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-05-09 22:03:35 +0200 | thinkpad | (~thinkpad@148.252.128.12) |
| 2025-05-09 22:04:00 +0200 | thinkpad | (~thinkpad@148.252.128.12) (Client Quit) |
| 2025-05-09 22:04:13 +0200 | <mauke> | in OO, is there a term for mutator methods that don't actually mutate the object but return a modified copy? |
| 2025-05-09 22:04:13 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b960:740e:a7b5:ac86:87b2) (Ping timeout: 276 seconds) |
| 2025-05-09 22:04:44 +0200 | <haskellbridge> | <hellwolf> copy on write |
| 2025-05-09 22:04:55 +0200 | <int-e> | a constructor ;) |
| 2025-05-09 22:05:03 +0200 | <int-e> | (too generic, I know) |
| 2025-05-09 22:05:55 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-09 22:07:47 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-09 22:08:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-09 22:09:00 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-09 22:10:16 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-05-09 22:10:24 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-05-09 22:10:48 +0200 | <EvanR> | immutable update |
| 2025-05-09 22:13:09 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2025-05-09 22:14:23 +0200 | <mauke> | immutator |
| 2025-05-09 22:14:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-09 22:15:13 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-05-09 22:18:35 +0200 | <EvanR> | Theory of Objects has such methods, but I don't remember what jargon if any was used |
| 2025-05-09 22:23:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 22:28:38 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-09 22:31:14 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-09 22:39:58 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-05-09 22:40:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-09 22:45:16 +0200 | <dutchie> | empty (from Alternative) and mzero from MonadPlus should always be the same thing, right? |
| 2025-05-09 22:45:57 +0200 | <dutchie> | I guess I'm unclear about whether there's any instances of MonadPlus that aren't Alternative |
| 2025-05-09 22:46:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-09 22:50:55 +0200 | <dutchie> | ah, https://stackoverflow.com/a/10168111 suggests that MonadPlus has extra laws to satisfy compared to Alternative |
| 2025-05-09 22:50:58 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-09 22:52:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-09 22:53:12 +0200 | <dutchie> | but that doesn't really help me decide whether I should use mzero or empty / do MonadPlus m => or Alternative f => |
| 2025-05-09 22:55:21 +0200 | <Rembane> | dutchie: That makes me think that you don't need the assurances of MonadPlus and can safely go for Alternative. |
| 2025-05-09 22:55:50 +0200 | <dutchie> | well, reading about what the extra assurances that MonadPlus gives me, I think I do want those assurances after all |
| 2025-05-09 22:56:11 +0200 | <dutchie> | (although to be completely honest, I'm only ever calling this with the one monad anyway so it's all a bit academic) |
| 2025-05-09 22:56:39 +0200 | <dutchie> | but I'm pretty sure I do want mzero >>= f to always be mzero |
| 2025-05-09 22:56:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-09 22:59:10 +0200 | <Rembane> | That sounds reasonable. |
| 2025-05-09 23:00:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-09 23:00:52 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-09 23:03:03 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-05-09 23:09:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-09 23:10:05 +0200 | eron | (~eron@179.118.250.144) lidenbrock |
| 2025-05-09 23:11:44 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-09 23:12:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-09 23:12:09 +0200 | <monochrom> | Laws of MonadPlus could easily be conditional laws of Alternative, e.g., "if an instance of Alternative is also an instance of Monad, then empty >>= k = ...". That would not be the first time we did that. Already in the Haskell Report, "For any type that is an instance of class Bounded as well as Enum, the following should hold:". |
| 2025-05-09 23:21:05 +0200 | <dutchie> | it seems that the laws which should hold aren't obvious: https://wiki.haskell.org/MonadPlus |
| 2025-05-09 23:32:01 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-05-09 23:34:11 +0200 | ridcully | (~ridcully@pd951f029.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.2) |
| 2025-05-09 23:34:29 +0200 | ridcully | (~ridcully@pd951f029.dip0.t-ipconnect.de) ridcully |
| 2025-05-09 23:35:22 +0200 | lol_ | jcarpenter2 |
| 2025-05-09 23:38:56 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |