Logs: freenode/#haskell
| 2021-03-02 17:21:10 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-02 17:22:06 | × | boxscape quits (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) (Quit: Connection closed) |
| 2021-03-02 17:22:33 | → | boxscape joins (4ff0baf3@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.243) |
| 2021-03-02 17:24:30 | → | apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-02 17:24:56 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 2021-03-02 17:25:09 | × | carlomagno1 quits (~cararell@148.87.23.10) (Ping timeout: 264 seconds) |
| 2021-03-02 17:25:34 | → | clynamen joins (~clynamen@net-93-66-1-11.cust.vodafonedsl.it) |
| 2021-03-02 17:26:25 | × | clynamen_ quits (~clynamen@net-2-34-3-193.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2021-03-02 17:27:11 | → | carlomagno joins (~cararell@148.87.23.10) |
| 2021-03-02 17:28:38 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-02 17:28:39 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-sxrgytxuuwuucfer) (Quit: Connection closed for inactivity) |
| 2021-03-02 17:29:57 | × | kuribas quits (~user@ptr-25vy0i7beqcypgxlfat.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-03-02 17:30:29 | × | python47` quits (~user@mfl93-13-83-155-250-136.fbx.proxad.net) (Ping timeout: 245 seconds) |
| 2021-03-02 17:31:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-02 17:32:40 | × | Deide quits (~Deide@217.155.19.23) (Read error: Connection reset by peer) |
| 2021-03-02 17:33:08 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-02 17:33:46 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-03-02 17:36:15 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:e0e9:a038:1112:d7c8) (Ping timeout: 240 seconds) |
| 2021-03-02 17:36:45 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 2021-03-02 17:36:56 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:e0e9:a038:1112:d7c8) |
| 2021-03-02 17:40:30 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-02 17:40:50 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-02 17:44:14 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2021-03-02 17:44:37 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 17:45:41 | → | pincel joins (~pyon@unaffiliated/pyon) |
| 2021-03-02 17:47:34 | × | Vanotek quits (~Vanotek@90.200.185.163) (Ping timeout: 245 seconds) |
| 2021-03-02 17:48:08 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 17:48:38 | × | thunderrd quits (~thunderrd@183.182.112.145) (Ping timeout: 272 seconds) |
| 2021-03-02 17:48:57 | → | drdee joins (~drdee@2001:b07:6468:1782:1e9c:163f:3faa:8058) |
| 2021-03-02 17:48:59 | × | drdee quits (~drdee@2001:b07:6468:1782:1e9c:163f:3faa:8058) (Remote host closed the connection) |
| 2021-03-02 17:49:06 | → | thunderrd joins (~thunderrd@183.182.112.145) |
| 2021-03-02 17:50:46 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-02 17:52:16 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 2021-03-02 17:52:17 | → | spiderbubble joins (uid17704@gateway/web/irccloud.com/x-srelmqkmebrzdhfg) |
| 2021-03-02 17:52:58 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-02 17:54:29 | → | raym joins (~ray@45.64.220.3) |
| 2021-03-02 17:57:54 | → | Tarutaev joins (~Tarutaev@90.200.185.163) |
| 2021-03-02 18:00:58 | → | dansho joins (~dansho@ec2-13-115-122-101.ap-northeast-1.compute.amazonaws.com) |
| 2021-03-02 18:01:02 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 18:01:49 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-02 18:02:16 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 240 seconds) |
| 2021-03-02 18:02:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-02 18:02:43 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-02 18:03:15 | → | redmp joins (~redmp@172.58.38.139) |
| 2021-03-02 18:04:32 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-ufymsxtwwagrydka) |
| 2021-03-02 18:05:26 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-02 18:10:06 | → | zhenchaoli joins (~user@2601:641:8080:71c0:99fe:19bc:923d:684e) |
| 2021-03-02 18:10:44 | × | michalz quits (~user@185.246.204.42) (Remote host closed the connection) |
| 2021-03-02 18:11:01 | × | pera_ quits (~pera_@94.0.111.239) (Quit: leaving) |
| 2021-03-02 18:11:52 | × | curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-02 18:12:06 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-02 18:12:52 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-02 18:12:53 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 18:13:14 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 18:13:48 | → | carlomagno1 joins (~cararell@148.87.23.10) |
| 2021-03-02 18:14:40 | × | zhenchaoli quits (~user@2601:641:8080:71c0:99fe:19bc:923d:684e) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-03-02 18:15:21 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-hhsehrobfpkiaywm) (Quit: Connection closed for inactivity) |
| 2021-03-02 18:15:34 | → | zhenchaoli joins (~user@2601:641:8080:71c0:99fe:19bc:923d:684e) |
| 2021-03-02 18:15:35 | × | carlomagno quits (~cararell@148.87.23.10) (Ping timeout: 240 seconds) |
| 2021-03-02 18:15:36 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-03-02 18:16:04 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 18:16:36 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-02 18:17:31 | → | ixlun joins (~user@213.205.241.12) |
| 2021-03-02 18:18:20 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 18:18:41 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-02 18:19:04 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-02 18:19:36 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 18:19:50 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 18:19:53 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-03-02 18:21:18 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-03-02 18:22:40 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-02 18:22:53 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-02 18:24:24 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-03-02 18:25:17 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-02 18:26:21 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 18:26:56 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 18:27:34 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-02 18:28:05 | → | gioyik_ joins (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-03-02 18:29:08 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-02 18:29:14 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-ttrfxkbadcapkjxd) (Quit: Connection closed for inactivity) |
| 2021-03-02 18:29:18 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-02 18:29:26 | <ixlun> | Hi all, I've been experimenting with mutable references in haskell and I've got: https://termbin.com/jg6ql . Is there a way I can make both `a' and `b' point to the same object so that mutation through either `a' or `b' is observed by the other IORef? |
| 2021-03-02 18:29:38 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 268 seconds) |
| 2021-03-02 18:30:00 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:2c10:d848:8f1f:38a4) (Remote host closed the connection) |
| 2021-03-02 18:30:01 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-02 18:30:13 | <monochrom> | let b = a |
| 2021-03-02 18:30:27 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-02 18:30:34 | <merijn> | ixlun: eh, by not having two IORefs? :p |
| 2021-03-02 18:30:40 | <monochrom> | "point to the same object" = aliasing. Definition. |
| 2021-03-02 18:30:48 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:2c10:d848:8f1f:38a4) |
| 2021-03-02 18:31:01 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-02 18:31:19 | <ixlun> | Ahhh, of course! |
| 2021-03-02 18:31:31 | ixlun | feels a bit silly for asking that question now! |
| 2021-03-02 18:31:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-02 18:31:50 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-02 18:32:08 | <FortuneZero> | use the same IORef in both places |
| 2021-03-02 18:32:16 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-02 18:32:27 | <koz_> | An IORef is essentially a pointer. |
| 2021-03-02 18:32:36 | <FortuneZero> | IORef is a pointer to box where the value is stored |
| 2021-03-02 18:32:47 | <FortuneZero> | copy the pointer as much as you want |
All times are in UTC.