Logs: liberachat/#haskell
| 2021-08-17 20:37:16 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-17 20:40:10 | → | MQ-17J joins (~MQ-17J@2607:fb90:8824:bf5d:8f75:f298:534b:ce5e) |
| 2021-08-17 20:40:49 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2021-08-17 20:41:07 | → | forell joins (~forell@user/forell) |
| 2021-08-17 20:44:39 | → | obs joins (~obscur1ty@user/obs/x-5924898) |
| 2021-08-17 20:45:22 | <sshine_> | merijn, https://github.com/sshine/hs-verifpal/runs/3354820416?check_suite_focus=true <- I wrote a while back that I'd get back once I saw cabal fail in my CI setup. here's an example. |
| 2021-08-17 20:47:47 | <sshine_> | oops, I think I know what's wrong. |
| 2021-08-17 20:48:22 | × | obs\ quits (~obscur1ty@user/obs/x-5924898) (Ping timeout: 245 seconds) |
| 2021-08-17 20:48:32 | <sshine_> | this wasn't a cabal thing, but an actual backwards compatibility thing. |
| 2021-08-17 20:48:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2021-08-17 20:51:10 | <aegon> | is there a "gentle" way of learning more about template haskell and generics or is it more diving into the deep, like is there some dumb problem you can solve with reasonably simple th / generics to get a feel for it? |
| 2021-08-17 20:51:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-17 20:54:05 | <sshine_> | aegon, https://markkarpov.com/tutorial/th.html is one resource |
| 2021-08-17 20:55:18 | <aegon> | sshine_: thanks! |
| 2021-08-17 20:55:58 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Ping timeout: 244 seconds) |
| 2021-08-17 20:56:09 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-17 20:57:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-17 20:57:09 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 2021-08-17 20:57:33 | <sshine_> | aegon, wrt. Generic, there's an article on how 'deriving' works in GHC that may serve as inspiration as to what kind of use you want to make of e.g. Generic: https://kowainik.github.io/posts/deriving |
| 2021-08-17 20:58:25 | <aegon> | aslo thanks! these both look great |
| 2021-08-17 20:58:57 | <sshine_> | aegon, here's a newer intro to TH (featured in Haskell Weekly #271): https://serokell.io/blog/introduction-to-template-haskell |
| 2021-08-17 21:00:57 | <sshine_> | I really like this tutorial :) |
| 2021-08-17 21:02:24 | <gehmehgeh> | int-e: by the way, the "sequence" we talked about earlier produces gigantic space leaks. I'm struggling to udnerstand way. |
| 2021-08-17 21:02:49 | <gehmehgeh> | int-e: Example: bla = chunksOf 5 [1..1000] |
| 2021-08-17 21:02:58 | <jay-invariant> | aegon: between the two of them, I would advocate for using generic where possible. It's more limited in scope, and people who need to cross-compile will thank you! |
| 2021-08-17 21:03:09 | <gehmehgeh> | int-e: take 1 $ filter (\x -> head x== 93939393939393) $ sequence bla |
| 2021-08-17 21:03:40 | <gehmehgeh> | tomsmeding: ^ |
| 2021-08-17 21:05:35 | <gehmehgeh> | ah, let me refactor this example |
| 2021-08-17 21:05:35 | <tomsmeding> | gehmehgeh: you're using 'sequence' as cartesian product here? |
| 2021-08-17 21:05:43 | <gehmehgeh> | int-e: take 1 $ filter (\x -> False) $ sequence bla |
| 2021-08-17 21:05:56 | × | MQ-17J quits (~MQ-17J@2607:fb90:8824:bf5d:8f75:f298:534b:ce5e) (Read error: Connection reset by peer) |
| 2021-08-17 21:06:01 | <tomsmeding> | so bla :: [[a]] |
| 2021-08-17 21:06:07 | <gehmehgeh> | yeah |
| 2021-08-17 21:06:35 | <gehmehgeh> | just try it out, it take up several GB of RAM in seconds |
| 2021-08-17 21:07:05 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-17 21:07:10 | <tomsmeding> | gehmehgeh: is this ghci or a file |
| 2021-08-17 21:07:17 | <gehmehgeh> | tomsmeding: both |
| 2021-08-17 21:07:33 | <tomsmeding> | are you compiling the file with optimisations :p |
| 2021-08-17 21:07:42 | <gehmehgeh> | tomsmeding: yeah |
| 2021-08-17 21:07:43 | <gehmehgeh> | -O2 |
| 2021-08-17 21:07:55 | <gehmehgeh> | well, OK, in the file I don't have the type [[a]] |
| 2021-08-17 21:08:01 | <gehmehgeh> | but it's close enough |
| 2021-08-17 21:08:36 | <tomsmeding> | fascinating |
| 2021-08-17 21:09:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-17 21:10:15 | <gehmehgeh> | tomsmeding: hmm, I haven't tried the version I just posted here with -O2 and ghc, but something complicated. Maybe it will actually work as intended if it's just something like [[Int]] |
| 2021-08-17 21:10:49 | <tomsmeding> | doesn't work for me and I'm trying to figure out why |
| 2021-08-17 21:10:56 | <tomsmeding> | as in, your trivial example explodes |
| 2021-08-17 21:11:31 | <gehmehgeh> | that's actually good news for me, because this means the rest of my code is probalby OK |
| 2021-08-17 21:11:35 | <gehmehgeh> | *probably |
| 2021-08-17 21:11:42 | × | gambpang quits (~ishipman@207.181.230.156) (Remote host closed the connection) |
| 2021-08-17 21:11:52 | <gehmehgeh> | tomsmeding: you can also try "mapM id", but I guess that's just "sequence"? |
| 2021-08-17 21:12:16 | <gehmehgeh> | hm, seems like |
| 2021-08-17 21:12:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-17 21:13:17 | <aegon> | sshine_: jay-invariant: thanks! i'll be parsing them over the next couple of days |
| 2021-08-17 21:13:48 | <gehmehgeh> | tomsmeding: have to go to bed now, I'll be back tomorrow |
| 2021-08-17 21:14:10 | × | polyphem quits (~polyphem@2a02:810d:640:776c:f4c0:a27a:540e:c15e) (Ping timeout: 272 seconds) |
| 2021-08-17 21:14:14 | <gehmehgeh> | tomsmeding: if you somehow find out what the problem is, let me know :) Thanks! :) |
| 2021-08-17 21:14:20 | <tomsmeding> | of course :p |
| 2021-08-17 21:14:38 | <tomsmeding> | but low expectatiosn |
| 2021-08-17 21:14:43 | <gehmehgeh> | sure! |
| 2021-08-17 21:15:09 | <gehmehgeh> | it's actually int-e's trick, taken from the "blow your mind" Haskell wiki page |
| 2021-08-17 21:15:30 | <gehmehgeh> | good nicht |
| 2021-08-17 21:15:32 | <gehmehgeh> | night |
| 2021-08-17 21:15:40 | <tomsmeding> | g'night :) |
| 2021-08-17 21:15:43 | → | son0p joins (~ff@181.136.122.143) |
| 2021-08-17 21:15:46 | → | fernand joins (~fernand@179.156.35.4) |
| 2021-08-17 21:15:59 | <monochrom> | It blows the computer's mind. |
| 2021-08-17 21:16:25 | <monochrom> | Galaxy size memory footprint. >:) |
| 2021-08-17 21:17:30 | <monochrom> | But IIRC the code of sequence, when applied to [], specifies so much laziness it spends memory memoizing what you intuitively expect to be re-computed rather than memoized. |
| 2021-08-17 21:19:07 | <monochrom> | https://stackoverflow.com/questions/3190098/space-leak-in-list-program |
| 2021-08-17 21:20:05 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-08-17 21:22:09 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2021-08-17 21:23:09 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-08-17 21:25:40 | × | Guest320 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-17 21:25:47 | <Drew[m]1> | What's the current cool hip effects library everyone is into these days |
| 2021-08-17 21:26:20 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-17 21:26:28 | <tomsmeding> | monochrom: yeah, that seems to be exactly it |
| 2021-08-17 21:26:30 | × | Atum_ quits (IRC@user/atum/x-2392232) (Client Quit) |
| 2021-08-17 21:26:39 | <monochrom> | You know what, I think s/cool hip everyone is into/much talked about by vocal minority/ would make more sense. |
| 2021-08-17 21:26:52 | <tomsmeding> | sequence is defined somewhat different nowadays, but I'm fairly sure it ends up doing the same thing with regards to sharing the tails |
| 2021-08-17 21:26:53 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-08-17 21:27:12 | <monochrom> | My impression is that the silent majority are still using merely monad transformer stacks. |
| 2021-08-17 21:27:19 | <tomsmeding> | (the thing being that the ys argument of cons_f is used multiple times in https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Traversable.html#line-230 ) |
| 2021-08-17 21:27:42 | <gehmehgeh> | monochrom: cool! thank you! |
| 2021-08-17 21:27:57 | <Drew[m]1> | monochrom: Yeah, and so am I, but today I decided I don't know enough about them to hold an informed opinion, hence the inquiry |
| 2021-08-17 21:29:03 | <gehmehgeh> | hmm, but isn't the official "sequence" definition (on lists) wrong then? |
| 2021-08-17 21:29:09 | <gehmehgeh> | or bad (tm)? |
| 2021-08-17 21:29:43 | <monochrom> | I might agree with "bad". I wouldn't agree with "wrong". |
| 2021-08-17 21:30:08 | → | pompez joins (~martin@user/pompez) |
| 2021-08-17 21:30:46 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-17 21:30:49 | chris | is now known as Guest9675 |
| 2021-08-17 21:31:46 | <gehmehgeh> | hm, anyway, got to go. Thanks for the help |
| 2021-08-17 21:31:51 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-17 21:32:03 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-17 21:32:07 | × | cheater quits (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2021-08-17 21:34:34 | → | drownbes joins (~drownbes@200-149-20-81.sta.estpak.ee) |
| 2021-08-17 21:35:02 | × | Guest9675 quits (~chris@81.96.113.213) (Ping timeout: 245 seconds) |
| 2021-08-17 21:35:41 | → | sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 2021-08-17 21:36:23 | × | sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Client Quit) |
| 2021-08-17 21:36:25 | × | ubert quits (~Thunderbi@91.141.56.213.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
All times are in UTC.