Logs: liberachat/#haskell
| 2021-06-10 12:17:13 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-10 12:18:14 | × | azeem quits (~azeem@176.201.34.70) (Ping timeout: 272 seconds) |
| 2021-06-10 12:20:14 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-10 12:22:57 | → | azeem joins (~azeem@176.201.34.70) |
| 2021-06-10 12:23:24 | × | slack1256 quits (~slack1256@181.203.23.128) (Ping timeout: 245 seconds) |
| 2021-06-10 12:26:23 | → | peterhil_ joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-10 12:26:27 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-06-10 12:30:16 | × | dhil quits (~dhil@80.208.56.181) (Ping timeout: 272 seconds) |
| 2021-06-10 12:31:08 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-10 12:31:11 | × | psydroid quits (~psydroidm@2001:470:69fc:105::165) (Changing host) |
| 2021-06-10 12:31:11 | → | psydroid joins (~psydroidm@user/psydroid) |
| 2021-06-10 12:32:27 | → | nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com) |
| 2021-06-10 12:32:34 | × | peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-06-10 12:32:34 | × | azeem quits (~azeem@176.201.34.70) (Ping timeout: 268 seconds) |
| 2021-06-10 12:33:19 | → | azeem joins (~azeem@176.200.189.210) |
| 2021-06-10 12:34:04 | × | benin03 quits (~benin@183.82.176.4) (Ping timeout: 272 seconds) |
| 2021-06-10 12:35:24 | → | peterhil joins (~peterhil@mobile-access-bcee65-77.dhcp.inet.fi) |
| 2021-06-10 12:35:29 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 245 seconds) |
| 2021-06-10 12:37:40 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-10 12:38:29 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-10 12:39:15 | × | yoctocell quits (~yoctocell@h87-96-130-155.cust.a3fiber.se) (Remote host closed the connection) |
| 2021-06-10 12:41:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-10 12:42:13 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-10 12:43:12 | → | dhil joins (~dhil@195.213.192.47) |
| 2021-06-10 12:43:17 | × | Day1 quits (~Android@pop.92-184-116-93.mobile.abo.orange.fr) (Read error: Connection reset by peer) |
| 2021-06-10 12:45:40 | × | hmmmas quits (~chenqisu1@183.217.200.246) (Quit: Leaving.) |
| 2021-06-10 12:45:54 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 245 seconds) |
| 2021-06-10 12:47:05 | → | Day1 joins (~Android@pop.92-184-116-9.mobile.abo.orange.fr) |
| 2021-06-10 12:47:59 | × | wanagnuj quits (~wanagnuj@101.95.97.158) (Ping timeout: 245 seconds) |
| 2021-06-10 12:48:01 | → | benin03 joins (~benin@183.82.206.186) |
| 2021-06-10 12:50:14 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-65-193-238.nyc.res.rr.com) |
| 2021-06-10 12:53:37 | × | mastarija quits (~mastarija@31.217.22.43) (Quit: Leaving) |
| 2021-06-10 12:54:48 | <kuribas> | I am seeing a lot of downloads of my (264) of my hasqlator library, it isn't completely stable yet... |
| 2021-06-10 12:55:00 | <merijn> | kuribas: Lots of bot downloads on hackage |
| 2021-06-10 12:55:06 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-65-193-238.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-06-10 12:55:10 | <kuribas> | oh right |
| 2021-06-10 12:55:26 | → | sekun joins (~sekun@180.190.152.231) |
| 2021-06-10 12:55:48 | <merijn> | Even if you release a package today you'll see downloads steadily going up right away |
| 2021-06-10 12:56:20 | <kuribas> | ok, so no world domination for my database library yet ;-) |
| 2021-06-10 12:56:26 | <sshine> | kuribas, excellent package name |
| 2021-06-10 12:56:37 | <merijn> | kuribas: I just have a bold "Warning: this will evolve, use PVP upperbounds or get rekt" |
| 2021-06-10 12:56:54 | <merijn> | Except, you know, more politically correctly written :p |
| 2021-06-10 12:57:42 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-10 12:58:06 | <kuribas> | yeah |
| 2021-06-10 12:58:31 | <kuribas> | I could use 0.x.x for unstable, 1.x.x when it's more stable. |
| 2021-06-10 12:58:41 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-06-10 12:59:40 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-10 12:59:55 | <kuribas> | merijn: one of the reasons i haven't announced it yet on reddit etc..., because I am still change small things. |
| 2021-06-10 13:00:14 | <kuribas> | however, it's already enjoyable to work with :) |
| 2021-06-10 13:00:39 | <kuribas> | seeing an error when trying to use a wrong field with the wrong table, or the wrong return value. |
| 2021-06-10 13:01:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-10 13:02:25 | → | o1lo01ol1o joins (~o1lo01ol1@cpe-74-65-193-238.nyc.res.rr.com) |
| 2021-06-10 13:03:14 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-10 13:04:38 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2021-06-10 13:04:38 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2021-06-10 13:04:39 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-10 13:04:56 | → | fendor_ joins (~fendor@213142096031.public.telering.at) |
| 2021-06-10 13:05:45 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-10 13:06:06 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-10 13:06:24 | × | azeem quits (~azeem@176.200.189.210) (Ping timeout: 252 seconds) |
| 2021-06-10 13:06:29 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 268 seconds) |
| 2021-06-10 13:06:36 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-10 13:06:38 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-10 13:06:46 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-10 13:07:17 | × | kw` quits (~user@152.1.137.158) (Remote host closed the connection) |
| 2021-06-10 13:07:45 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-10 13:10:14 | <jumper149> | Hi, would it be considered safe to use `unsafeIOToSTM` to call something like `logInfoSH` from `Control.Monad.Logger` (monad-logger)? |
| 2021-06-10 13:10:17 | × | Day1 quits (~Android@pop.92-184-116-9.mobile.abo.orange.fr) (Read error: Connection reset by peer) |
| 2021-06-10 13:11:54 | <dminuoso> | jumper149: fsvo of safe. |
| 2021-06-10 13:12:06 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Quit: Leaving) |
| 2021-06-10 13:12:11 | <dminuoso> | jumper149: Keep in mind that STM can retry |
| 2021-06-10 13:12:32 | <dminuoso> | Depending on the scenario, it could retry a lot.. |
| 2021-06-10 13:14:45 | <dminuoso> | (And in fact, if you didn't expect any retry, you'd just be using IO) |
| 2021-06-10 13:15:30 | <dminuoso> | So if you dont mind that you might get (heavily) repeated calls into logInfoSH (possibly even draining resources, depending on what your monad logger is connected to...) |
| 2021-06-10 13:16:26 | × | o1lo01ol1o quits (~o1lo01ol1@cpe-74-65-193-238.nyc.res.rr.com) (Remote host closed the connection) |
| 2021-06-10 13:17:11 | → | o1lo01ol_ joins (~o1lo01ol1@cpe-74-65-193-238.nyc.res.rr.com) |
| 2021-06-10 13:17:32 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-10 13:17:46 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-10 13:18:13 | <kritzefitz> | The documentation of unsafeIOToSTM warns that IO on handles or other operations that need cleanup might leave behind inconsistent state when a transaction is aborted. This sounds like it could be a problem for logInfoSH. |
| 2021-06-10 13:18:18 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-06-10 13:21:30 | <dminuoso> | Ah, thats annoying |
| 2021-06-10 13:22:13 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) |
| 2021-06-10 13:22:15 | <jumper149> | kritzefitz: Yeah, thats what I was mostly worried about. |
| 2021-06-10 13:22:26 | <jumper149> | I guess I'll do the safe approach and do the logging just in IO. |
| 2021-06-10 13:25:42 | <kritzefitz> | jumper149, I found writing `join $ atomically ...` useful. That way you can just return IO from your transaction and have it executed just after the transaction. |
| 2021-06-10 13:26:05 | × | peterhil quits (~peterhil@mobile-access-bcee65-77.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-06-10 13:26:43 | <kritzefitz> | If your transaction is complex enough you could even use a writer monad to collect the IO along the way. But I digress. |
| 2021-06-10 13:26:50 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:2121:a570:d35e:ba7a) (Ping timeout: 268 seconds) |
| 2021-06-10 13:26:59 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-10 13:27:04 | <jumper149> | Yeah I was also thinking of that Writer approach |
| 2021-06-10 13:27:14 | <jumper149> | or WriterT to be exact |
| 2021-06-10 13:27:18 | HotblackDesiato_ | is now known as HotblackDesiato |
| 2021-06-10 13:27:22 | → | ddellacosta joins (~ddellacos@86.106.121.47) |
| 2021-06-10 13:28:03 | <jumper149> | I'm not sure how `join` would be better than just putting it afterwards in do-notation. |
| 2021-06-10 13:29:14 | → | azeem joins (~azeem@176.200.245.34) |
| 2021-06-10 13:30:11 | <kritzefitz> | It's mostly useful, if the IO you want to do depends heavily on the result of the transaction. For example you can do `join $ atomically (readTVar v >>= \case { A -> doSomething; B x -> doSomethingElse x; C a b c -> somethingElseEntirely a c })` |
| 2021-06-10 13:30:19 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-10 13:32:28 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-10 13:35:41 | <jumper149> | kritzefitz: I can't wrap my head around it x) |
| 2021-06-10 13:35:53 | <jumper149> | That case is still in STM |
All times are in UTC.