Logs: freenode/#haskell
| 2021-03-15 15:27:00 | × | aggin quits (~ecm@103.88.87.37) (Quit: WeeChat 3.0.1) |
| 2021-03-15 15:27:32 | <peanut_> | Hey I'm analyzing GHC Core expressions from GHC.compileToCoreModule and was wondering if theres a way to get a definition (Core Expression) from a vanilla global Var.Id, probably from another module |
| 2021-03-15 15:28:08 | <merijn> | peanut_: Sounds like a question with a better chance of success in #ghc? :) |
| 2021-03-15 15:28:21 | <peanut_> | Thing is, I'm not working on the GHC |
| 2021-03-15 15:28:28 | <peanut_> | I'm just using the GHC package |
| 2021-03-15 15:29:14 | <peanut_> | Is #ghc exclusively about GHC development? |
| 2021-03-15 15:29:33 | <merijn> | peanut_: tbh, any question involving GHC internals is on-topic there |
| 2021-03-15 15:29:54 | <peanut_> | alright thanks, I'll try my luck there |
| 2021-03-15 15:30:10 | <peanut_> | didn't want to disrupt GHC development |
| 2021-03-15 15:30:13 | <merijn> | peanut_: As long as they're not n00b tier beginner Haskell questions or getting too spammy |
| 2021-03-15 15:30:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-15 15:30:36 | <merijn> | peanut_: It's fine, it's a fairly quiet channel |
| 2021-03-15 15:30:55 | <peanut_> | thanks for the advice :) |
| 2021-03-15 15:31:32 | × | Guest54670 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 256 seconds) |
| 2021-03-15 15:31:39 | × | jayok quits (~jayok@cpc147358-belf12-2-0-cust581.2-1.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-03-15 15:32:59 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-03-15 15:33:26 | × | wopas32 quits (uid384704@gateway/web/irccloud.com/x-tpyrxxcvbruhblyb) (Quit: Connection closed for inactivity) |
| 2021-03-15 15:34:05 | <codygman`> | I was happy to see you online merijn... it's remarkably difficult to get help on issues with Async exceptions and resource finalization in Haskell. I was wondering if I'd have to jump to #ghc too :) |
| 2021-03-15 15:35:30 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 256 seconds) |
| 2021-03-15 15:36:03 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-15 15:36:49 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-03-15 15:37:12 | Alleria | is now known as Guest53837 |
| 2021-03-15 15:37:30 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-15 15:37:31 | → | robweb joins (ac3811c3@172.56.17.195) |
| 2021-03-15 15:37:35 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-15 15:39:10 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-03-15 15:39:44 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) |
| 2021-03-15 15:40:31 | → | bobweb joins (ac3a1790@172.58.23.144) |
| 2021-03-15 15:41:49 | <merijn> | That's because most people aren't anywhere close to paranoid enough for async exceptions :p |
| 2021-03-15 15:43:08 | → | geekosaur joins (ac3a56e4@172.58.86.228) |
| 2021-03-15 15:43:41 | × | Lycurgus quits (~niemand@98.4.115.230) (Quit: Exeunt) |
| 2021-03-15 15:44:09 | <bobweb> | Hi. I have this problem: https://paste.tomsmeding.com/cpY67dWg. Would you please help me get this QuickCheck issue from "Haskell from First Principles" resolved? Thank you. |
| 2021-03-15 15:45:57 | <merijn> | bobweb: Did the "Double -> Double" signature come from the book or from you? |
| 2021-03-15 15:47:01 | <bobweb> | merijin: from me. I got a different error with no type signiture so I added one. |
| 2021-03-15 15:47:06 | <int-e> | bobweb: you need a function that returns a Bool. |
| 2021-03-15 15:47:07 | → | malumore joins (~malumore@151.62.122.60) |
| 2021-03-15 15:47:34 | <geekosaur> | right, you need a predicate, something that does a test and produces a Bool result |
| 2021-03-15 15:47:44 | <int-e> | so if the book says that |
| 2021-03-15 15:47:54 | × | toorevitimirp quits (~tooreviti@117.182.182.40) (Remote host closed the connection) |
| 2021-03-15 15:47:54 | <geekosaur> | so halfIdentity is incomplete |
| 2021-03-15 15:48:08 | <int-e> | "halfIdentity = (*2) . half" is a property then the book is wrong... but maybe you misread? |
| 2021-03-15 15:48:53 | <bobweb> | Well, @#$%! I totally didn't see that and of course it needs a Bool to test against. DUH! Thank you all. |
| 2021-03-15 15:48:58 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-15 15:49:17 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 2021-03-15 15:49:26 | <bobweb> | No, the book expected me to see the need for a Bool function. |
| 2021-03-15 15:50:00 | <bobweb> | int-e |
| 2021-03-15 15:50:05 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-15 15:50:32 | <bobweb> | Thanks again. |
| 2021-03-15 15:50:45 | × | bobweb quits (ac3a1790@172.58.23.144) (Quit: Connection closed) |
| 2021-03-15 15:51:45 | → | asheshambasta joins (~user@ptr-e1lysavzjd712yoren8.18120a2.ip6.access.telenet.be) |
| 2021-03-15 15:51:46 | → | ephemient joins (uid407513@gateway/web/irccloud.com/x-jereqnktqbcrezfu) |
| 2021-03-15 15:51:58 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-15 15:52:30 | × | aqd quits (~aqd@84.20.147.33) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-03-15 15:53:37 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-15 15:53:38 | × | Sornaensis quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 256 seconds) |
| 2021-03-15 15:54:46 | × | robweb quits (ac3811c3@172.56.17.195) (Quit: Connection closed) |
| 2021-03-15 15:54:54 | × | peanut_ quits (~peanut@2a02:8388:a101:2600:6b6d:4c3f:e9f8:2601) (Quit: Leaving) |
| 2021-03-15 15:55:02 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-15 15:55:21 | → | tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) |
| 2021-03-15 15:56:11 | <codygman`> | merijn: I agree... people are too lax about async exceptions. I think part of the problem is how far you can get without worrying about them. If you had to confront them earlier though... would people stick around? :D |
| 2021-03-15 15:56:18 | × | tinhatcat quits (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Client Quit) |
| 2021-03-15 15:56:29 | <merijn> | codygman`: I mean, they're not worse than in other languages |
| 2021-03-15 15:56:41 | <merijn> | async exceptions are just hard |
| 2021-03-15 15:57:24 | <c_wraith> | they're not a problem in Haskell if your program is allowed to just.. fail |
| 2021-03-15 15:57:34 | <merijn> | c_wraith: Then they still are |
| 2021-03-15 15:57:42 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-15 15:57:50 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 2021-03-15 15:57:54 | <merijn> | Resource cleanup is still a mess, see persistent |
| 2021-03-15 15:58:05 | <geekosaur> | that's not "just.. fail" |
| 2021-03-15 15:58:31 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-15 15:58:41 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c9c1:cc0:ccd2:b4f) (Remote host closed the connection) |
| 2021-03-15 15:58:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-15 16:00:07 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-15 16:00:29 | <c_wraith> | persistent? the database interface? What does it need to clean up that the database doesn't handle? |
| 2021-03-15 16:01:09 | <merijn> | c_wraith: I meant that the earlier example shows how it's near impossible to reliably trigger cleanups for async exceptions |
| 2021-03-15 16:01:16 | <codygman`> | For my case with postgres, it needs to destroy connections that are aborted or properly reset them before putting them back in the pool. |
| 2021-03-15 16:01:30 | <codygman`> | my case above* |
| 2021-03-15 16:01:36 | <c_wraith> | once you have a pool, you're way past just failing. |
| 2021-03-15 16:01:46 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-03-15 16:02:06 | × | APic quits (apic@apic.name) (Ping timeout: 265 seconds) |
| 2021-03-15 16:02:07 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-15 16:02:21 | <merijn> | c_wraith: I didn't mean that persistent is an example of "can't just fail", if your application just exists the DB will recover |
| 2021-03-15 16:02:50 | <merijn> | c_wraith: My point was that persistent illustrates that simply "trigger cleanup before bailing/crashing" is already near impossible |
| 2021-03-15 16:04:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-15 16:05:32 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Remote host closed the connection) |
| 2021-03-15 16:06:49 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-03-15 16:07:08 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-15 16:07:25 | <dminuoso> | merijn: Regarding persistent, Ive been handrolling a few bits and pieces for neat SQL generation. |
| 2021-03-15 16:07:46 | <dminuoso> | And every time I do it, I too stand by "dont use persistent" :) |
| 2021-03-15 16:09:05 | <codygman`> | c_wraith: I'm not sure what you mean by 'once you have a pool you're way past just failing'. The pool is supposed to help you be resilient to failure and use resources more efficiently right? |
| 2021-03-15 16:09:24 | <merijn> | codygman`: Right, so you're not itending to "just fail" |
| 2021-03-15 16:09:32 | <c_wraith> | codygman`: By "just fail", I mean the whole program. If you're recovering, you're doing way more than just failing |
| 2021-03-15 16:10:55 | <dminuoso> | 16:17:25 codygman` | It looks like for persistent the postgres stmtReset is just `return ()` lol |
| 2021-03-15 16:11:06 | <dminuoso> | codygman`: You're leaping to conclusions I think |
| 2021-03-15 16:11:21 | <dminuoso> | Staring at the persistent code, `stmtReset = return ()` *only* for prepare |
| 2021-03-15 16:11:44 | <merijn> | dminuoso: What I like is that the whole persistent API is designed around the eager resource cleanup of conduit |
| 2021-03-15 16:11:53 | × | DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 2021-03-15 16:12:02 | <merijn> | dminuoso: "Wait, but didn't conduit stop supporting eager resource cleanup?" |
| 2021-03-15 16:12:09 | <merijn> | Why yes, yes, it did. |
| 2021-03-15 16:12:27 | <merijn> | Did the persistent API get refactored to be sensible in this new world? |
All times are in UTC.