Logs: liberachat/#haskell
| 2021-05-30 10:47:32 | <koishi_> | Moreover, try using +RTS -s to see how well GC is doing, and adjust -A / -H if needed |
| 2021-05-30 10:48:04 | → | pe200012_ joins (~pe200012@119.131.208.84) |
| 2021-05-30 10:48:17 | → | qbt joins (~edun@user/edun) |
| 2021-05-30 10:48:51 | × | autophagy quits (~mika@user/autophagy) (Ping timeout: 268 seconds) |
| 2021-05-30 10:48:51 | × | pe200012 quits (~pe200012@119.131.208.84) (Ping timeout: 268 seconds) |
| 2021-05-30 10:48:51 | × | Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Ping timeout: 268 seconds) |
| 2021-05-30 10:49:55 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-05-30 10:50:02 | → | autophagy joins (~mika@user/autophagy) |
| 2021-05-30 10:50:08 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-05-30 10:50:15 | → | aighearach_ joins (~paris@c-71-63-160-210.hsd1.or.comcast.net) |
| 2021-05-30 10:50:36 | → | arrowd joins (~arr@2.94.203.147) |
| 2021-05-30 10:50:54 | <arrowd> | Hello. I have OP on #haskell-freebsd @ Freenode. Can I get it on Libera too? |
| 2021-05-30 10:50:59 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-05-30 10:51:08 | × | aighearach quits (~paris@c-71-63-160-210.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-30 10:51:18 | × | holy_ quits (~h01y_b4z0@103.244.176.36) (Ping timeout: 264 seconds) |
| 2021-05-30 10:51:22 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 2021-05-30 10:51:31 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-05-30 10:51:45 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2021-05-30 10:52:10 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-30 10:52:36 | <siers> | koishi_, -N2 gives you the best results? :/ that is too bad |
| 2021-05-30 10:52:42 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-05-30 10:52:55 | → | Artem[m] joins (~artemtype@2001:470:69fc:105::75b) |
| 2021-05-30 10:54:08 | → | Guest31 joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-05-30 10:54:10 | <tomsmeding> | siers: have you tried passing '+RTS -qg'? Haven't really followed the conversation, but it seems like it wasn't mentioned yet |
| 2021-05-30 10:54:18 | × | jonathanclarke quits (~jonathanc@103.10.31.50) (Ping timeout: 264 seconds) |
| 2021-05-30 10:54:50 | <tomsmeding> | that does something with making the GC run per-thread or so, I don't know the details but for many programs it's a huge speedup, especially with large -N |
| 2021-05-30 10:55:12 | <tomsmeding> | though apparently with recent GHC versions the parallel GC has gotten better |
| 2021-05-30 10:56:06 | <maerwald> | arrowd: ping edwardk |
| 2021-05-30 10:56:09 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-05-30 10:58:03 | → | otto_s joins (~user@p5de2f103.dip0.t-ipconnect.de) |
| 2021-05-30 10:58:55 | → | mikoto-c1 joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-05-30 10:59:05 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 10:59:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-30 10:59:20 | <siers> | tomsmeding, slightly better, but still only equal to running time with -N1 |
| 2021-05-30 10:59:53 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-30 11:01:00 | × | otto_s_ quits (~user@p5de2f103.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-05-30 11:01:00 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds) |
| 2021-05-30 11:01:05 | × | Cubic quits (~hannesste@ip5f5be453.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2021-05-30 11:03:28 | × | radw quits (~radw@user/radw) (Ping timeout: 268 seconds) |
| 2021-05-30 11:03:59 | → | radw joins (~radw@user/radw) |
| 2021-05-30 11:04:40 | → | m_shiraeeshi joins (~shiraeesh@109.166.58.176) |
| 2021-05-30 11:05:39 | → | rahguzar joins (~rahguzar@dynamic-adsl-84-220-228-254.clienti.tiscali.it) |
| 2021-05-30 11:06:56 | → | jonathanclarke joins (~jonathanc@202.51.76.55) |
| 2021-05-30 11:07:05 | → | dunham joins (~dunham@97-113-35-16.tukw.qwest.net) |
| 2021-05-30 11:07:09 | × | shiraeeshi quits (~shiraeesh@5.101.59.190) (Ping timeout: 268 seconds) |
| 2021-05-30 11:09:19 | → | ddellacosta joins (~ddellacos@86.106.121.70) |
| 2021-05-30 11:11:41 | × | dunham quits (~dunham@97-113-35-16.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-30 11:11:57 | × | APic quits (apic@apic.name) (Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number) |
| 2021-05-30 11:12:05 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 268 seconds) |
| 2021-05-30 11:14:06 | × | ddellacosta quits (~ddellacos@86.106.121.70) (Ping timeout: 264 seconds) |
| 2021-05-30 11:14:35 | → | wallymathieu joins (~wallymath@2a02:aa1:160f:6341:a91d:75a7:be4a:e593) |
| 2021-05-30 11:15:03 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 2021-05-30 11:15:14 | → | danidiaz joins (~ESDPC@static-102-64-63-95.ipcom.comunitel.net) |
| 2021-05-30 11:16:34 | → | dhil joins (~dhil@195.213.192.85) |
| 2021-05-30 11:16:39 | → | junkicide joins (~user@2a01:e0a:195:20c0:25dd:142f:ddb3:ffc5) |
| 2021-05-30 11:17:04 | → | APic joins (apic@apic.name) |
| 2021-05-30 11:17:07 | <junkicide> | how do extract a from Just a (for example, I want 5 from Just 5) |
| 2021-05-30 11:17:20 | <maerwald> | :t fromJust |
| 2021-05-30 11:17:21 | <lambdabot> | Maybe a -> a |
| 2021-05-30 11:18:52 | × | danidiaz1 quits (~ESDPC@static-102-64-63-95.ipcom.comunitel.net) (Ping timeout: 268 seconds) |
| 2021-05-30 11:19:18 | <siers> | what if 5 is in an IO, then how do I extract it? /s |
| 2021-05-30 11:19:23 | <juri_> | :t maybe |
| 2021-05-30 11:19:24 | <lambdabot> | b -> (a -> b) -> Maybe a -> b |
| 2021-05-30 11:19:30 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-30 11:19:42 | <maerwald> | :t unsafePerformIO |
| 2021-05-30 11:19:43 | <xsperry> | junkicide, you should usually pattern match over using fromJust |
| 2021-05-30 11:19:43 | <lambdabot> | error: Variable not in scope: unsafePerformIO |
| 2021-05-30 11:19:53 | <maerwald> | siers: that |
| 2021-05-30 11:19:57 | <siers> | maerwald, :P could've said "*maybe* you don't" |
| 2021-05-30 11:20:10 | <maerwald> | xsperry: they said they have `Just 5` so it's already matched |
| 2021-05-30 11:20:56 | <siers> | junkicide, to elaborate on what xsperry said, fromJust is implemented by pattern matching with the implemention of error "failed match" in case of a Nothing |
| 2021-05-30 11:21:12 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 2021-05-30 11:21:49 | → | zebrag joins (~chris@user/zebrag) |
| 2021-05-30 11:23:02 | <koishi_> | writing partial functions is usually a bad idea tho |
| 2021-05-30 11:23:33 | <maerwald> | I beg to differ |
| 2021-05-30 11:23:57 | <maerwald> | most of your haskell programs is partial functions, most likely |
| 2021-05-30 11:24:04 | <maerwald> | all IO is partial |
| 2021-05-30 11:24:34 | <maerwald> | because there's no proper pattern matching on exceptions |
| 2021-05-30 11:24:54 | <Vq> | maerwald: That's a poor justification for using head and fromJust all over the place. |
| 2021-05-30 11:25:05 | <maerwald> | Vq: no one said "all over the place" |
| 2021-05-30 11:25:23 | <juri_> | I'm trying to apply stan to my codebase. only 460 complaints to go! |
| 2021-05-30 11:25:25 | <maerwald> | if I have local proof inside a function, I will use fromJust and friends just fine |
| 2021-05-30 11:25:27 | <Vq> | maerwald: It's still beneficial to avoid them. |
| 2021-05-30 11:25:33 | <maerwald> | Vq: depends |
| 2021-05-30 11:25:43 | <maerwald> | I'm very much againt "total prelude" as an idea |
| 2021-05-30 11:26:32 | <maerwald> | if you use `fromJust` on *user input*, that's obviously a pretty bad idea |
| 2021-05-30 11:27:52 | <maerwald> | https://hackage.haskell.org/package/spacecookie-1.0.0.0/docs/src/Network.Gopher.Util.html#stripNewline |
| 2021-05-30 11:27:53 | <Rembane> | But fun! :D |
| 2021-05-30 11:28:01 | <maerwald> | here, it uses head |
| 2021-05-30 11:28:08 | <maerwald> | and it's perfectly total (the function) |
| 2021-05-30 11:28:16 | → | ddellacosta joins (~ddellacos@86.106.121.30) |
| 2021-05-30 11:29:28 | <maerwald> | pattern matching isn't always a sensible option |
| 2021-05-30 11:29:29 | <siers> | maerwald, I agree with what you're saying, but everyone is always so eager to make sure that you know what you're doing that it's almost better not to say anything |
| 2021-05-30 11:30:18 | <Vq> | maerwald: I do things like that myself from time to time and that's a good example of when it reads better. |
| 2021-05-30 11:30:25 | → | tremon_ joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-05-30 11:30:35 | → | autophagian joins (~mika@user/autophagy) |
| 2021-05-30 11:31:16 | <Vq> | maerwald: But if your function is any larger it will require more thought when changing it. |
| 2021-05-30 11:31:24 | × | APic quits (apic@apic.name) (Ping timeout: 268 seconds) |
| 2021-05-30 11:31:24 | × | autophagy quits (~mika@user/autophagy) (Ping timeout: 268 seconds) |
| 2021-05-30 11:31:25 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
All times are in UTC.