Logs: liberachat/#haskell
| 2021-06-24 06:15:29 | <haskl> | sorry if these questions are annoying i'm rather new to compilers and somewhat new to haskell |
| 2021-06-24 06:15:29 | <dminuoso> | Arguably. |
| 2021-06-24 06:15:49 | <haskl> | oh yeah i heard that dynamically linked libraries tend to be used due to licensing |
| 2021-06-24 06:16:52 | <haskl> | that by giving people just the part of your program that they need to be compiled as a binary they can get the other parts that may be licensed differently from other sources like dependencies in a deb package and thus you're not "distributing" it |
| 2021-06-24 06:17:44 | × | dunkeln_ quits (~dunkeln@188.71.193.140) (Ping timeout: 252 seconds) |
| 2021-06-24 06:18:49 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-24 06:19:00 | <dminuoso> | (There is a drop-in solution for gmp called integer-simple, but you pay with a hefty performance penalty with any Integer heavy code) |
| 2021-06-24 06:19:18 | <c_wraith> | it's not called integer-fast. :P |
| 2021-06-24 06:19:44 | <dolio> | Depends on the code, really. |
| 2021-06-24 06:19:48 | → | deshalb joins (~deshalb@user/deshalb) |
| 2021-06-24 06:20:02 | <haskl> | --enable-executable-static is all i really need to builda static executable with cabal, then? |
| 2021-06-24 06:20:28 | <c_wraith> | well, you need a static libc installed |
| 2021-06-24 06:20:34 | <dolio> | I think at some point it was actually faster than the GMP version for some cases. |
| 2021-06-24 06:20:56 | <haskl> | c_wraith, ah, and that's why lots of peopel use alpine docker? |
| 2021-06-24 06:21:14 | <c_wraith> | yeah, alpine has that by default |
| 2021-06-24 06:21:22 | <dminuoso> | haskl: Some systems provide it, others dont. With glibc you have just a variety of issues. |
| 2021-06-24 06:21:27 | <haskl> | i'm using debian |
| 2021-06-24 06:21:32 | <dminuoso> | haskl: Alpine gives you musl out of the box |
| 2021-06-24 06:21:45 | <dminuoso> | haskl: Also regarding cabal, keep in mind there's an open issue https://github.com/haskell/cabal/issues/7236 |
| 2021-06-24 06:22:46 | × | turlando_ quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving) |
| 2021-06-24 06:22:47 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-24 06:22:59 | → | turlando_ joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-06-24 06:24:04 | <dminuoso> | dolio: Interesting, is that possibly due to the simplifier having deeper inlining opportunities? |
| 2021-06-24 06:24:39 | <dolio> | I think it had to do with FFI overhead. |
| 2021-06-24 06:25:20 | <dolio> | Or whatever the wired-in equivalent was. |
| 2021-06-24 06:25:24 | <dminuoso> | So I guess the same rule as with any performance problem applies: profile if you have issues. |
| 2021-06-24 06:25:59 | <dminuoso> | But then again, I also dont know where Integer is transitively used heavily in my code. |
| 2021-06-24 06:26:04 | <dolio> | Basically whatever slower algorithms integer-simple was using weren't slow enough that GMP could outweigh the overhead of calling into GMP. |
| 2021-06-24 06:26:13 | <dminuoso> | Right |
| 2021-06-24 06:26:36 | → | sekun joins (~sekun@180.190.208.125) |
| 2021-06-24 06:26:49 | <dolio> | And I don't know how big your integers had to be to swing the other way, but most people probably don't really use integers big enough. |
| 2021-06-24 06:27:01 | <haskl> | thanks |
| 2021-06-24 06:27:10 | <haskl> | i'm excited to try out ghc2021 as soon as cabal supports it |
| 2021-06-24 06:27:24 | <haskl> | (as soon as cabal supports uh ghc... i forget... 9.x?) |
| 2021-06-24 06:29:53 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-06-24 06:30:36 | → | shredder joins (~user@user/shredder) |
| 2021-06-24 06:31:20 | → | leeb joins (~leeb@KD111239152196.au-net.ne.jp) |
| 2021-06-24 06:34:28 | × | leeb_ quits (~leeb@KD111239153068.au-net.ne.jp) (Ping timeout: 258 seconds) |
| 2021-06-24 06:36:40 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:49d0:2870:d6be:5707) |
| 2021-06-24 06:37:05 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-24 06:38:16 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-24 06:38:34 | × | pagnol quits (~user@121.202.111.40) (Ping timeout: 250 seconds) |
| 2021-06-24 06:40:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-24 06:43:16 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-24 06:43:17 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-24 06:43:53 | × | turlando_ quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Quit: Leaving) |
| 2021-06-24 06:44:06 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-06-24 06:44:06 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-06-24 06:44:06 | → | turlando joins (~turlando@user/turlando) |
| 2021-06-24 06:45:12 | <sekun> | what's the progress on GHC 2021? |
| 2021-06-24 06:46:35 | → | zeenk joins (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-06-24 06:47:09 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-24 06:47:55 | → | dunkeln_ joins (~dunkeln@188.71.193.140) |
| 2021-06-24 06:50:21 | <haskl> | sekun, all I know is this: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0380-ghc2021.rst |
| 2021-06-24 06:52:23 | × | echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
| 2021-06-24 06:52:54 | → | echoreply joins (~echoreply@45.32.163.16) |
| 2021-06-24 06:53:25 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-06-24 06:55:34 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 2021-06-24 06:56:20 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2021-06-24 06:57:34 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-24 06:58:39 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 06:59:01 | × | m4lvin quits (~m4lvin@w4eg.de) (Quit: m4lvin) |
| 2021-06-24 06:59:21 | → | m4lvin joins (~m4lvin@w4eg.de) |
| 2021-06-24 07:03:13 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 258 seconds) |
| 2021-06-24 07:03:56 | × | azeem quits (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-06-24 07:06:07 | → | azeem joins (~azeem@176.201.6.138) |
| 2021-06-24 07:06:43 | × | arjun quits (~arjun@user/arjun) (Ping timeout: 246 seconds) |
| 2021-06-24 07:07:10 | × | azeem quits (~azeem@176.201.6.138) (Read error: Connection reset by peer) |
| 2021-06-24 07:08:03 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-24 07:09:02 | → | azeem joins (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) |
| 2021-06-24 07:09:23 | → | arjun joins (~arjun@160.202.37.147) |
| 2021-06-24 07:09:23 | × | arjun quits (~arjun@160.202.37.147) (Changing host) |
| 2021-06-24 07:09:23 | → | arjun joins (~arjun@user/arjun) |
| 2021-06-24 07:10:33 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-24 07:11:41 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-24 07:13:25 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-06-24 07:16:03 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-24 07:18:53 | → | Ambros joins (~Ambros@212-186-40-210.cable.dynamic.surfer.at) |
| 2021-06-24 07:19:40 | × | trent2 quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 246 seconds) |
| 2021-06-24 07:19:46 | × | Ambros quits (~Ambros@212-186-40-210.cable.dynamic.surfer.at) (Client Quit) |
| 2021-06-24 07:22:00 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 258 seconds) |
| 2021-06-24 07:24:18 | → | pagnol joins (~user@014198154145.ctinets.com) |
| 2021-06-24 07:24:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-24 07:25:00 | <sekun> | haskl: I see. I wonder when it's going to land |
| 2021-06-24 07:25:24 | <haskl> | there's some PR talking about the ghc alpha integration into cabal |
| 2021-06-24 07:27:44 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2021-06-24 07:28:12 | × | vicentius quits (~vicentius@user/vicentius) (Quit: Leaving) |
| 2021-06-24 07:43:26 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-06-24 07:44:14 | × | arjun quits (~arjun@user/arjun) (Read error: Connection reset by peer) |
| 2021-06-24 07:44:24 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-24 07:44:35 | → | arjun joins (~arjun@160.202.37.147) |
| 2021-06-24 07:44:35 | × | arjun quits (~arjun@160.202.37.147) (Changing host) |
| 2021-06-24 07:44:35 | → | arjun joins (~arjun@user/arjun) |
| 2021-06-24 07:45:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 07:45:44 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:8546:f5b9:7173:b24) (Ping timeout: 250 seconds) |
| 2021-06-24 07:46:48 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:c1e6:8279:92e9:57ec) |
| 2021-06-24 07:47:45 | → | nerdypepper joins (~nerdypepp@152.67.162.71) |
| 2021-06-24 07:48:46 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 250 seconds) |
| 2021-06-24 07:49:22 | → | myShoggoth joins (~myShoggot@75.164.29.44) |
| 2021-06-24 07:50:25 | → | chele joins (~chele@user/chele) |
All times are in UTC.