Logs: liberachat/#haskell
| 2026-02-07 21:56:56 | <EvanR> | am I tripping. The docs for stateTVar says "like modifyTVar'" implying that it evaluates the new state before writing it back to the var. But upon inspection of the code, it does not |
| 2026-02-07 21:58:03 | <EvanR> | (good thing I double checked xD) |
| 2026-02-07 21:58:52 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 255 seconds) |
| 2026-02-07 21:59:34 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-07 21:59:49 | <EvanR> | n <- stateTVar tv (\g -> (g, g+1)) -- now tv holds a (possibly even bigger) thunk |
| 2026-02-07 22:01:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 22:03:36 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-07 22:03:49 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 22:05:19 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 2026-02-07 22:09:51 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-07 22:10:17 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-07 22:10:44 | × | DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 2026-02-07 22:10:54 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-07 22:11:13 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-07 22:12:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 22:14:45 | → | FANTOM joins (~fantom@87.75.185.177) |
| 2026-02-07 22:16:57 | × | tomku quits (~tomku@user/tomku) (Remote host closed the connection) |
| 2026-02-07 22:17:11 | → | tomku joins (~tomku@user/tomku) |
| 2026-02-07 22:17:50 | → | Square2 joins (~Square@user/square) |
| 2026-02-07 22:19:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-07 22:24:14 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-02-07 22:30:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 22:35:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-07 22:42:13 | × | Inline quits (~User@2a02:908:1246:26e0:ba5b:904f:46b4:eceb) (Ping timeout: 260 seconds) |
| 2026-02-07 22:46:32 | <int-e> | EvanR: True, but you do have a lever to make it as strict as you want, something that stateTVar doesn't have: (\g -> (,) g $! g+1) |
| 2026-02-07 22:47:15 | × | Hafydd quits (~Hafydd@user/hafydd) (Quit: WeeChat 4.8.1) |
| 2026-02-07 22:47:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 22:51:02 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 2026-02-07 22:52:07 | trickard_ | is now known as trickard |
| 2026-02-07 22:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-07 22:53:11 | × | Everything quits (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2026-02-07 23:00:11 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-07 23:03:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 23:09:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-07 23:10:05 | <EvanR> | seems like a documentation bug |
| 2026-02-07 23:10:29 | <EvanR> | of 1 extraneous apostrophe |
| 2026-02-07 23:11:34 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-07 23:12:48 | → | img joins (~img@user/img) |
| 2026-02-07 23:13:04 | × | CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-07 23:13:09 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2026-02-07 23:13:26 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-07 23:14:01 | → | CloneOfNone joins (~CloneOfNo@user/CloneOfNone) |
| 2026-02-07 23:18:19 | × | _JusSx_ quits (~jussx@78.211.193.248) (Ping timeout: 264 seconds) |
| 2026-02-07 23:19:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 23:19:43 | → | _JusSx_ joins (~jussx@37.161.78.248) |
| 2026-02-07 23:21:18 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 244 seconds) |
| 2026-02-07 23:24:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-07 23:26:45 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-07 23:27:05 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-07 23:30:05 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-07 23:30:29 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-07 23:35:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-07 23:40:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-07 23:43:01 | × | hiredman quits (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2026-02-07 23:44:16 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 2026-02-07 23:47:14 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 2026-02-07 23:47:38 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-07 23:49:16 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-07 23:51:26 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-02-07 23:56:01 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-02-08 00:07:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 00:11:03 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-02-08 00:11:52 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-08 00:12:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 00:18:37 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 264 seconds) |
| 2026-02-08 00:19:03 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-08 00:21:44 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-02-08 00:22:21 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-02-08 00:26:34 | Catty | is now known as kitties |
| 2026-02-08 00:26:55 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-02-08 00:35:11 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-08 00:38:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 00:38:35 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Ping timeout: 250 seconds) |
| 2026-02-08 00:43:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-08 00:52:13 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-02-08 00:54:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 00:56:51 | trickard_ | is now known as trickard |
| 2026-02-08 00:58:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-08 01:09:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 01:13:26 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 01:14:20 | × | emmanuelux quits (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-08 01:14:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-08 01:14:36 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-08 01:14:50 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-08 01:15:25 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-02-08 01:17:39 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 01:20:43 | × | APic quits (apic@apic.name) (Ping timeout: 264 seconds) |
| 2026-02-08 01:25:21 | → | omidmash7 joins (~omidmash@user/omidmash) |
| 2026-02-08 01:25:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-08 01:27:18 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2026-02-08 01:27:18 | omidmash7 | is now known as omidmash |
| 2026-02-08 01:30:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-08 01:32:32 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2026-02-08 01:32:54 | → | APic joins (apic@apic.name) |
| 2026-02-08 01:33:42 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-08 01:33:55 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-08 01:35:21 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-08 01:36:10 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-08 01:36:22 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 2026-02-08 01:37:03 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
All times are in UTC.