Logs: freenode/#haskell
| 2021-03-15 17:14:05 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2021-03-15 17:14:05 | × | JSharp quits (sid4580@gateway/web/irccloud.com/session) (Changing host) |
| 2021-03-15 17:14:05 | → | JSharp joins (sid4580@wikia/JSharp) |
| 2021-03-15 17:14:06 | × | alanz quits (sid110616@gateway/web/irccloud.com/session) (Changing host) |
| 2021-03-15 17:14:06 | → | alanz joins (sid110616@gateway/web/irccloud.com/x-naowehghrfohzhyt) |
| 2021-03-15 17:14:06 | × | JSharp quits (sid4580@wikia/JSharp) (Changing host) |
| 2021-03-15 17:14:06 | → | JSharp joins (sid4580@gateway/web/irccloud.com/x-ezbpiqdpwygbcxhm) |
| 2021-03-15 17:14:06 | × | domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Changing host) |
| 2021-03-15 17:14:06 | → | domenkozar[m] joins (domenkozar@gateway/shell/matrix.org/x-cjmeprkmsvghrodo) |
| 2021-03-15 17:14:06 | ephemient_ | is now known as ephemient |
| 2021-03-15 17:14:06 | × | domenkozar[m] quits (domenkozar@gateway/shell/matrix.org/x-cjmeprkmsvghrodo) (Changing host) |
| 2021-03-15 17:14:06 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 2021-03-15 17:14:06 | × | JSharp quits (sid4580@gateway/web/irccloud.com/x-ezbpiqdpwygbcxhm) (Changing host) |
| 2021-03-15 17:14:06 | → | JSharp joins (sid4580@wikia/JSharp) |
| 2021-03-15 17:14:07 | runeks__ | is now known as runeks |
| 2021-03-15 17:14:07 | × | jess quits (jess@freenode/staff/jess) (Quit: Reconnecting) |
| 2021-03-15 17:14:10 | → | jess joins (jess@freenode/staff/jess) |
| 2021-03-15 17:14:36 | → | noexcept joins (~noexcept@noexcept.org) |
| 2021-03-15 17:14:38 | <hyperisco> | I suspect this is liable to get lost in translation |
| 2021-03-15 17:14:47 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-03-15 17:14:55 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-15 17:15:52 | → | immae1 joins (immaematri@gateway/shell/matrix.org/x-ckpvkldgpyouvavg) |
| 2021-03-15 17:16:18 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-xztdnbxlyijkfvcb) |
| 2021-03-15 17:16:21 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 246 seconds) |
| 2021-03-15 17:16:21 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 246 seconds) |
| 2021-03-15 17:16:21 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 246 seconds) |
| 2021-03-15 17:16:24 | → | sramsay64[m] joins (sramsay64p@gateway/shell/matrix.org/x-ugmborfniejfujki) |
| 2021-03-15 17:16:37 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-jghiowexfiqyfpvv) |
| 2021-03-15 17:16:42 | × | beka quits (~beka@gothdyke.mom) (Ping timeout: 246 seconds) |
| 2021-03-15 17:17:57 | × | michalz quits (~user@185.246.204.111) (Ping timeout: 264 seconds) |
| 2021-03-15 17:18:19 | → | cfricke joins (cfricke@gateway/vpn/mullvad/cfricke) |
| 2021-03-15 17:18:41 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-15 17:18:54 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 2021-03-15 17:18:59 | × | rj_ quits (~x@gateway/tor-sasl/rj) (Quit: rj_) |
| 2021-03-15 17:19:25 | → | beka joins (~beka@gothdyke.mom) |
| 2021-03-15 17:19:28 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-15 17:20:58 | → | fuzzypixelz joins (2ec10464@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-03-15 17:22:15 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 2021-03-15 17:22:42 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-15 17:22:42 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 2021-03-15 17:23:32 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-15 17:23:48 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 2021-03-15 17:24:56 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:4aab:53fc:fe7e:1057) |
| 2021-03-15 17:24:58 | → | kadoban_ joins (~mud@unaffiliated/kadoban) |
| 2021-03-15 17:25:02 | × | geekosaur quits (ac3a56e4@172.58.86.228) (Ping timeout: 240 seconds) |
| 2021-03-15 17:25:14 | × | rickygee quits (~rickygee@236-53-74-65.gci.net) (Ping timeout: 265 seconds) |
| 2021-03-15 17:25:44 | × | lawid quits (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) (Quit: lawid) |
| 2021-03-15 17:26:11 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) |
| 2021-03-15 17:27:05 | → | jjhoo joins (jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) |
| 2021-03-15 17:27:53 | → | lawid joins (~quassel@dslb-090-186-208-048.090.186.pools.vodafone-ip.de) |
| 2021-03-15 17:28:41 | → | rj_ joins (~x@gateway/tor-sasl/rj) |
| 2021-03-15 17:30:01 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-15 17:32:06 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-15 17:32:13 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-15 17:32:39 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-15 17:33:05 | <__minoru__shirae> | so if you're paranoid about async exceptions, you can prepend everything with mask_ |
| 2021-03-15 17:33:07 | <__minoru__shirae> | right? |
| 2021-03-15 17:33:15 | <fresheyeball> | ok it's been explained to me |
| 2021-03-15 17:33:30 | <__minoru__shirae> | it will make everything unresponsive to async exceptions |
| 2021-03-15 17:33:57 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 2021-03-15 17:34:05 | <codygman`> | __minoru__shirae: That doesn't catch all async exceptions :) uninterruptibleMask roughly does what you believe mask does |
| 2021-03-15 17:34:21 | <__minoru__shirae> | yeah, was about to write about that |
| 2021-03-15 17:35:21 | <__minoru__shirae> | how about emulating actors? |
| 2021-03-15 17:35:55 | <__minoru__shirae> | if you want to kill a thread, you don't throw an async exception to it, you send a PoisonPill message instead |
| 2021-03-15 17:36:10 | <__minoru__shirae> | sounds like it solves a problem of async exceptions |
| 2021-03-15 17:36:27 | <__minoru__shirae> | (those that a programmer sends) |
| 2021-03-15 17:36:52 | <__minoru__shirae> | not sure about async exceptions that a system sends |
| 2021-03-15 17:38:24 | <__minoru__shirae> | a thread handles one message at a time and eventually it will get to that PoisonPill message and terminate safely |
| 2021-03-15 17:38:32 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-15 17:40:38 | <__minoru__shirae> | the question is, can you be sure that since you don't throw async exceptions they won't be thrown at all |
| 2021-03-15 17:40:40 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-15 17:40:49 | → | jayok joins (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) |
| 2021-03-15 17:41:05 | <codygman`> | No, you have to depend on your dependencies not throwing them |
| 2021-03-15 17:41:05 | <codygman`> | |
| 2021-03-15 17:41:17 | <__minoru__shirae> | seems to me that a system can do it on its own |
| 2021-03-15 17:41:36 | <__minoru__shirae> | and dependencies too |
| 2021-03-15 17:44:02 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 260 seconds) |
| 2021-03-15 17:44:08 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds) |
| 2021-03-15 17:44:09 | <__minoru__shirae> | and there is a need to cancel a long-running operation |
| 2021-03-15 17:45:05 | → | megaTherion joins (~therion@unix.io) |
| 2021-03-15 17:45:08 | <__minoru__shirae> | tricky |
| 2021-03-15 17:45:19 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-03-15 17:45:30 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-15 17:47:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-15 17:47:51 | <codygman`> | agreed |
| 2021-03-15 17:48:11 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-15 17:48:13 | edwardk | unsafeCoerces all the things. |
| 2021-03-15 17:48:16 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-15 17:48:29 | <Uniaika> | edwardk: the gods are watching over you, that's cheating :P |
| 2021-03-15 17:49:02 | <edwardk> | as georgew likes to slur out almost unintelligibly "she'll be right" |
| 2021-03-15 17:49:42 | <hyperisco> | what are type systems for if not to explain valid uses of unsafeCoerce |
| 2021-03-15 17:49:54 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-15 17:50:12 | <edwardk> | hyperisco: need a better type system than haskell for these sadly |
| 2021-03-15 17:50:33 | <edwardk> | actually i only have 5 in the current codebase |
| 2021-03-15 17:50:40 | <edwardk> | so i feel i'm getting better |
| 2021-03-15 17:51:37 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-scfssrsbjzfzlhth) (Quit: Connection closed for inactivity) |
| 2021-03-15 17:54:51 | → | epstein joins (~dwsjeid91@193.27.14.71) |
| 2021-03-15 17:56:20 | → | Deide1 joins (~Deide@217.155.19.23) |
| 2021-03-15 17:56:41 | → | alanz_ joins (sid110616@gateway/web/irccloud.com/x-atcbwlvnmzxwbozk) |
| 2021-03-15 17:57:05 | → | JSharp_ joins (sid4580@wikia/JSharp) |
All times are in UTC.