| 2025-10-15 00:02:38 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp) |
| 2025-10-15 00:03:06 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-15 00:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 00:05:39 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 00:05:41 +0200 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 00:05:55 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-15 00:05:57 +0200 | craunts79533538 | (~craunts@136.158.7.194) |
| 2025-10-15 00:09:06 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2025-10-15 00:14:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 00:19:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 00:21:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-15 00:23:24 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 252 seconds) |
| 2025-10-15 00:25:43 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-15 00:27:49 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 256 seconds) |
| 2025-10-15 00:29:07 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-10-15 00:29:07 +0200 | ChanServ | +v lambdabot |
| 2025-10-15 00:29:50 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419) |
| 2025-10-15 00:30:46 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-15 00:33:37 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2025-10-15 00:35:28 +0200 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2025-10-15 00:37:57 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-15 00:40:52 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-15 00:44:35 +0200 | <energizer> | could there be a typeclass for scanl? |
| 2025-10-15 00:46:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 00:49:56 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-40.mycingular.net) |
| 2025-10-15 00:50:04 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:7c61:4eff:fe00:6419) (Read error: Connection reset by peer) |
| 2025-10-15 00:50:25 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:305d:b5ff:feac:8852) |
| 2025-10-15 00:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 00:54:12 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 252 seconds) |
| 2025-10-15 00:54:26 +0200 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:da7b:74b4:ea7f:2207) (Quit: ZNC - https://znc.in) |
| 2025-10-15 00:54:46 +0200 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:7ab8:bbe9:1c71:85ea) kaskal |
| 2025-10-15 00:56:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-15 00:56:24 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-52.mycingular.net) |
| 2025-10-15 00:58:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-15 00:59:09 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:305d:b5ff:feac:8852) (Ping timeout: 252 seconds) |
| 2025-10-15 01:01:27 +0200 | <monochrom> | Tautologically, generalizations always exist. |
| 2025-10-15 01:02:03 +0200 | <monochrom> | But how many people actually need one? Statistically, almost zero. |
| 2025-10-15 01:04:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 01:05:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-15 01:07:13 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-15 01:09:20 +0200 | <EvanR> | so you're saying there's a chance |
| 2025-10-15 01:09:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-15 01:09:43 +0200 | <EvanR> | isn't the typeclass for stuff like scanl Traversable? |
| 2025-10-15 01:09:59 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691) |
| 2025-10-15 01:10:28 +0200 | Core7767 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-10-15 01:12:01 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-52.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-15 01:13:44 +0200 | <geekosaur> | I don't think so? `Traversable` is via `Applicative` (originally it generalized `mapM`), `scanl` is a modified fold without any additional `Applicative` or `Monad` |
| 2025-10-15 01:14:14 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-15 01:14:29 +0200 | <EvanR> | you right |
| 2025-10-15 01:14:42 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:c0cf:bbff:fec8:7691) (Ping timeout: 260 seconds) |
| 2025-10-15 01:19:46 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537) |
| 2025-10-15 01:20:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 01:20:40 +0200 | Googulator46 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 01:20:41 +0200 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 01:21:42 +0200 | Core7767 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-10-15 01:25:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 01:26:10 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-15 01:32:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 01:37:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 01:48:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 01:51:57 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-15 01:52:16 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-10-15 01:53:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 01:54:05 +0200 | <jackdk> | The `scanl` at `base:Data.List.NonEmpty.scanl` is generalised to consume any `Foldable` |
| 2025-10-15 01:54:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-15 01:55:58 +0200 | Core5536 | (~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea) |
| 2025-10-15 01:56:14 +0200 | Zemy | (~Zemy@2600:100c:b012:bef4:a8c8:b8ff:fee4:4537) (Ping timeout: 256 seconds) |
| 2025-10-15 01:57:23 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:6c29:d20b:9891:7dea) (Read error: Connection reset by peer) |
| 2025-10-15 01:58:12 +0200 | cheater | (~fuck@user/cheater) (Ping timeout: 244 seconds) |
| 2025-10-15 01:58:17 +0200 | cheater- | (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 2025-10-15 01:58:44 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh |
| 2025-10-15 01:58:47 +0200 | Zemy | (~Zemy@76.184.46.188) |
| 2025-10-15 01:58:48 +0200 | Square | (~Square4@user/square) Square |
| 2025-10-15 01:59:03 +0200 | Zemy_ | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-10-15 02:01:54 +0200 | Square3 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-15 02:02:25 +0200 | acidjnk | (~acidjnk@p200300d6e71719931c47ad226c4c8e20.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-10-15 02:03:07 +0200 | Core5536 | (~Zemy@2600:100c:b012:bef4:1c89:39ff:fe81:66ea) (Ping timeout: 260 seconds) |
| 2025-10-15 02:03:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-15 02:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 02:05:37 +0200 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 02:05:40 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 02:05:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-15 02:06:50 +0200 | Zemy_ | (~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17) |
| 2025-10-15 02:09:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 02:09:49 +0200 | Zemy | (~Zemy@76.184.46.188) (Ping timeout: 256 seconds) |
| 2025-10-15 02:10:59 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-15 02:11:05 +0200 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2025-10-15 02:12:24 +0200 | Core8291 | (~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790) |
| 2025-10-15 02:13:01 +0200 | Zemy_ | (~Zemy@2600:100c:b012:bef4:30a3:e1ff:fe62:c17) (Read error: Connection reset by peer) |
| 2025-10-15 02:13:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-15 02:13:24 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-10-15 02:15:09 +0200 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 244 seconds) |
| 2025-10-15 02:15:40 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 02:15:51 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 02:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 02:21:12 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-15 02:24:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-15 02:24:47 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 02:25:00 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-15 02:30:45 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-15 02:32:44 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-15 02:32:53 +0200 | Zemy | (~Zemy@76.184.41.21) |
| 2025-10-15 02:35:24 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-15 02:35:26 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 02:35:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 02:35:40 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 02:35:41 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-15 02:37:02 +0200 | Core8291 | (~Zemy@2600:100c:b012:bef4:5ced:d8ff:fe63:790) (Ping timeout: 256 seconds) |
| 2025-10-15 02:38:42 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-15 02:42:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 02:47:13 +0200 | otto_s | (~user@p4ff27382.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-10-15 02:48:58 +0200 | otto_s | (~user@p5de2f68d.dip0.t-ipconnect.de) |
| 2025-10-15 02:50:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-10-15 02:52:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c19d:50a:4f2f:38d7) (Ping timeout: 260 seconds) |
| 2025-10-15 02:53:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 02:58:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 02:58:48 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-15 02:59:10 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-15 03:09:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 03:10:35 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-15 03:14:17 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-15 03:15:34 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-10-15 03:16:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 03:18:19 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-15 03:18:48 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-15 03:19:25 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-15 03:19:49 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Client Quit) |
| 2025-10-15 03:20:41 +0200 | Googulator61 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 03:20:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-15 03:24:50 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-15 03:25:32 +0200 | bgg | (~bgg@2a01:e0a:819:1510:438b:91ce:16bb:429f) (Remote host closed the connection) |
| 2025-10-15 03:27:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 03:28:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-15 03:29:36 +0200 | img | (~img@user/img) img |
| 2025-10-15 03:30:57 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-10-15 03:32:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 03:39:07 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-15 03:39:23 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-15 03:40:44 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-15 03:43:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 03:48:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 03:55:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-10-15 03:56:33 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 250 seconds) |
| 2025-10-15 03:58:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-10-15 03:59:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 04:03:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-15 04:09:49 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 04:10:58 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-15 04:14:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 04:15:20 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-15 04:15:50 +0200 | inline | (~inline@2a02:8071:57a1:1260:e9a3:cc45:338f:8e4a) (Read error: Connection reset by peer) |
| 2025-10-15 04:19:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 04:20:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 04:23:09 +0200 | bgg | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) |
| 2025-10-15 04:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 04:26:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-10-15 04:28:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-10-15 04:34:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-15 04:34:53 +0200 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-15 04:36:22 +0200 | <Square> | I had a unpleasant behavior of nix flakes + cabal that might not be fixable or trivial. 1) I made some changes in flake A. 2) started a nix dev shell in B that depnds on A. 3) Run B using `cabal run` wo seeing the changes made to A. |
| 2025-10-15 04:36:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 04:36:37 +0200 | td_ | (~td@i53870918.versanet.de) td_ |
| 2025-10-15 04:37:25 +0200 | <Square> | Turns out cabal wasn't detecting changes in A and utilized old build results. |
| 2025-10-15 04:41:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-15 04:42:27 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-10-15 04:44:31 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-15 04:46:06 +0200 | lol__ | jcarpenter2 |
| 2025-10-15 04:50:49 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 04:51:02 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
| 2025-10-15 04:52:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 04:59:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 05:05:41 +0200 | bgg | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Remote host closed the connection) |
| 2025-10-15 05:08:05 +0200 | mochie | (~mochie@93.124.228.5) |
| 2025-10-15 05:11:32 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-10-15 05:17:36 +0200 | Guest89 | (~Guest89@2600:8801:7188:3000:4cf7:b5d5:8319:15eb) |
| 2025-10-15 05:19:21 +0200 | Guest89 | (~Guest89@2600:8801:7188:3000:4cf7:b5d5:8319:15eb) (Client Quit) |
| 2025-10-15 05:19:51 +0200 | Zemy_ | (~Zemy@2600:100c:b057:2ff1:3c2f:aeff:fe86:8858) |
| 2025-10-15 05:20:16 +0200 | Zemy | (~Zemy@76.184.41.21) (Ping timeout: 246 seconds) |
| 2025-10-15 05:22:37 +0200 | Zemy | (~Zemy@76.184.41.21) |
| 2025-10-15 05:26:28 +0200 | Zemy_ | (~Zemy@2600:100c:b057:2ff1:3c2f:aeff:fe86:8858) (Ping timeout: 256 seconds) |
| 2025-10-15 05:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 05:33:55 +0200 | inline | (~inline@2a02:8071:57a1:1260:141f:e122:6bd3:e75) Inline |
| 2025-10-15 05:36:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 05:44:36 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-15 05:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 05:48:46 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-10-15 05:50:04 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-10-15 05:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 05:55:45 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-10-15 05:57:19 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 2025-10-15 05:58:46 +0200 | aforemny | (~aforemny@2001:9e8:6cd9:6800:96c8:2246:a5e7:93e3) (Ping timeout: 246 seconds) |
| 2025-10-15 05:59:03 +0200 | aforemny | (~aforemny@2001:9e8:6cf6:6e00:f29f:bd4f:185b:a814) aforemny |
| 2025-10-15 05:59:37 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-10-15 06:00:49 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) (Read error: Connection reset by peer) |
| 2025-10-15 06:00:51 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-10-15 06:01:26 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) |
| 2025-10-15 06:02:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 06:07:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 06:12:48 +0200 | trickard___ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 06:14:10 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-15 06:18:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-15 06:18:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 06:18:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-10-15 06:20:40 +0200 | Googulator24 | (~Googulato@212-40-94-78.pool.digikabel.hu) |
| 2025-10-15 06:20:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 06:25:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 06:37:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 06:42:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 06:43:53 +0200 | michalz | (~michalz@185.246.207.215) |
| 2025-10-15 06:44:24 +0200 | Googulator24 | (~Googulato@212-40-94-78.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-15 06:53:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 06:57:47 +0200 | trickard___ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 06:58:00 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 06:59:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 07:08:11 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-10-15 07:08:29 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-15 07:08:56 +0200 | divlamir | (~divlamir@user/divlamir) (Remote host closed the connection) |
| 2025-10-15 07:09:11 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-15 07:10:16 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-15 07:11:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 07:15:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-15 07:17:08 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-15 07:18:46 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-15 07:22:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 07:26:27 +0200 | trickard_ | trickard |
| 2025-10-15 07:27:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-15 07:30:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-15 07:35:52 +0200 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2025-10-15 07:36:06 +0200 | bramh | (~bramh@user/bramh) bramh |
| 2025-10-15 07:37:14 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: No Ping reply in 180 seconds.) |
| 2025-10-15 07:38:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 07:38:33 +0200 | Arsen | (arsen@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2025-10-15 07:43:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-15 07:54:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 07:54:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 07:57:42 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-10-15 07:59:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-15 08:00:54 +0200 | bggd | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) |
| 2025-10-15 08:02:27 +0200 | ringo__ | (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
| 2025-10-15 08:04:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 08:05:21 +0200 | Enrico9 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-15 08:07:36 +0200 | Zemy | (~Zemy@76.184.41.21) (Ping timeout: 252 seconds) |
| 2025-10-15 08:10:58 +0200 | ringo__ | (~ringo@157.230.117.128) ringo_ |
| 2025-10-15 08:18:55 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-15 08:19:08 +0200 | hc_ | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-10-15 08:20:08 +0200 | hc | (~hc@mail.hce.li) hc |
| 2025-10-15 08:25:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 08:28:05 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
| 2025-10-15 08:28:58 +0200 | <dminuoso> | @tell Square what kind of changes did you make to that flake? |
| 2025-10-15 08:28:58 +0200 | <lambdabot> | Consider it noted. |
| 2025-10-15 08:30:30 +0200 | Tri | (~tnguyen@69.74.159.34) (Read error: Connection reset by peer) |
| 2025-10-15 08:34:55 +0200 | Enrico9 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) (Quit: Client closed) |
| 2025-10-15 08:45:57 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-15 08:47:25 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 08:47:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 08:48:45 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-15 08:52:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 08:54:25 +0200 | <_________> | @pl \w -> length . filter (==w) . words |
| 2025-10-15 08:54:26 +0200 | <lambdabot> | (length .) . (. words) . filter . (==) |
| 2025-10-15 08:58:34 +0200 | annamalai | (~annamalai@157.32.210.114) (Ping timeout: 248 seconds) |
| 2025-10-15 08:59:51 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 09:00:00 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-15 09:00:50 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-15 09:01:40 +0200 | <fgidim> | huh, i guess lambdabot really does turn functions tacit. cool |
| 2025-10-15 09:04:03 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 09:04:03 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 256 seconds) |
| 2025-10-15 09:04:17 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 09:04:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-15 09:10:16 +0200 | jreicher | (~user@user/jreicher) (Quit: brb) |
| 2025-10-15 09:10:36 +0200 | karenw | (~karenw@user/karenw) karenw |
| 2025-10-15 09:11:10 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-10-15 09:11:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-10-15 09:12:54 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 09:16:48 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-15 09:17:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 09:23:26 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-15 09:29:42 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 09:34:13 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-15 09:37:55 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-15 09:45:30 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 09:47:08 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-10-15 09:48:41 +0200 | ByronJohnson | (~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson |
| 2025-10-15 09:49:19 +0200 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-10-15 09:50:27 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 09:51:50 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-15 09:57:14 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 248 seconds) |
| 2025-10-15 09:59:56 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-10-15 10:02:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 10:06:37 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-15 10:08:14 +0200 | kuribas | (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) kuribas |
| 2025-10-15 10:10:57 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-10-15 10:15:13 +0200 | irfan | (~irfan@user/irfan) irfan |
| 2025-10-15 10:15:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 10:20:34 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-10-15 10:20:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 10:21:23 +0200 | annamalai | (~annamalai@157.32.214.152) annamalai |
| 2025-10-15 10:28:32 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-10-15 10:32:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 10:33:04 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b445:d572:a953:7834) |
| 2025-10-15 10:35:59 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-15 10:37:46 +0200 | kuribas | (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) (Ping timeout: 248 seconds) |
| 2025-10-15 10:44:10 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 255 seconds) |
| 2025-10-15 10:50:03 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-10-15 10:57:27 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2025-10-15 10:59:17 +0200 | <mreh> | is it not possible to mix ApplicativeDo syntax in with normal do syntax or something? |
| 2025-10-15 11:00:48 +0200 | <mreh> | do { x <- foo; y <- (runA $ do { z <- bar; w <- baz; return (f z w) }); return y } -- I've got this kind of situation going on. |
| 2025-10-15 11:02:17 +0200 | <mreh> | actually, I've got something like `bar x` going on... so many that precludes ApplicativeDo |
| 2025-10-15 11:05:25 +0200 | <tomsmeding> | mreh: if it's `bar x`, how would you want that to be converted to applicative syntax? |
| 2025-10-15 11:05:50 +0200 | <mreh> | tomsmeding: I guess it can't, right? |
| 2025-10-15 11:06:06 +0200 | <mreh> | silly me |
| 2025-10-15 11:10:37 +0200 | inline | (~inline@2a02:8071:57a1:1260:141f:e122:6bd3:e75) (Ping timeout: 246 seconds) |
| 2025-10-15 11:14:19 +0200 | <tomsmeding> | not saying that ApplicativeDo is perfect, but I think in this case it's correct |
| 2025-10-15 11:14:52 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-15 11:20:25 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-15 11:20:32 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-15 11:22:42 +0200 | arahael | (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2025-10-15 11:28:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-15 11:33:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 11:37:19 +0200 | acidjnk | (~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) acidjnk |
| 2025-10-15 11:39:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-15 11:50:24 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-15 12:02:05 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-15 12:02:43 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 12:03:49 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-15 12:04:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 12:05:17 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 12:09:03 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 12:09:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-10-15 12:09:15 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 12:12:29 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-15 12:12:38 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-10-15 12:13:30 +0200 | divlamir_ | divlamir |
| 2025-10-15 12:16:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 12:19:40 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) (Read error: Connection reset by peer) |
| 2025-10-15 12:20:27 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh |
| 2025-10-15 12:21:26 +0200 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-10-15 12:28:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 12:30:38 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) (Remote host closed the connection) |
| 2025-10-15 12:30:43 +0200 | enikar | (~enikar@user/enikar) (Read error: Connection reset by peer) |
| 2025-10-15 12:32:35 +0200 | mochie | (~mochie@93.124.228.5) (Ping timeout: 256 seconds) |
| 2025-10-15 12:34:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 12:39:45 +0200 | enikar | (~enikar@user/enikar) enikar |
| 2025-10-15 12:42:34 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-10-15 12:44:33 +0200 | titusg | (~user@31.94.22.246) titusg |
| 2025-10-15 12:45:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 12:46:26 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-15 12:46:44 +0200 | <titusg> | how can I make cabal repl load the modules from my project, without having to do it with :m +? |
| 2025-10-15 12:50:40 +0200 | <[exa]> | titusg: as in, you'd want it to do the :m +... for you automatically? |
| 2025-10-15 12:50:58 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-15 12:50:58 +0200 | <[exa]> | there was a shortcut for that somewhere |
| 2025-10-15 12:52:03 +0200 | <titusg> | [exa]: yes |
| 2025-10-15 12:53:16 +0200 | <titusg> | It has always bugged me that it isn't default behaviour. Not sure why else you'd be starting cabal repl. |
| 2025-10-15 12:54:08 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 2025-10-15 12:58:05 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b445:d572:a953:7834) (Quit: halloy7365) |
| 2025-10-15 12:58:27 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-15 13:01:42 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 13:01:59 +0200 | <[exa]> | titusg: I'm usually doing it to try some stuff with the package environment, not necessarily the modules |
| 2025-10-15 13:02:19 +0200 | <[exa]> | (also the modules may conflict in the namespace) |
| 2025-10-15 13:02:39 +0200 | <[exa]> | anyway there's a way to do that iirc, I saw it somewhere |
| 2025-10-15 13:03:41 +0200 | <[exa]> | maybe something like this? https://discourse.haskell.org/t/define-custom-command-for-a-cabal-repl-session/12088/2 |
| 2025-10-15 13:04:02 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-10-15 13:04:09 +0200 | <titusg> | fair enough. I'm usually just wanting to play around with the code I'm working on... |
| 2025-10-15 13:05:25 +0200 | <titusg> | thx for finding that, I'll have a play :) |
| 2025-10-15 13:06:37 +0200 | <[exa]> | yeah I never used it but looks like you can just stuff custom commands to a local .ghci |
| 2025-10-15 13:09:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3bfc:a749:138a:b4ac) |
| 2025-10-15 13:14:01 +0200 | <tomsmeding> | titusg: cabal repl loads the first module listed in the cabal file for that component |
| 2025-10-15 13:14:48 +0200 | <tomsmeding> | also, in case it's helpful: try `:set prompt "%s> "` to always show what modules are currently in scope |
| 2025-10-15 13:15:00 +0200 | <tomsmeding> | in GHC 9.0 the default changed away from that and I hate it |
| 2025-10-15 13:15:26 +0200 | <tomsmeding> | also on :r it re-adds that first-module-in-the-component back into the scope list |
| 2025-10-15 13:16:13 +0200 | <tomsmeding> | (I actually have `:set prompt "\ESC[1m\STX%s>\ESC[0m\STX "` to make the prompt more visible, too) |
| 2025-10-15 13:22:12 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-15 13:24:31 +0200 | <dminuoso> | tomsmeding: Regarding ApplicativeDo, Im not sure how `bar x` would be an issue - function application by itself is not forbidden inside ApplicativeDo. |
| 2025-10-15 13:24:47 +0200 | <tomsmeding> | dminuoso: well the x is bound in the outer do |
| 2025-10-15 13:24:52 +0200 | <dminuoso> | So? |
| 2025-10-15 13:25:00 +0200 | <tomsmeding> | ... fair point |
| 2025-10-15 13:25:18 +0200 | <tomsmeding> | (\x -> ...) <$> foo |
| 2025-10-15 13:25:48 +0200 | <tomsmeding> | if the 'return y' also referenced x, then we'd be in trouble |
| 2025-10-15 13:25:56 +0200 | <tomsmeding> | I think? |
| 2025-10-15 13:26:03 +0200 | <tomsmeding> | yeah |
| 2025-10-15 13:26:05 +0200 | <dminuoso> | Even then, I dont see why |
| 2025-10-15 13:26:31 +0200 | <dminuoso> | I mean it may be that there is a very naive heuristic that just looks at x and sees that its bound in do-notation. |
| 2025-10-15 13:26:47 +0200 | <dminuoso> | But because its the outer do-notation, as far as the inner do-notation is concerned is just some variable. |
| 2025-10-15 13:27:04 +0200 | <tomsmeding> | do { x <- foo; y <- f x; return (g x y) } |
| 2025-10-15 13:27:10 +0200 | <tomsmeding> | how would you write that in applicative combinators? |
| 2025-10-15 13:27:26 +0200 | <dminuoso> | tomsmeding: That's not related. |
| 2025-10-15 13:27:35 +0200 | <dminuoso> | Lets ignore the outer do notation for a second. |
| 2025-10-15 13:27:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 13:27:51 +0200 | <tomsmeding> | I was assuming that the ApplicativeDo is supposed to apply to the outer do |
| 2025-10-15 13:28:13 +0200 | <dminuoso> | tomsmeding: Given the mention of runA I think they wanted it in the inner one. |
| 2025-10-15 13:28:17 +0200 | <tomsmeding> | _right_ |
| 2025-10-15 13:28:23 +0200 | <tomsmeding> | okay that's weird |
| 2025-10-15 13:28:46 +0200 | <dminuoso> | tomsmeding: But perfectly in line with how frequently ApplicativeDo fails. Not that it should. |
| 2025-10-15 13:29:26 +0200 | <dminuoso> | Sometimes I wonder whether a `doA` with an explicit error instead of silent monad degradation would have been better. |
| 2025-10-15 13:30:03 +0200 | <tomsmeding> | works for me though |
| 2025-10-15 13:30:03 +0200 | <dminuoso> | An example like this should work more easily |
| 2025-10-15 13:30:19 +0200 | <tomsmeding> | https://play.haskell.org/saved/9myEpOls |
| 2025-10-15 13:30:21 +0200 | <dminuoso> | tomsmeding: Who knows, I've experienced so many ApplicativeDo -> Monad degradations in the past. |
| 2025-10-15 13:30:39 +0200 | <tomsmeding> | I never use ApplicativeDo |
| 2025-10-15 13:30:55 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 265 seconds) |
| 2025-10-15 13:31:08 +0200 | <dminuoso> | I usually use it for optparse-applicative. |
| 2025-10-15 13:32:17 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:32:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:34:20 +0200 | <dminuoso> | (And I still have optparse-selective on my todo stack) |
| 2025-10-15 13:35:38 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-15 13:36:42 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-10-15 13:36:58 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-15 13:37:12 +0200 | <tomsmeding> | ah right, makes sense |
| 2025-10-15 13:42:53 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) fp |
| 2025-10-15 13:43:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 13:43:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:44:45 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-15 13:44:46 +0200 | fp1 | fp |
| 2025-10-15 13:45:27 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 13:45:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 13:46:18 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-15 13:47:50 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-15 13:49:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 13:50:21 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:50:55 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:51:54 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2025-10-15 13:55:22 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-15 13:57:56 +0200 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 13:58:23 +0200 | <[exa]> | dminuoso: re optparse-selective, that would be a rewrite of optparse? |
| 2025-10-15 13:58:31 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-15 13:58:37 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-10-15 13:58:51 +0200 | <[exa]> | dminuoso: (perhaps related: https://github.com/pcapriotti/optparse-applicative/pull/505 ) |
| 2025-10-15 13:58:59 +0200 | trickard___ | trickard |
| 2025-10-15 14:03:10 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 14:08:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 14:13:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 14:15:05 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 14:18:16 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-15 14:19:24 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-10-15 14:21:08 +0200 | <dminuoso> | [exa]: Yes, some years ago I started a huge rewrite for no practical reason other than idealism. |
| 2025-10-15 14:21:21 +0200 | <dminuoso> | But because it was just idealism there was no inherent need that kept me going. |
| 2025-10-15 14:25:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-15 14:42:24 +0200 | <kuribas`> | I use applicativeDo for records. |
| 2025-10-15 14:42:45 +0200 | <kuribas`> | Much more readable and robust than positional. |
| 2025-10-15 14:43:20 +0200 | <kuribas`> | do foo <- fooExpr; bar <- barExpr; ... ; pure (MyRecord {..}) |
| 2025-10-15 14:46:54 +0200 | peutri | (~peutri@bobo.desast.re) (Ping timeout: 252 seconds) |
| 2025-10-15 14:48:33 +0200 | fp | (~Thunderbi@130.233.70.16) fp |
| 2025-10-15 14:53:12 +0200 | chenjf | (~chenjf@68.64.178.54) |
| 2025-10-15 14:54:03 +0200 | peutri | (~peutri@bobo.desast.re) peutri |
| 2025-10-15 14:59:21 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 14:59:35 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:04:13 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-15 15:05:52 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
| 2025-10-15 15:07:16 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-10-15 15:13:48 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-15 15:14:52 +0200 | chenjf | (~chenjf@68.64.178.54) (Quit: WeeChat 4.7.1) |
| 2025-10-15 15:16:45 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:18:38 +0200 | trickard_ | trickard |
| 2025-10-15 15:23:37 +0200 | Dhark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) |
| 2025-10-15 15:25:05 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-15 15:25:34 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-10-15 15:26:59 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-10-15 15:27:30 +0200 | fired_ | (la@2600:3c00::f03c:92ff:fee3:aace) |
| 2025-10-15 15:27:48 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-10-15 15:28:43 +0200 | aku_ | (aku@65.108.245.241) eagleflo |
| 2025-10-15 15:29:26 +0200 | divya- | (divya@140.238.251.170) divya |
| 2025-10-15 15:29:30 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-15 15:29:46 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-10-15 15:29:51 +0200 | fgarcia | (~lei@user/fgarcia) (Max SendQ exceeded) |
| 2025-10-15 15:30:27 +0200 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 260 seconds) |
| 2025-10-15 15:30:43 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-15 15:31:04 +0200 | cheater- | (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Ping timeout: 260 seconds) |
| 2025-10-15 15:31:25 +0200 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-15 15:31:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-15 15:32:00 +0200 | bggd__ | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) |
| 2025-10-15 15:32:03 +0200 | dtman34_ | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-10-15 15:32:07 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-15 15:32:13 +0200 | septimi | (9f60f4cb70@user/septimi) (Ping timeout: 260 seconds) |
| 2025-10-15 15:32:13 +0200 | bggd | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Remote host closed the connection) |
| 2025-10-15 15:32:13 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: Ping timeout (120 seconds)) |
| 2025-10-15 15:32:17 +0200 | peutri_ | (~peutri@bobo.desast.re) peutri |
| 2025-10-15 15:32:22 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fp | (~Thunderbi@130.233.70.16) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | arahael | (~wetfoot@user/arahael) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | aforemny | (~aforemny@2001:9e8:6cf6:6e00:f29f:bd4f:185b:a814) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Pozyomka | (~pyon@user/pyon) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Shark8 | (~Shark8@c-174-56-102-109.hsd1.nm.comcast.net) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | divya | (divya@140.238.251.170) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | aku | (aku@65.108.245.241) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | arandombit | (~arandombi@user/arandombit) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | AlexNoo | (~AlexNoo@178.34.151.169) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Leary | (~Leary@user/Leary/x-0910699) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fired | (~la@173-255-196-82.ip.linodeusercontent.com) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | duncan | (c6181279e3@user/meow/duncan) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | probie | (cc0b34050a@user/probie) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | ycp | (~znc@user/dragestil) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fgidim | (~lei@user/fgarcia) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Fijxu_ | (~Fijxu@user/fijxu) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | Buliarou1 | (~gypsydang@46.232.210.139) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | xal_ | (~xal@mx1.xal.systems) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:c58e:523e:77a9:c8b5) (*.net *.split) |
| 2025-10-15 15:32:22 +0200 | fp1 | fp |
| 2025-10-15 15:32:23 +0200 | fired_ | fired |
| 2025-10-15 15:32:31 +0200 | cheater | (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 2025-10-15 15:32:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-10-15 15:32:47 +0200 | firesquidwao | (~a@put.gay) (Ping timeout: 260 seconds) |
| 2025-10-15 15:33:06 +0200 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:eba5:2ece:a3f8:85b2) |
| 2025-10-15 15:33:06 +0200 | EvanR | (~EvanR@2600:1700:ba69:10:be2c:cd26:af1e:7b4a) |
| 2025-10-15 15:33:06 +0200 | caconym7478798 | (~caconym@174-21-66-74.tukw.qwest.net) |
| 2025-10-15 15:33:06 +0200 | tuxpaint | (~a@2600:3c06::f03c:93ff:fea6:ef0e) |
| 2025-10-15 15:33:06 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-10-15 15:33:06 +0200 | mniip_ | (mniip@libera/staff/mniip) mniip |
| 2025-10-15 15:33:06 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.169) |
| 2025-10-15 15:33:06 +0200 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-10-15 15:33:06 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh |
| 2025-10-15 15:33:06 +0200 | sp1ff` | (~user@2601:1c2:4c00:6820::48ac) |
| 2025-10-15 15:33:06 +0200 | aforemny | (~aforemny@2001:9e8:6cf6:6e00:f29f:bd4f:185b:a814) aforemny |
| 2025-10-15 15:33:06 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-10-15 15:33:06 +0200 | Beowulf | (florian@2a01:4f9:3b:2d56::2) |
| 2025-10-15 15:33:06 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-15 15:33:06 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
| 2025-10-15 15:33:06 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2025-10-15 15:33:06 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2025-10-15 15:33:06 +0200 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2025-10-15 15:33:06 +0200 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2025-10-15 15:33:06 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
| 2025-10-15 15:33:06 +0200 | probie | (cc0b34050a@user/probie) probie |
| 2025-10-15 15:33:06 +0200 | ycp | (~znc@user/dragestil) dragestil |
| 2025-10-15 15:33:06 +0200 | xal_ | (~xal@mx1.xal.systems) xal |
| 2025-10-15 15:33:06 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:c58e:523e:77a9:c8b5) |
| 2025-10-15 15:33:10 +0200 | Lears | Leary |
| 2025-10-15 15:33:11 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:c58e:523e:77a9:c8b5) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | arandombit | (~arandombi@user/arandombit) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | caconym7478798 | (~caconym@174-21-66-74.tukw.qwest.net) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (Max SendQ exceeded) |
| 2025-10-15 15:33:11 +0200 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:eba5:2ece:a3f8:85b2) (Max SendQ exceeded) |
| 2025-10-15 15:33:18 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-10-15 15:33:22 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-10-15 15:33:24 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:4892:4dea:36cf:7d26) |
| 2025-10-15 15:33:25 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-15 15:34:03 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-15 15:34:17 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2025-10-15 15:34:19 +0200 | septimi | (9f60f4cb70@user/septimi) septimi |
| 2025-10-15 15:34:32 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2025-10-15 15:34:37 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-15 15:34:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-10-15 15:34:52 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-15 15:35:48 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-15 15:36:38 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:38 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:38 +0200 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-10-15 15:36:39 +0200 | bramh | (~bramh@user/bramh) (Read error: Connection reset by peer) |
| 2025-10-15 15:36:39 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:39 +0200 | a_fantom | (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:39 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2025-10-15 15:36:39 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Read error: Connection reset by peer) |
| 2025-10-15 15:36:44 +0200 | YoungFrawg | (~youngfrog@2a02:a03f:ca07:f900:6c28:6d36:bf0e:889) youngfrog |
| 2025-10-15 15:36:48 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | APic | (apic@apic.name) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:48 +0200 | Ekho | (~Ekho@user/ekho) (Ping timeout: 256 seconds) |
| 2025-10-15 15:36:56 +0200 | bramh | (~bramh@user/bramh) bramh |
| 2025-10-15 15:37:01 +0200 | APic | (apic@apic.name) APic |
| 2025-10-15 15:37:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-10-15 15:37:02 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-10-15 15:37:06 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
| 2025-10-15 15:37:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-15 15:37:44 +0200 | YoungFrawg | YoungFrog |
| 2025-10-15 15:37:47 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-15 15:38:10 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-10-15 15:38:17 +0200 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2025-10-15 15:38:44 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-10-15 15:38:46 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) Natch |
| 2025-10-15 15:38:52 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-10-15 15:39:25 +0200 | inline | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:39:48 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:39:51 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-10-15 15:41:39 +0200 | FANTOM | (~fantom@90.244.183.5) |
| 2025-10-15 15:41:40 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:43:55 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Remote host closed the connection) |
| 2025-10-15 15:44:14 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:45:17 +0200 | inline | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Ping timeout: 244 seconds) |
| 2025-10-15 15:46:14 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-15 15:48:25 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Remote host closed the connection) |
| 2025-10-15 15:48:48 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) Inline |
| 2025-10-15 15:49:31 +0200 | qqe | (~qqq@185.54.23.200) (Remote host closed the connection) |
| 2025-10-15 15:49:37 +0200 | inline_ | inline |
| 2025-10-15 15:49:50 +0200 | qqe | (~qqq@185.54.23.200) |
| 2025-10-15 15:49:56 +0200 | caconym74787983 | (~caconym@user/caconym) caconym |
| 2025-10-15 15:50:09 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: Ping timeout (120 seconds)) |
| 2025-10-15 15:50:09 +0200 | caconym74787983 | caconym7478798 |
| 2025-10-15 15:50:42 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Remote host closed the connection) |
| 2025-10-15 15:53:26 +0200 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 15:54:37 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-15 15:55:54 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-10-15 15:56:22 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:30a1:2a21:7e45:e8e4) Inline |
| 2025-10-15 15:56:33 +0200 | inline | (~inline@2a02:8071:57a1:1260:c546:9b7c:fd36:2176) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2025-10-15 15:56:33 +0200 | inline_ | Inline |
| 2025-10-15 15:57:09 +0200 | Tri | (~tnguyen@69.74.159.34) |
| 2025-10-15 15:58:17 +0200 | trickard__ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-15 16:01:09 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-15 16:01:51 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-10-15 16:03:33 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) fp |
| 2025-10-15 16:04:08 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 16:07:51 +0200 | Square | (~Square4@user/square) Square |
| 2025-10-15 16:08:36 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-15 16:18:38 +0200 | trickard_ | trickard |
| 2025-10-15 16:18:56 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-10-15 16:25:29 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-10-15 16:52:45 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-15 16:53:51 +0200 | trickard | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 16:54:04 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 17:04:51 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 244 seconds) |
| 2025-10-15 17:04:53 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 17:05:23 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-10-15 17:07:59 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-15 17:08:07 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 17:12:05 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 17:12:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 17:14:54 +0200 | nogloff | (uid464985@id-464985.tinside.irccloud.com) |
| 2025-10-15 17:15:19 +0200 | <dminuoso> | kuribas`: You can use let-in for that usecase though, however. |
| 2025-10-15 17:16:36 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-15 17:17:03 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-10-15 17:17:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 17:19:39 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 17:20:04 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 17:28:18 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-10-15 17:28:53 +0200 | <mauke> | dminuoso: how so? |
| 2025-10-15 17:29:10 +0200 | <ski> | not really |
| 2025-10-15 17:31:01 +0200 | <dminuoso> | % let f1 = "foo"; f2 = 2; in Foo{..} |
| 2025-10-15 17:31:01 +0200 | <yahb2> | Foo {f1 = "foo", f2 = 2} |
| 2025-10-15 17:31:37 +0200 | <ski> | that doesn't help when you want to perform actions to generate the values of the fields, though |
| 2025-10-15 17:31:38 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-10-15 17:32:01 +0200 | <dminuoso> | Sure, but then you're no longer picking ApplicativeDo for just RecordWildcards, but for whatever it is that you're doing. |
| 2025-10-15 17:32:25 +0200 | <ski> | yes |
| 2025-10-15 17:32:30 +0200 | <ski> | [> MyRecord { foo = [<fooExpr>],bar = [<barExpr>] } <] -- my "(local) reflective effect syntax" |
| 2025-10-15 17:32:42 +0200 | <int-e> | I think the "positional" variant would be Foo <$> makeF1 <*> makeF2 |
| 2025-10-15 17:32:49 +0200 | <ski> | yes |
| 2025-10-15 17:32:55 +0200 | <dminuoso> | Ah I see what you're getting at. |
| 2025-10-15 17:34:00 +0200 | <dminuoso> | I've tried to use it as well because its less brittle than positional, but bitten over and over again with slightly nuanced versions and then ApplicativeDo would just break apart. :( |
| 2025-10-15 17:34:14 +0200 | <dminuoso> | I really want a doA. |
| 2025-10-15 17:34:40 +0200 | <ski> | i should try working a bit more on my TH implementation of my syntax |
| 2025-10-15 17:35:01 +0200 | <int-e> | . o O ( ado ) |
| 2025-10-15 17:35:27 +0200 | <dminuoso> | int-e: Something tells me that ado has more uses in hackage than doA. :-) |
| 2025-10-15 17:35:48 +0200 | <ski> | `ado' <https://hackage.haskell.org/package/applicative-quoters-0.1.0.8/docs/Control-Applicative-QQ-ADo.html> |
| 2025-10-15 17:35:50 +0200 | <dminuoso> | Who knows, maybe neither are used - I should get a hackage copy at some point. |
| 2025-10-15 17:36:31 +0200 | <ski> | what would the `doA' do differently ? |
| 2025-10-15 17:36:56 +0200 | <int-e> | dminuoso: but "much doA about nothing" just isn't the same |
| 2025-10-15 17:36:57 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-15 17:37:09 +0200 | <dminuoso> | :) |
| 2025-10-15 17:38:30 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-10-15 17:38:33 +0200 | hsw | (~hsw@112.104.9.97) (Remote host closed the connection) |
| 2025-10-15 17:38:52 +0200 | hsw | (~hsw@112-104-9-97.adsl.dynamic.seed.net.tw) hsw |
| 2025-10-15 17:39:31 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 17:39:46 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2025-10-15 17:40:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 17:47:06 +0200 | Inline | (~inline@2a02:8071:57a1:1260:30a1:2a21:7e45:e8e4) (Quit: Leaving) |
| 2025-10-15 17:47:25 +0200 | Digit | (~user@user/digit) (Ping timeout: 264 seconds) |
| 2025-10-15 17:49:22 +0200 | Digit | (~user@user/digit) Digit |
| 2025-10-15 17:58:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 18:02:54 +0200 | <tomsmeding> | dminuoso: how would doA help you? |
| 2025-10-15 18:03:19 +0200 | Digit | digitteknohippie |
| 2025-10-15 18:03:25 +0200 | digitteknohippie | Digit |
| 2025-10-15 18:03:39 +0200 | <tomsmeding> | getting an error because doA can't manage to construct an Applicative expression for it, or getting an error because Monad is not satisfied -- how are these fundamentally different, apart from being potentially confusing to a newcomer? |
| 2025-10-15 18:03:48 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 18:06:00 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 252 seconds) |
| 2025-10-15 18:08:06 +0200 | Square3 | (~Square@user/square) Square |
| 2025-10-15 18:11:12 +0200 | mochie | (~mochie@93.124.228.5) |
| 2025-10-15 18:11:27 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-10-15 18:14:50 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-10-15 18:20:23 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-15 18:23:22 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-15 18:25:19 +0200 | <Leary> | tomsmeding: The `Applicative` could have a `Monad` instance you don't want to use. |
| 2025-10-15 18:25:35 +0200 | <tomsmeding> | dminuoso was talking about optparse-applicative though |
| 2025-10-15 18:29:02 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-15 18:31:00 +0200 | mochie | (~mochie@93.124.228.5) (Quit: WeeChat 4.7.1) |
| 2025-10-15 18:31:04 +0200 | <Leary> | dminuoso: You could use `A.do` with `QualifiedDo`, where `module A` provides `join` and `>>=` imposing `Unsatisfiable` constraints. |
| 2025-10-15 18:34:41 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-15 18:36:06 +0200 | OftenFaded47 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-10-15 18:53:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 18:56:11 +0200 | tccq | (~user@user/tccq) tccq |
| 2025-10-15 19:04:17 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
| 2025-10-15 19:06:27 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
| 2025-10-15 19:06:38 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 19:06:48 +0200 | inline | Guest6155 |
| 2025-10-15 19:06:48 +0200 | inline_ | inline |
| 2025-10-15 19:06:50 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 19:08:08 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
| 2025-10-15 19:08:12 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2025-10-15 19:08:12 +0200 | inline_ | inline |
| 2025-10-15 19:09:53 +0200 | Guest6155 | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Ping timeout: 244 seconds) |
| 2025-10-15 19:10:01 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Read error: Connection reset by peer) |
| 2025-10-15 19:10:29 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
| 2025-10-15 19:11:09 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Max SendQ exceeded) |
| 2025-10-15 19:12:02 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
| 2025-10-15 19:12:21 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-15 19:12:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 19:17:14 +0200 | inline_ | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) Inline |
| 2025-10-15 19:19:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-10-15 19:20:16 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Ping timeout: 246 seconds) |
| 2025-10-15 19:23:59 +0200 | inline_ | inline |
| 2025-10-15 19:24:38 +0200 | nogloff | (uid464985@id-464985.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-15 19:25:33 +0200 | tccq | (~user@user/tccq) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2025-10-15 19:29:46 +0200 | OftenFaded47 | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-10-15 19:31:16 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) stilgart |
| 2025-10-15 19:35:19 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-15 19:36:59 +0200 | <dminuoso> | tomsmeding: Well thats what I ended up using as its reliable enough for that (because it has no Monad instance) |
| 2025-10-15 19:37:12 +0200 | <dminuoso> | Though in combination with some features like pattern matching it still breaks. |
| 2025-10-15 19:37:38 +0200 | <dminuoso> | i.e. when you do stuff like `Only a <- ...` |
| 2025-10-15 19:41:21 +0200 | <tomsmeding> | sure, but doA wouldn't fix that, would it? |
| 2025-10-15 19:41:26 +0200 | <tomsmeding> | it would just throw a different error |
| 2025-10-15 19:45:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-10-15 19:46:54 +0200 | inline | (~inline@2a02:8071:57a1:1260:adb1:4ce:703e:ab76) (Quit: Leaving) |
| 2025-10-15 19:57:03 +0200 | <EvanR> | it's interesting how something "as simple as" |
| 2025-10-15 19:57:12 +0200 | <EvanR> | :t Control.Exception.catches |
| 2025-10-15 19:57:13 +0200 | <lambdabot> | IO a -> [Control.Exception.Handler a] -> IO a |
| 2025-10-15 19:57:25 +0200 | gustrb | (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-15 19:57:30 +0200 | inline | (~inline@2a02:8071:57a1:1260:810a:b569:d13b:c6fe) Inline |
| 2025-10-15 19:57:42 +0200 | <EvanR> | requires understanding "existential" style polymorphism |
| 2025-10-15 19:57:57 +0200 | <EvanR> | so much for simplehaskell.org |
| 2025-10-15 20:01:09 +0200 | <EvanR> | (existential style wouldn't be so bad if it was explained somewhere obvious when you're trying to learn the language. It's unfortunately not in "a gentle introduction" xD) |
| 2025-10-15 20:03:04 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2025-10-15 20:04:33 +0200 | Axma32074 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-10-15 20:10:22 +0200 | michalz_ | (~michalz@185.246.207.222) |
| 2025-10-15 20:11:24 +0200 | michalz | (~michalz@185.246.207.215) (Ping timeout: 252 seconds) |
| 2025-10-15 20:15:20 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 20:15:27 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-15 20:15:34 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 20:18:41 +0200 | <monochrom> | Unfortunately the Gentle Introduction predated existential types. |
| 2025-10-15 20:19:26 +0200 | <monochrom> | Or fortunately? I feel like the problem is caused by mentioning existential types, not by not mentioning. |
| 2025-10-15 20:19:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 20:20:11 +0200 | <tomsmeding> | which problem? |
| 2025-10-15 20:20:40 +0200 | <monochrom> | Misusing existential types, and/or taking it as the go-to technique. |
| 2025-10-15 20:20:44 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 20:21:02 +0200 | <EvanR> | the haddock for catches just say you need to use the Handler type, and shows an example, but does not mention the existential or what that means, just assumes you know how to use it |
| 2025-10-15 20:21:24 +0200 | <EvanR> | and now I only just noticed xD |
| 2025-10-15 20:21:41 +0200 | <tomsmeding> | yeah the haddocks for catches is pretty good |
| 2025-10-15 20:24:19 +0200 | <monochrom> | SomeException also assumes you know existential types. |
| 2025-10-15 20:24:32 +0200 | <EvanR> | eh? |
| 2025-10-15 20:24:56 +0200 | spew | stew |
| 2025-10-15 20:25:01 +0200 | <monochrom> | SomeException is an existential type. |
| 2025-10-15 20:25:16 +0200 | <EvanR> | fromException and toException are how you convert the exceptions, how they work isn't really required knowledge |
| 2025-10-15 20:25:38 +0200 | <EvanR> | but if you try to construct the example for catches you run into extentions needing to be enabled |
| 2025-10-15 20:25:58 +0200 | n0um3n4 | (~n0um3n4@104.28.199.134) |
| 2025-10-15 20:26:17 +0200 | stew | veggie_stew |
| 2025-10-15 20:26:22 +0200 | <EvanR> | and perhaps still not working if you customize it wrong, and violate some rules of existential types |
| 2025-10-15 20:26:45 +0200 | <EvanR> | like the my brain exploded escaped skolem or something |
| 2025-10-15 20:27:02 +0200 | irfan | (~irfan@user/irfan) (Quit: WeeChat 4.7.1) |
| 2025-10-15 20:34:35 +0200 | n0um3n4 | (~n0um3n4@104.28.199.134) (Remote host closed the connection) |
| 2025-10-15 20:37:43 +0200 | n0um3n4 | (~n0um3n4@104.28.199.134) |
| 2025-10-15 20:38:15 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 245 seconds) |
| 2025-10-15 20:38:41 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 20:44:21 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-15 20:45:39 +0200 | EvanR | (~EvanR@2600:1700:ba69:10:be2c:cd26:af1e:7b4a) (Quit: Leaving) |
| 2025-10-15 20:46:18 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-10-15 20:47:04 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 20:48:28 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 20:48:40 +0200 | trickard_ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 20:55:28 +0200 | satler | (~satler@user/satler) satler |
| 2025-10-15 20:59:59 +0200 | <tomsmeding> | monochrom: one can see SomeException as an existential type, but in a programmer's brain, it's more a dynamic type |
| 2025-10-15 21:00:01 +0200 | caconym7478798 | (~caconym@user/caconym) (Quit: bye) |
| 2025-10-15 21:00:28 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-15 21:00:34 +0200 | <tomsmeding> | a dynamic type is a statically untyped thing that you interact with using functions that may fail if the dynamic type is wrong |
| 2025-10-15 21:00:41 +0200 | <tomsmeding> | it may be _implemented_ using an existential |
| 2025-10-15 21:00:43 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |
| 2025-10-15 21:01:01 +0200 | <tomsmeding> | existentials, on the other hand, introduce skolem type variables into your type system |
| 2025-10-15 21:01:14 +0200 | <tomsmeding> | from a suitably abstract perspective they're the same, but in practice they're not :p |
| 2025-10-15 21:02:53 +0200 | <EvanR> | a sufficiently abstract perspective is indistinguishable from magic |
| 2025-10-15 21:05:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-15 21:05:45 +0200 | <EvanR> | an existential type used wrong breaks at compile time |
| 2025-10-15 21:05:51 +0200 | <EvanR> | a dynamic type used wrong breaks at runtime |
| 2025-10-15 21:06:10 +0200 | <EvanR> | don't try to convince me otherwise |
| 2025-10-15 21:07:09 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-15 21:08:33 +0200 | inline | (~inline@2a02:8071:57a1:1260:810a:b569:d13b:c6fe) (Quit: Leaving) |
| 2025-10-15 21:08:34 +0200 | <monochrom> | Interpreters unify compile time with runtime. |
| 2025-10-15 21:10:26 +0200 | satler | (~satler@user/satler) (Remote host closed the connection) |
| 2025-10-15 21:11:04 +0200 | <EvanR> | moving the time posts |
| 2025-10-15 21:11:15 +0200 | <monochrom> | :) |
| 2025-10-15 21:12:16 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-10-15 21:12:41 +0200 | <EvanR> | dynamic languages have been positing a set theory theory of types, where they have the set of all possible values upfront |
| 2025-10-15 21:13:10 +0200 | <EvanR> | not sure what polymorphism or existentials would mean there |
| 2025-10-15 21:14:38 +0200 | <EvanR> | (the set of all possible values probably includes some wilds stuff like javascript's ability for arrays to contain themselves in non trivial ways) |
| 2025-10-15 21:14:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-10-15 21:17:32 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-10-15 21:20:48 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-15 21:22:09 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:09 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:09 +0200 | bw | (sid2730@user/betawaffle) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:09 +0200 | op_4 | (~tslil@2a01:4f8:c0c:7952::1) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:09 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:09 +0200 | sefidel | (~sefidel@user/sefidel) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:10 +0200 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy |
| 2025-10-15 21:22:19 +0200 | bggd | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) |
| 2025-10-15 21:22:28 +0200 | b0o_ | (0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o |
| 2025-10-15 21:22:40 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:40 +0200 | lortabac | (~lortabac@mx1.fracta.dev) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:40 +0200 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:40 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 244 seconds) |
| 2025-10-15 21:22:40 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 244 seconds) |
| 2025-10-15 21:23:00 +0200 | rubin55_ | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2025-10-15 21:23:01 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) Hobbyboy |
| 2025-10-15 21:23:02 +0200 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2025-10-15 21:23:03 +0200 | kaskal- | (~kaskal@84-115-235-223.cable.dynamic.surfer.at) |
| 2025-10-15 21:23:04 +0200 | nshepperd21 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2025-10-15 21:23:36 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) SrPx |
| 2025-10-15 21:23:37 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2025-10-15 21:23:37 +0200 | fn_lumi_ | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2025-10-15 21:23:37 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) alethkit |
| 2025-10-15 21:23:38 +0200 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
| 2025-10-15 21:23:46 +0200 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-10-15 21:23:47 +0200 | lortabac | (~lortabac@mx1.fracta.dev) lortabac |
| 2025-10-15 21:23:48 +0200 | dyniec_ | (~dyniec@dybiec.info) |
| 2025-10-15 21:23:48 +0200 | dyniec | (~dyniec@dybiec.info) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2025-10-15 21:23:48 +0200 | dyniec_ | dyniec |
| 2025-10-15 21:24:15 +0200 | ladyfriday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2025-10-15 21:24:19 +0200 | bw | (sid2730@user/betawaffle) betawaffle |
| 2025-10-15 21:25:13 +0200 | comonad1 | (~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de) |
| 2025-10-15 21:25:14 +0200 | _ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-10-15 21:25:36 +0200 | cheater- | (~fuck@84-115-208-145.cable.dynamic.surfer.at) |
| 2025-10-15 21:25:55 +0200 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-10-15 21:26:19 +0200 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2025-10-15 21:26:19 +0200 | ggb_ | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2025-10-15 21:27:05 +0200 | mal1 | (~mal@ns2.wyrd.be) lieven |
| 2025-10-15 21:27:19 +0200 | geekosaur_ | (sid609282@xmonad/geekosaur) geekosaur |
| 2025-10-15 21:28:27 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-15 21:28:58 +0200 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | comonad | (~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | kaskal | (~kaskal@2a02:8388:1a8b:7d00:7ab8:bbe9:1c71:85ea) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | bggd__ | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | cheater | (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Read error: Connection reset by peer) |
| 2025-10-15 21:28:58 +0200 | annamalai | (~annamalai@157.32.214.152) (Ping timeout: 244 seconds) |
| 2025-10-15 21:28:58 +0200 | ggb_ | ggb |
| 2025-10-15 21:28:59 +0200 | fn_lumi_ | fn_lumi |
| 2025-10-15 21:28:59 +0200 | geekosaur_ | geekosaur |
| 2025-10-15 21:28:59 +0200 | rubin55_ | rubin55 |
| 2025-10-15 21:28:59 +0200 | b0o_ | b0o |
| 2025-10-15 21:28:59 +0200 | nshepperd21 | nshepperd2 |
| 2025-10-15 21:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-15 21:30:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-15 21:31:11 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2025-10-15 21:31:11 +0200 | ChanServ | +v yahb2 |
| 2025-10-15 21:31:55 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-10-15 21:32:03 +0200 | FANTOM | (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 2025-10-15 21:32:20 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
| 2025-10-15 21:34:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-15 21:35:19 +0200 | FANTOM | (~fantom@90.244.183.5) |
| 2025-10-15 21:36:57 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-10-15 21:37:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-15 21:38:11 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2025-10-15 21:39:31 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-15 21:43:00 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) ft |
| 2025-10-15 21:43:38 +0200 | fgarcia | fgidim |
| 2025-10-15 21:44:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
| 2025-10-15 21:48:46 +0200 | CiaoSen | (~Jura@ipservice-092-210-206-067.092.210.pools.vodafone-ip.de) CiaoSen |
| 2025-10-15 21:51:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |