Logs: liberachat/#haskell
| 2025-09-11 15:07:55 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2025-09-11 15:09:20 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-11 15:13:36 | × | SlackCoder quits (~SlackCode@remote.nationalgallery.org.ky) (Remote host closed the connection) |
| 2025-09-11 15:18:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-11 15:23:07 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-11 15:23:41 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-09-11 15:27:00 | trickard_ | is now known as trickard |
| 2025-09-11 15:27:11 | × | inline quits (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-11 15:27:45 | → | inline joins (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) |
| 2025-09-11 15:33:05 | <geekosaur> | there is one sense in which it may have that effect: the difference between `unsafePerformIO` and `unsafeDupablePerformIO` |
| 2025-09-11 15:35:21 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-11 15:37:40 | → | NucleusBiffBot joins (~nucleusbi@user/NucleusBiffBot) |
| 2025-09-11 15:37:41 | ← | NucleusBiffBot parts (~nucleusbi@user/NucleusBiffBot) () |
| 2025-09-11 15:41:10 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-11 15:45:44 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 258 seconds) |
| 2025-09-11 15:46:03 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-09-11 15:46:13 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-11 15:47:50 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 15:48:00 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 15:50:10 | → | MelodyOwO joins (~MelodyOwO@user/MelodyOwO) |
| 2025-09-11 16:03:43 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-11 16:08:04 | × | Square3 quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-09-11 16:13:16 | → | LainIwakura joins (~LainIwaku@user/LainIwakura) |
| 2025-09-11 16:14:03 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-11 16:15:10 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 2025-09-11 16:15:51 | × | AndreiDuma quits (~AndreiDum@user/AndreiDuma) (Client Quit) |
| 2025-09-11 16:15:58 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-09-11 16:18:36 | × | inline quits (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-11 16:18:49 | → | humodz joins (~humodz@user/humodz) |
| 2025-09-11 16:19:09 | → | inline joins (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) |
| 2025-09-11 16:20:57 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-09-11 16:25:58 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-09-11 16:27:46 | → | emperori joins (~emperori@223.187.127.81) |
| 2025-09-11 16:39:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 16:40:12 | × | hellwolf quits (~user@2f26-cc5a-24cf-d632-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2025-09-11 16:45:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-11 16:45:25 | <EvanR> | and accursedUnutterablePerformIO? |
| 2025-09-11 16:46:07 | → | hellwolf joins (~user@9629-38e7-765b-6e41-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2025-09-11 16:46:42 | <geekosaur> | only if you want to share your address space with an imp 🙂 |
| 2025-09-11 16:53:32 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-09-11 16:54:02 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-11 16:54:16 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-11 16:54:44 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-11 16:56:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 16:56:55 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-09-11 16:57:15 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-11 16:58:32 | → | sprotte24 joins (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) |
| 2025-09-11 17:02:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 17:14:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 17:16:03 | × | mari81549 quits (~mari-este@user/mari-estel) (Ping timeout: 256 seconds) |
| 2025-09-11 17:16:17 | × | inline quits (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-11 17:16:49 | → | inline joins (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) |
| 2025-09-11 17:19:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-11 17:19:15 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-11 17:21:44 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 256 seconds) |
| 2025-09-11 17:22:18 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-09-11 17:25:07 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-11 17:30:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 17:33:41 | × | krei-se quits (~krei-se@p200300f1cfff1648915f43887404f7ca.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-09-11 17:35:06 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 2025-09-11 17:35:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 17:38:16 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-11 17:38:27 | → | krei-se joins (~krei-se@p200300f1cf342301915f43887404f7ca.dip0.t-ipconnect.de) |
| 2025-09-11 17:39:50 | × | vetkat quits (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 2025-09-11 17:43:20 | × | emperori quits (~emperori@223.187.127.81) (Read error: Connection reset by peer) |
| 2025-09-11 17:43:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 17:44:34 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-09-11 17:46:18 | danso_o | is now known as danso |
| 2025-09-11 17:47:48 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-11 17:48:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-11 17:55:44 | × | MelodyOwO quits (~MelodyOwO@user/MelodyOwO) (Quit: Leaving.) |
| 2025-09-11 17:56:33 | × | comonad quits (~comonad@p200300d027244d00edac481148480656.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 2025-09-11 17:59:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 18:04:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 18:08:58 | × | inline quits (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-11 18:09:32 | → | inline joins (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) |
| 2025-09-11 18:15:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 18:20:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 18:22:01 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-11 18:24:27 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-11 18:24:40 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-11 18:33:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 18:40:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-11 18:44:39 | → | emperori joins (~emperori@2401:4900:6299:772f:dc20:49b3:341f:d3e3) |
| 2025-09-11 18:48:16 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (Quit: = "") |
| 2025-09-11 18:50:00 | <tomsmeding> | geekosaur: wouldn't that only be if you evaluate the same thunk from multiple threads? |
| 2025-09-11 18:50:10 | <tomsmeding> | (which is not particularly useful in the first place) |
| 2025-09-11 18:54:39 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 2025-09-11 18:57:51 | <geekosaur> | consider launching multiple threads running the same function: if they all call the same inner function with the same parameters, this may end up being the same thunk (couldn't happen in IO, I think, but pure code allows lifting which is part of why unsafe*PerformIO is unsafe and accursed… is *really* unsafe) |
| 2025-09-11 18:58:09 | × | inline quits (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2025-09-11 18:59:47 | <tomsmeding> | geekosaur: I'd guess in that situation, either 1. GHC doesn't realise it's the same call, so they will be separate calls at runtime anyway and thus be separate thunks, or 2. GHC did lift out the inner call and it will only be evaluated once, so subsequent calls to the same function will not evaluate the sequential part again |
| 2025-09-11 19:00:00 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-11 19:00:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-11 19:00:20 | <tomsmeding> | and in case 2, if that deduplicated call takes much of the runtime that was supposed to be parallel, why are you running it in parallel -- it's the same call multiple times |
| 2025-09-11 19:00:41 | → | caconym747 joins (~caconym@user/caconym) |
| 2025-09-11 19:02:15 | → | inline joins (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) |
| 2025-09-11 19:02:51 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-11 19:03:03 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
| 2025-09-11 19:04:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-11 19:05:11 | <dminuoso> | ski: Regarding the question of how far that hypothetical section syntax would extend, the answer is simple: not at all, just like current sections dont extend at all. |
All times are in UTC.