Newest at the top
2025-02-01 23:10:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-01 23:10:42 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
2025-02-01 23:10:41 +0100 | <sim590> | I can make sure to access properly the data by doing `takeMVar` when I need it and `putMVar` when I'm finished modifying it. I have the impression that it is equivalent to using stm's `modifyTVar`. Am I mistaken? Why should I really avoid using MVar over TVar ? |
2025-02-01 23:10:39 +0100 | <sim590> | I'm realizing that I need to use a concurrent access capable datatype for the state of my application in order to modify/read the state on different threads. At first I had a new type around `StateT MyState IO a`. So I think I can change it to `StateT (MVar MyState) IO a`. But I read on stackoverflow that for updating data, I should use TVar instead, but I don't see why. If I understand correctly, |
2025-02-01 23:06:16 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
2025-02-01 22:59:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-02-01 22:56:48 +0100 | connrs | (~connrs@user/connrs) connrs |
2025-02-01 22:55:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-01 22:53:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-02-01 22:49:54 +0100 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
2025-02-01 22:49:34 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-01 22:43:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-02-01 22:40:10 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
2025-02-01 22:38:48 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
2025-02-01 22:37:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-01 22:34:53 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
2025-02-01 22:34:42 +0100 | weary-traveler | (~user@user/user363627) user363627 |
2025-02-01 22:32:48 +0100 | sonny | (~sonny@bras-base-london140cw-grc-03-142-114-127-76.dsl.bell.ca) () |
2025-02-01 22:31:37 +0100 | monochrm | monochrom |
2025-02-01 22:31:36 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 272 seconds) |
2025-02-01 22:30:28 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
2025-02-01 22:29:39 +0100 | monochrm | (trebla@216.138.220.146) |
2025-02-01 22:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-02-01 22:24:26 +0100 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
2025-02-01 22:21:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-01 22:20:09 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-02-01 22:19:33 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::2163) ensyde |
2025-02-01 22:14:33 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 245 seconds) |
2025-02-01 22:13:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-02-01 22:12:04 +0100 | Digit | (~user@user/digit) Digit |
2025-02-01 22:10:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-02-01 22:08:39 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
2025-02-01 22:06:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-01 22:06:16 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
2025-02-01 22:02:03 +0100 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) |
2025-02-01 22:01:56 +0100 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.1) |
2025-02-01 22:01:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-02-01 22:00:42 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
2025-02-01 21:59:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-02-01 21:56:41 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
2025-02-01 21:55:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-01 21:54:13 +0100 | erdem | (~erdem@user/erdem) erdem |
2025-02-01 21:53:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-02-01 21:47:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-02-01 21:44:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-02-01 21:42:03 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 245 seconds) |
2025-02-01 21:39:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-02-01 21:32:28 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 245 seconds) |
2025-02-01 21:28:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-02-01 21:24:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |