Logs: freenode/#haskell
| 2021-04-23 13:21:39 | <carbolymer> | coming from JVM, I'm surprised that resources about GHC GC are a bit scarce |
| 2021-04-23 13:21:46 | <merijn> | I'm not sure there's any comprehensive articles |
| 2021-04-23 13:21:57 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-23 13:22:11 | <merijn> | I think I learned most of it through osmosis >.> |
| 2021-04-23 13:22:19 | <carbolymer> | :| |
| 2021-04-23 13:22:20 | <merijn> | There was the JFP draft by ezyang |
| 2021-04-23 13:22:36 | <merijn> | carbolymer: http://ezyang.com/jfp-ghc-rts-draft.pdf |
| 2021-04-23 13:22:50 | <carbolymer> | thx |
| 2021-04-23 13:23:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-23 13:23:26 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 2021-04-23 13:24:10 | × | milessabin quits (sid86799@gateway/web/irccloud.com/x-yhagfzynbpqlfqnu) (Quit: Connection closed for inactivity) |
| 2021-04-23 13:24:13 | → | son0p joins (~ff@181.136.122.143) |
| 2021-04-23 13:24:32 | <merijn> | carbolymer: tbh, there's really just 2 collectors atm, and one is about 1-2 years old? |
| 2021-04-23 13:24:38 | → | barakkl1993 joins (~barakkley@2.55.47.160) |
| 2021-04-23 13:27:12 | × | carlomagno quits (~cararell@148.87.23.9) (Remote host closed the connection) |
| 2021-04-23 13:27:23 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-23 13:29:34 | → | RandomArcher joins (~RandomArc@90.153.145.2) |
| 2021-04-23 13:30:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-23 13:32:05 | <carbolymer> | merijn: I wonder why is that, is that because of the immutability, there's not much room for improvement? |
| 2021-04-23 13:32:15 | × | barakkl1993 quits (~barakkley@2.55.47.160) (Remote host closed the connection) |
| 2021-04-23 13:32:35 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-04-23 13:32:38 | → | carlomagno joins (~cararell@148.87.23.4) |
| 2021-04-23 13:32:39 | <carbolymer> | merijn: or no one wants to work on that?;] |
| 2021-04-23 13:33:13 | <geekosaur> | the latter, I think. there have been proposals for other GC mechanisms but a shortage of people willing to work on them |
| 2021-04-23 13:33:50 | <merijn> | Well, bit of both? |
| 2021-04-23 13:33:54 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-04-23 13:34:05 | <merijn> | I mean, GHC's GC is pretty well-tuned and elegant for *most* workloads |
| 2021-04-23 13:34:19 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-23 13:34:39 | <merijn> | The new GC addressed some cases where the default GC doesn't work well |
| 2021-04-23 13:34:41 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-04-23 13:35:16 | <merijn> | So it's basically a matter of "status quo is good enough for most people, and people would rather work on other things until it becomes a problem" |
| 2021-04-23 13:35:53 | × | RandomArcher quits (~RandomArc@90.153.145.2) (Ping timeout: 265 seconds) |
| 2021-04-23 13:36:20 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-23 13:36:40 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-23 13:38:12 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-04-23 13:40:36 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-04-23 13:45:11 | × | LKoen quits (~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-23 13:45:59 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-04-23 13:46:08 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-23 13:47:11 | <carbolymer> | I get that |
| 2021-04-23 13:48:58 | → | safinaskar joins (~user@109.252.90.136) |
| 2021-04-23 13:49:15 | × | drbean_ quits (~drbean@TC210-63-209-37.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-23 13:51:22 | <merijn> | tbh, it probably isn't even that hard to get working on that |
| 2021-04-23 13:51:45 | <merijn> | Especially now that the non-moving collector was recently finished and people have done the hardwork of making the GC replaceable |
| 2021-04-23 13:52:06 | × | safinaskar quits (~user@109.252.90.136) (Client Quit) |
| 2021-04-23 13:52:12 | <merijn> | (Adding a 3rd GC is probably much less work, now that a 2nd GC has already ran into and hopefully fixed the problems of making it changeable) |
| 2021-04-23 13:54:51 | <hyperisco> | you're batting between latency and throughput with GC yes? does GHC have an offering for each? |
| 2021-04-23 13:55:25 | <merijn> | hyperisco: Not just those two |
| 2021-04-23 13:55:42 | <hyperisco> | what else |
| 2021-04-23 13:55:44 | <merijn> | hyperisco: Consider that your allocation speed also probably *also* affected |
| 2021-04-23 13:55:48 | <hyperisco> | memory overhead I suppose |
| 2021-04-23 13:55:49 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-oxdglogbveesxllt) |
| 2021-04-23 13:55:56 | <merijn> | And memory overhead, yeah |
| 2021-04-23 13:56:02 | <merijn> | It's trade-offs everywhere! |
| 2021-04-23 13:56:20 | <hyperisco> | changing allocation speed can be measured in latency and throughput though |
| 2021-04-23 13:56:36 | <merijn> | One of the reasons GHC uses it's current GC design is because lazy evaluation allocates a lot and the current GC lets GHC use a bump-pointer allocator |
| 2021-04-23 13:56:57 | <merijn> | Which is basically as fast as any allocator can ever be |
| 2021-04-23 13:57:00 | malumore__ | is now known as malumore |
| 2021-04-23 13:57:57 | <merijn> | But without a compacting GC bump pointer allocation would get you crazy memory fragmentation |
| 2021-04-23 14:00:38 | × | Merfont quits (~Kaiepi@47.54.252.148) (Ping timeout: 246 seconds) |
| 2021-04-23 14:01:07 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-23 14:02:22 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 2021-04-23 14:05:12 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-23 14:05:39 | × | centril quits (~centril@213-66-146-92-no250.tbcn.telia.com) (Ping timeout: 248 seconds) |
| 2021-04-23 14:11:32 | → | lordcirth joins (~lordcirth@2607:f2c0:95b3:4400:11af:5eb6:2b18:3df9) |
| 2021-04-23 14:13:30 | <lordcirth> | I've got a function nDice :: Int -> Int -> State GameState [Int] ; I'd prefer it to return the sum of the dice rather than the list; but since it doesn't return the actual numbers, I don't know how. Is there a way to map sum over it and turn it into a single State? |
| 2021-04-23 14:16:50 | <geekosaur> | that looks like fmap sum to me |
| 2021-04-23 14:18:11 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-23 14:18:43 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-23 14:20:03 | → | akulkarn` joins (~user@aputeaux-652-1-270-231.w90-43.abo.wanadoo.fr) |
| 2021-04-23 14:21:20 | <lordcirth> | Huh, fmap does work. cool, thanks! |
| 2021-04-23 14:22:13 | × | akulkarni quits (~user@37.164.172.175) (Ping timeout: 268 seconds) |
| 2021-04-23 14:23:47 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 248 seconds) |
| 2021-04-23 14:25:40 | × | zva quits (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-04-23 14:26:09 | <gnumonic> | is there anything i can do to make the HLS plugin for vscode crash less on TH splices? |
| 2021-04-23 14:26:46 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-23 14:28:17 | <gnumonic> | it seems to really hate singletons TH stuff |
| 2021-04-23 14:30:13 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:fd8c:747:a4ad:281b) |
| 2021-04-23 14:34:31 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:fd8c:747:a4ad:281b) (Ping timeout: 250 seconds) |
| 2021-04-23 14:36:31 | → | lordcirth_ joins (~lordcirth@2607:f2c0:95b3:4400:11af:5eb6:2b18:3df9) |
| 2021-04-23 14:38:51 | × | lordcirth quits (~lordcirth@2607:f2c0:95b3:4400:11af:5eb6:2b18:3df9) (Ping timeout: 250 seconds) |
| 2021-04-23 14:41:12 | × | malumore quits (~malumore@151.62.127.162) (Remote host closed the connection) |
| 2021-04-23 14:43:20 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-04-23 14:45:33 | → | LKoen joins (~LKoen@11.160.9.109.rev.sfr.net) |
| 2021-04-23 14:46:14 | → | zmijunkie1 joins (~Adium@87.123.48.31) |
| 2021-04-23 14:46:34 | × | zmijunkie quits (~Adium@109.90.32.89) (Ping timeout: 252 seconds) |
| 2021-04-23 14:47:00 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-23 14:47:08 | → | litenull joins (~litenull@37.120.211.188) |
| 2021-04-23 14:47:49 | → | malumore joins (~malumore@151.62.127.162) |
| 2021-04-23 14:48:39 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-23 14:48:53 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-23 14:51:31 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-04-23 14:51:54 | → | redmp joins (~redmp@172.58.22.142) |
| 2021-04-23 14:53:07 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-23 14:53:31 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-23 14:54:07 | → | dunj3 joins (~dunj3@2001:16b8:30e8:aa00:6400:c54b:6c37:a59c) |
| 2021-04-23 14:56:18 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-23 14:57:11 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-23 14:58:08 | <kuribas> | is there a FRP library that allows for IO? |
| 2021-04-23 14:58:11 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
All times are in UTC.