Logs: liberachat/#haskell
| 2025-10-10 02:52:51 | → | ulysses4ever joins (~artem@2601:249:4380:2400:4523:1701:82cd:4010) |
| 2025-10-10 02:55:52 | × | artem quits (~artem@2601:249:4380:2400:48e8:3e8c:5383:b66) (Ping timeout: 255 seconds) |
| 2025-10-10 02:56:58 | → | artem joins (~artem@2601:249:4380:2400:ee43:39af:5456:3b64) |
| 2025-10-10 02:57:15 | × | ulysses4ever quits (~artem@2601:249:4380:2400:4523:1701:82cd:4010) (Ping timeout: 252 seconds) |
| 2025-10-10 02:57:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-10 02:59:16 | → | Guest42 joins (~Guest42@14.139.38.209) |
| 2025-10-10 02:59:17 | → | ulysses4ever joins (~artem@2601:249:4380:2400:eb90:dece:f79f:4d2a) |
| 2025-10-10 02:59:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 03:01:06 | × | artem quits (~artem@2601:249:4380:2400:ee43:39af:5456:3b64) (Ping timeout: 252 seconds) |
| 2025-10-10 03:03:07 | → | artem joins (~artem@2601:249:4380:2400:fc50:e137:335c:51ec) |
| 2025-10-10 03:04:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-10-10 03:06:03 | × | ulysses4ever quits (~artem@2601:249:4380:2400:eb90:dece:f79f:4d2a) (Ping timeout: 252 seconds) |
| 2025-10-10 03:06:23 | → | aforemny_ joins (~aforemny@2001:9e8:6cdc:7400:c4e0:1427:f8a3:145a) |
| 2025-10-10 03:06:29 | × | aforemny quits (~aforemny@2001:9e8:6cfe:fa00:f0a4:d59e:65ba:70ff) (Ping timeout: 250 seconds) |
| 2025-10-10 03:07:17 | → | ulysses4ever joins (~artem@2601:249:4380:2400:18fb:5852:7b14:a29c) |
| 2025-10-10 03:07:42 | × | artem quits (~artem@2601:249:4380:2400:fc50:e137:335c:51ec) (Ping timeout: 252 seconds) |
| 2025-10-10 03:12:03 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-10-10 03:15:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 03:15:50 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-10 03:16:03 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-10 03:20:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-10 03:21:52 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-10-10 03:22:14 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-10-10 03:29:13 | × | FANTOM quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-10 03:31:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 03:33:07 | → | FANTOM joins (~fantom@87.75.184.126) |
| 2025-10-10 03:35:09 | × | craunts795335 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-10 03:36:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-10 03:47:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 03:51:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-10 04:00:46 | × | shapr quits (~user@130.44.148.32) (Ping timeout: 244 seconds) |
| 2025-10-10 04:00:50 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
| 2025-10-10 04:01:52 | → | peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com) |
| 2025-10-10 04:02:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 04:07:06 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-10 04:07:20 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-10 04:08:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-10 04:19:14 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) (Read error: Connection reset by peer) |
| 2025-10-10 04:20:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 04:20:21 | → | synchromesh joins (~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) |
| 2025-10-10 04:24:32 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Ping timeout: 244 seconds) |
| 2025-10-10 04:25:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-10 04:28:13 | × | defragger quits (~random@i6DFADE3D.versanet.de) (Ping timeout: 264 seconds) |
| 2025-10-10 04:29:04 | <dcpagan> | What is your opinion on using [singular](https://hackage-content.haskell.org/package/lens-5.3.5/docs/Control-Lens-Traversal.html#v:singular) to strong-arm a traversal as a lens? |
| 2025-10-10 04:30:41 | <dcpagan> | I feel dirty using it. |
| 2025-10-10 04:31:27 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-10 04:32:14 | trickard_ | is now known as trickard |
| 2025-10-10 04:36:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 04:38:21 | × | FANTOM quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds) |
| 2025-10-10 04:41:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-10 04:43:27 | × | trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-10 04:43:45 | → | trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-10-10 04:47:17 | → | michalz joins (~michalz@185.246.207.200) |
| 2025-10-10 04:51:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 04:55:47 | × | Guest42 quits (~Guest42@14.139.38.209) (Quit: Client closed) |
| 2025-10-10 04:57:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-10 04:57:22 | → | trickard___ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-10 04:58:38 | × | trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-10-10 05:00:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 05:00:54 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-10-10 05:05:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-10 05:12:19 | → | trickard__ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-10-10 05:13:29 | × | trickard___ quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-10 05:16:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 05:17:03 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-10-10 05:18:15 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-10-10 05:19:03 | × | rembo10 quits (~rembo10@main.remulis.com) (Client Quit) |
| 2025-10-10 05:20:00 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-10-10 05:21:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-10 05:32:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 05:36:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-10 05:37:17 | × | peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-10-10 05:37:54 | <ghoulguy> | dcpagan: it's fine if it's cleaner than the alternative you're considering |
| 2025-10-10 05:40:40 | <dcpagan> | I'm playing with red-black trees, so a lot of child referencing is involved. |
| 2025-10-10 05:41:01 | <dcpagan> | Still, if the red-black invariants hold, their existence is guaranteed. |
| 2025-10-10 05:41:21 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-10-10 05:47:09 | → | haskell-learner joins (~user@210.13.96.227) |
| 2025-10-10 05:48:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-10 05:49:43 | <haskell-learner> | @undo do { x <- getLine; print x } |
| 2025-10-10 05:49:43 | <lambdabot> | getLine >>= \ x -> print x |
| 2025-10-10 05:50:06 | <haskell-learner> | @undo |
| 2025-10-10 05:50:06 | <lambdabot> | Error: expected a Haskell expression or declaration |
| 2025-10-10 05:50:17 | <haskell-learner> | @undo someParserAction :: State s a |
| 2025-10-10 05:50:17 | <lambdabot> | someParserAction :: State s a |
| 2025-10-10 05:50:17 | <haskell-learner> | someParserAction = do |
| 2025-10-10 05:50:17 | <haskell-learner> | oldState <- get |
| 2025-10-10 05:50:20 | <haskell-learner> | put (transformState oldState) |
| 2025-10-10 05:50:24 | <haskell-learner> | pure (makeSomeValue oldState) |
| 2025-10-10 05:50:54 | <haskell-learner> | @undo someParserAction = do {oldState <- get; put (transformState oldState); pure (makeSomeValue oldState);} |
| 2025-10-10 05:50:54 | <lambdabot> | someParserAction = get >>= \ oldState -> put (transformState oldState) >> pure (makeSomeValue oldState) |
| 2025-10-10 05:51:11 | <haskell-learner> | @undo \ |
| 2025-10-10 05:51:11 | <lambdabot> | <unknown>.hs:1:2:Parse error: EOF |
| 2025-10-10 05:51:11 | <haskell-learner> | someParserAction = do |
| 2025-10-10 05:51:11 | <haskell-learner> | oldState <- get |
| 2025-10-10 05:51:11 | <haskell-learner> | put (transformState oldState) |
| 2025-10-10 05:51:14 | <haskell-learner> | pure (makeSomeValue oldState) |
| 2025-10-10 05:51:16 | <haskell-learner> | @undo someParserAction = do |
| 2025-10-10 05:51:16 | <lambdabot> | <unknown>.hs:1:18:Parse error: = |
| 2025-10-10 05:51:19 | <haskell-learner> | oldState <- get |
| 2025-10-10 05:51:23 | <haskell-learner> | put (transformState oldState) |
All times are in UTC.