Logs: freenode/#haskell
| 2020-09-21 15:57:47 | <edwardk> | pretty happy that my bytestring patch is finally going in. i'd practically forgotten about in the last year, other than using it in some cabal.project.local's |
| 2020-09-21 15:58:00 | <dminuoso> | % :t Control.Exception.evaluate -- qwerty93 |
| 2020-09-21 15:58:00 | <yahb> | dminuoso: a -> IO a |
| 2020-09-21 15:58:16 | <dminuoso> | Note, you might be tempted to use unsafePerformIO with this, but there's good reasons not to. |
| 2020-09-21 15:58:43 | <dolio> | I think you should eliminate your desire to write such a function. :) |
| 2020-09-21 15:59:59 | <qwerty93> | I have seen the example `catchPure h v = unsafePerformIO $ evaluate v `catch` (pure . h)` but this can only return some sort of default value for a if an error is thrown |
| 2020-09-21 16:00:25 | × | coot quits (~coot@37.30.49.42.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 2020-09-21 16:00:31 | <davean> | qwerty93: you think thats what it does at least. |
| 2020-09-21 16:00:36 | <davean> | qwerty93: this is a very bad idea. |
| 2020-09-21 16:00:51 | <edwardk> | qwerty93: the problem is it isn't monotone |
| 2020-09-21 16:01:19 | <davean> | And thats why it doesn't do what you think it does. |
| 2020-09-21 16:01:53 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2020-09-21 16:02:18 | × | ephemera_ quits (~E@122.34.1.187) (Ping timeout: 272 seconds) |
| 2020-09-21 16:02:22 | <edwardk> | in haskell pure code you enjoy the benefits of the fact that if you make your inputs more defined all that can happen is that at worst your output becomes more defined. in a world with catchPure that is no longer the case |
| 2020-09-21 16:02:39 | <edwardk> | that is a pretty high price of admission |
| 2020-09-21 16:02:49 | → | suppi joins (~suppi@2605:f700:40:c00::e6fc:6842) |
| 2020-09-21 16:04:22 | <qwerty93> | I just want to use it for a special debugging mode, the final code would not use it anymore. So, is this not possible at all or just highly advised against? |
| 2020-09-21 16:05:28 | <davean> | qwerty93: It can make your debugging harder for the reason above. |
| 2020-09-21 16:06:31 | <davean> | as for if its possible, that depends on what "it" is, and I don't think you understand what it is and thats the problem. |
| 2020-09-21 16:07:41 | <qwerty93> | davean: you mean it affects the semantics in the sense that is forces evaluation which could cause problems if laziness is expected? the code I'm interested in is not affected by eager evaluation. or is there more? |
| 2020-09-21 16:07:53 | × | suppi quits (~suppi@2605:f700:40:c00::e6fc:6842) (Ping timeout: 272 seconds) |
| 2020-09-21 16:08:02 | <davean> | qwerty93: Theres more, see edwardk's comment. |
| 2020-09-21 16:08:50 | <davean> | qwerty93: Its value can change based on how you look at it now. |
| 2020-09-21 16:08:53 | <edwardk> | qwerty93: no monotonicity police will be dispatched to your location, just saying the nature of the issue |
| 2020-09-21 16:09:41 | <davean> | qwerty93: If it throws an exception, an exception is throw, how does this new function help you in your mind? |
| 2020-09-21 16:09:59 | × | vdiazroa quits (578036c2@p578036c2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2020-09-21 16:10:14 | → | shad0w__ joins (~shad0w_@160.202.36.59) |
| 2020-09-21 16:10:47 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2020-09-21 16:11:05 | <davean> | Tahts the sort of function I use debugging to fix, not the sort of function I use to debug. |
| 2020-09-21 16:11:52 | × | shad0w_ quits (~shad0w_@160.202.36.94) (Ping timeout: 246 seconds) |
| 2020-09-21 16:11:53 | shad0w__ | is now known as shad0w_ |
| 2020-09-21 16:12:44 | → | suppi joins (~suppi@172.246.241.246) |
| 2020-09-21 16:12:57 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9) |
| 2020-09-21 16:13:45 | → | tolt joins (~Kevin@li697-66.members.linode.com) |
| 2020-09-21 16:14:15 | → | senri joins (evlian@gateway/shell/xshellz/x-qfoqhwybgfovdhvb) |
| 2020-09-21 16:14:35 | × | unlink2 quits (~unlink2@p5dc0ae0e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2020-09-21 16:14:49 | → | unlink2 joins (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) |
| 2020-09-21 16:15:05 | → | tolt_ joins (kevin@2600:3c03::f03c:91ff:fe79:6b76) |
| 2020-09-21 16:15:30 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-09-21 16:16:52 | × | qwerty93 quits (59b76b94@a89-183-107-148.net-htp.de) (Remote host closed the connection) |
| 2020-09-21 16:17:12 | <cheater> | glguy: cmd.exe supports xterm escape sequences now |
| 2020-09-21 16:19:13 | → | Turmfalke joins (~user@unaffiliated/siracusa) |
| 2020-09-21 16:20:07 | → | josh joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net) |
| 2020-09-21 16:20:34 | × | tolt quits (~Kevin@li697-66.members.linode.com) (Quit: Goodbye!) |
| 2020-09-21 16:21:07 | tolt_ | is now known as tolt |
| 2020-09-21 16:23:53 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-09-21 16:24:54 | → | Saten-san joins (~Saten-san@ip-83-134-202-127.dsl.scarlet.be) |
| 2020-09-21 16:25:25 | → | tzh joins (~tzh@2601:448:c500:5300::df41) |
| 2020-09-21 16:29:38 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-09-21 16:30:28 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 244 seconds) |
| 2020-09-21 16:32:05 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-09-21 16:33:18 | → | OptimusMKD joins (~risto@87.227.241.139) |
| 2020-09-21 16:33:39 | × | OptimusMKD quits (~risto@87.227.241.139) (Max SendQ exceeded) |
| 2020-09-21 16:34:09 | → | OptimusMKD joins (~risto@87.227.241.139) |
| 2020-09-21 16:34:59 | × | pingiun quits (~pingiun@ip-213-124-184-182.ip.prioritytelecom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-21 16:36:15 | × | OptimusMKD quits (~risto@87.227.241.139) (Max SendQ exceeded) |
| 2020-09-21 16:36:45 | → | OptimusMKD joins (~risto@87.227.241.139) |
| 2020-09-21 16:36:45 | × | dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Remote host closed the connection) |
| 2020-09-21 16:37:07 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 2020-09-21 16:37:09 | → | dansho joins (~dansho@ip68-108-167-185.lv.lv.cox.net) |
| 2020-09-21 16:38:52 | × | OptimusMKD quits (~risto@87.227.241.139) (Max SendQ exceeded) |
| 2020-09-21 16:39:03 | → | kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-09-21 16:39:30 | → | OptimusMKD joins (~risto@87.227.241.139) |
| 2020-09-21 16:43:22 | × | Saten-san quits (~Saten-san@ip-83-134-202-127.dsl.scarlet.be) (Quit: WeeChat 2.8) |
| 2020-09-21 16:44:44 | × | kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 272 seconds) |
| 2020-09-21 16:48:49 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 2020-09-21 16:50:12 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-21 16:51:40 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2020-09-21 16:51:40 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Client Quit) |
| 2020-09-21 16:52:42 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-21 16:53:42 | × | thir quits (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-09-21 16:55:20 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-09-21 16:56:01 | × | alp quits (~alp@2a01:e0a:58b:4920:e1db:5e81:371d:6a3c) (Ping timeout: 272 seconds) |
| 2020-09-21 16:56:22 | × | nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection) |
| 2020-09-21 16:57:44 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Read error: Connection reset by peer) |
| 2020-09-21 16:58:28 | × | averell quits (~averell@unaffiliated/averell) (Remote host closed the connection) |
| 2020-09-21 17:00:14 | × | OptimusMKD quits (~risto@87.227.241.139) (Quit: Leaving) |
| 2020-09-21 17:00:28 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 2020-09-21 17:03:58 | hackage | tomland 1.3.1.0 - Bidirectional TOML serialization https://hackage.haskell.org/package/tomland-1.3.1.0 (vrom911) |
| 2020-09-21 17:04:32 | × | Orbstheorem quits (~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 260 seconds) |
| 2020-09-21 17:05:01 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 264 seconds) |
| 2020-09-21 17:05:15 | → | roconnor joins (~roconnor@host-45-78-255-115.dyn.295.ca) |
| 2020-09-21 17:05:33 | → | mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) |
| 2020-09-21 17:05:39 | → | nineonine joins (~nineonine@216.81.48.202) |
| 2020-09-21 17:06:10 | × | nineonine quits (~nineonine@216.81.48.202) (Remote host closed the connection) |
| 2020-09-21 17:06:23 | → | nineonine joins (~nineonine@216.81.48.202) |
| 2020-09-21 17:07:23 | → | pgib joins (~textual@lmms/pgib) |
| 2020-09-21 17:07:57 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 2020-09-21 17:12:25 | → | LKoen joins (~LKoen@81.255.219.130) |
| 2020-09-21 17:13:18 | → | alp joins (~alp@2a01:e0a:58b:4920:3d6a:1746:8ffe:5c08) |
| 2020-09-21 17:13:42 | → | pingiun joins (~pingiun@ip-213-124-184-182.ip.prioritytelecom.net) |
| 2020-09-21 17:16:06 | → | Orbstheorem joins (~roosember@hellendaal.orbstheorem.ch) |
| 2020-09-21 17:16:46 | → | thir joins (~thir@p200300f27f0fc600ed2222922a5678d5.dip0.t-ipconnect.de) |
| 2020-09-21 17:16:54 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 2020-09-21 17:17:25 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2020-09-21 17:17:28 | hackage | stm-actor 0.1.2.1 - A simplistic actor model based on STM https://hackage.haskell.org/package/stm-actor-0.1.2.1 (sgschlesinger) |
| 2020-09-21 17:17:28 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 2020-09-21 17:17:39 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2020-09-21 17:17:45 | × | machinedgod quits (~machinedg@45.78.189.122) (Ping timeout: 240 seconds) |
| 2020-09-21 17:18:28 | × | kuribas quits (~user@ptr-25vy0i9m1chs7zs38i7.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
All times are in UTC.