Newest at the top
| 2025-10-15 14:25:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 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: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:19:24 +0200 | fp | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-10-15 14:18:16 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
| 2025-10-15 14:15:05 +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:08:41 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 14:03:10 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 13:58:59 +0200 | trickard___ | trickard |
| 2025-10-15 13:58:51 +0200 | <[exa]> | dminuoso: (perhaps related: https://github.com/pcapriotti/optparse-applicative/pull/505 ) |
| 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:31 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-15 13:58:23 +0200 | <[exa]> | dminuoso: re optparse-selective, that would be a rewrite of optparse? |
| 2025-10-15 13:57:56 +0200 | trickard___ | (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-10-15 13:55:22 +0200 | koz | (~koz@121.99.240.58) |
| 2025-10-15 13:51:54 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2025-10-15 13:50:55 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:50:21 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:49:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 13:47:50 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-10-15 13:46:18 +0200 | inline | (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-15 13:45:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 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:44:46 +0200 | fp1 | fp |
| 2025-10-15 13:44:45 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-10-15 13:43:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:43:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 13:42:53 +0200 | fp1 | (~Thunderbi@wireless-86-50-141-225.open.aalto.fi) fp |
| 2025-10-15 13:37:12 +0200 | <tomsmeding> | ah right, makes sense |
| 2025-10-15 13:36:58 +0200 | Lord_of_Life_ | 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:35:38 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-15 13:34:20 +0200 | <dminuoso> | (And I still have optparse-selective on my todo stack) |
| 2025-10-15 13:32:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 13:32:17 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-15 13:31:08 +0200 | <dminuoso> | I usually use it for optparse-applicative. |
| 2025-10-15 13:30:55 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 265 seconds) |
| 2025-10-15 13:30:39 +0200 | <tomsmeding> | I never use ApplicativeDo |
| 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:19 +0200 | <tomsmeding> | https://play.haskell.org/saved/9myEpOls |
| 2025-10-15 13:30:03 +0200 | <dminuoso> | An example like this should work more easily |
| 2025-10-15 13:30:03 +0200 | <tomsmeding> | works for me though |
| 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:28:46 +0200 | <dminuoso> | tomsmeding: But perfectly in line with how frequently ApplicativeDo fails. Not that it should. |
| 2025-10-15 13:28:23 +0200 | <tomsmeding> | okay that's weird |
| 2025-10-15 13:28:17 +0200 | <tomsmeding> | _right_ |
| 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:27:51 +0200 | <tomsmeding> | I was assuming that the ApplicativeDo is supposed to apply to the outer do |
| 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…) |