Logs: liberachat/#haskell
| 2025-12-22 19:13:35 | <iqubic> | Those would be useful for me, and I'm not really seeing what prevents those from existing. |
| 2025-12-22 19:21:40 | → | merijn joins (~merijn@62.45.136.136) |
| 2025-12-22 19:23:51 | <EvanR> | atomic swap of two MVars sounds like someone screaming out for STM |
| 2025-12-22 19:24:33 | <gentauro> | EvanR: linear-types? |
| 2025-12-22 19:24:44 | <monochrom> | Yeah STM should be much simpler. But sometimes there are causes for sticking to MVars. You never know the context of contextless generic questions! |
| 2025-12-22 19:24:53 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-22 19:25:48 | → | Googulator89 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 19:25:59 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-12-22 19:26:10 | × | Googulator quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-22 19:26:15 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2025-12-22 19:27:32 | × | shaeto quits (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-22 19:28:21 | <monochrom> | Actually you can just perform two takeMVars then two putMVars. You already have atomicity. If every site does it in the same order, you won't have deadlocks. |
| 2025-12-22 19:33:14 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-22 19:33:55 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-12-22 19:34:02 | <EvanR> | ensure that like this |
| 2025-12-22 19:34:16 | <EvanR> | MVar (A, MVar B) |
| 2025-12-22 19:34:17 | <EvanR> | xD |
| 2025-12-22 19:34:33 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-22 19:34:38 | <monochrom> | I think MChan is like that. |
| 2025-12-22 19:35:10 | <EvanR> | where A = B because we're trying to swap |
| 2025-12-22 19:36:14 | <monochrom> | Err s/MChan/Chan/ |
| 2025-12-22 19:37:18 | <monochrom> | data ChItem a = ChItem a (MVar (ChItem a)) |
| 2025-12-22 19:37:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 19:39:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-22 19:41:02 | → | mastarija joins (~mastarija@9-118.dsl.iskon.hr) |
| 2025-12-22 19:41:27 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 2025-12-22 19:42:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-22 19:43:46 | <mastarija> | Arrows have some benefits like being statically analyzable and in theory we can perform more optimizations on them. Can Arrows reap some of those static analysis benefits in the current GHC or are we just limited to things like preventing memory leaks in parsers and FRP? |
| 2025-12-22 19:45:05 | × | Googulator89 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-22 19:45:21 | → | Googulator89 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-22 19:49:13 | <EvanR> | does GHC use "laws" of typeclasses in general? |
| 2025-12-22 19:49:26 | <EvanR> | to simplify things |
| 2025-12-22 19:50:10 | <mastarija> | No :) |
| 2025-12-22 19:50:48 | <geekosaur> | ghc knows nothing about laws. some RULES assume that various laws hold, meaning they produce breakage if they don't, but nothing checks or otherwise uses them |
| 2025-12-22 19:50:55 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-22 19:50:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 19:51:02 | <mastarija> | But it does recognize some things IIRC and can apply some optimizations in certain cases. |
| 2025-12-22 19:51:57 | <mastarija> | Optimizations related to some "laws", not in general. |
| 2025-12-22 19:55:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 19:59:48 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-22 19:59:48 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-22 20:01:15 | → | synchromesh joins (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) |
| 2025-12-22 20:01:19 | × | mastarija quits (~mastarija@9-118.dsl.iskon.hr) (Quit: Client closed) |
| 2025-12-22 20:06:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 20:13:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 20:15:40 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-22 20:16:11 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-22 20:21:29 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-22 20:24:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 20:29:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-22 20:36:58 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 255 seconds) |
| 2025-12-22 20:38:13 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-22 20:40:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 20:44:28 | → | polykernel_ joins (~polykerne@user/polykernel) |
| 2025-12-22 20:45:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 20:46:34 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 256 seconds) |
| 2025-12-22 20:46:35 | polykernel_ | is now known as polykernel |
| 2025-12-22 20:52:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 20:54:22 | × | rainbyte_ quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-22 20:54:35 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 2025-12-22 20:57:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-22 21:05:17 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-22 21:05:55 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-22 21:07:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 21:08:49 | <hololeap> | can someone remind me what the syntax is in a .cabal file for (if ghc >= 9.6) |
| 2025-12-22 21:12:32 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-22 21:12:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-22 21:14:16 | <hololeap> | found it: if impl(ghc >= 9.6) |
| 2025-12-22 21:23:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 21:25:44 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-22 21:28:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 21:32:18 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-22 21:35:45 | × | myme quits (~myme@2a01:799:d5e:5f00:5e12:8326:f92:1a30) (Ping timeout: 245 seconds) |
| 2025-12-22 21:37:00 | → | myme joins (~myme@2a01:799:d5e:5f00:d40:c994:1cc4:c4b5) |
| 2025-12-22 21:37:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 21:37:26 | × | elarks quits (~yerrii@user/yerrii) (Quit: WeeChat 4.7.1) |
| 2025-12-22 21:39:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-12-22 21:39:29 | → | LaurentH joins (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-22 21:41:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 21:41:55 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 21:42:07 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 21:43:11 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-22 21:52:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 21:59:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-22 22:00:06 | → | Square2 joins (~Square@user/square) |
| 2025-12-22 22:06:36 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-22 22:10:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-22 22:15:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 22:15:55 | × | annamalai quits (~annamalai@2409:4042:d13:652a::9eca:d20b) (Ping timeout: 264 seconds) |
| 2025-12-22 22:18:13 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2025-12-22 22:19:53 | × | trickard_ quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-22 22:20:06 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-22 22:33:29 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2025-12-22 22:44:26 | × | traxex quits (traxex@user/traxex) (Ping timeout: 256 seconds) |
| 2025-12-22 22:58:05 | trickard_ | is now known as trickard |
| 2025-12-22 23:05:45 | × | LaurentH quits (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Ping timeout: 272 seconds) |
| 2025-12-22 23:22:32 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-12-22 23:23:51 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-22 23:24:09 | × | corecaps quits (~quassel@user/corecaps) (Remote host closed the connection) |
| 2025-12-22 23:34:04 | × | sajith quits (~sajith@user/sajith) (Ping timeout: 260 seconds) |
All times are in UTC.