Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 .. 5022
— 502,152 events total
2021-03-19 20:32:22 → aarvar joins (~foewfoiew@2601:602:a080:fa0:99f2:16e7:abb7:2d80)
2021-03-19 20:32:23 → Codaraxis joins (~Codaraxis@193.27.14.10)
2021-03-19 20:32:25 <maerwald> The lack of definite performance guides prove my point... and the ones that are out there are moving targets
2021-03-19 20:32:30 <[exa]> Shiranai: anyway, yes, the 'stg' paper is the one that geekosaur linked
2021-03-19 20:33:09 <d34df00d> I do indeed assign ghc to the latter category.
2021-03-19 20:33:40 <Shiranai> Thanks [exa]
2021-03-19 20:33:43 <[exa]> d34df00d: btw what happens if you turn of strictness for the whole module? (guess: it's a few times slower but doesn't explode)
2021-03-19 20:33:55 <d34df00d> [exa]: let me try that...
2021-03-19 20:34:18 → Sathiana joins (~kath@185-113-98-38.cust.bredband2.com)
2021-03-19 20:35:07 × ixian quits (~mgold@terra.bitplane.org) (Read error: Connection reset by peer)
2021-03-19 20:35:07 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 20:35:22 <d34df00d> Nah, it doesn't help. It looks to eat memory a few times slower indeed, but it still far exceeds the amount of ram taken by the original version.
2021-03-19 20:35:22 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 20:35:34 <[exa]> Shiranai: if you are into logic, you might like THIH and the other typesystem papers (google OutsideIn(X)). Also google "typing the technical interview" for a funny connection between haskell typesystem and prolog term modes.
2021-03-19 20:35:39 <maerwald> I haven't even found a *definite* list of things that break inlining. Maybe this is obvious to GHC hackers, but not to everyone else
2021-03-19 20:37:25 <Shiranai> [exa] nice, I can't find the OutsideIn(X) thing you mentioned though, could please share a link to it? brb
2021-03-19 20:37:36 <[exa]> maerwald: the worse part is likely that there's no easy way to observe the results directly, further reducing the transparency of the process... you're often left with just looking at the timings
2021-03-19 20:38:08 <[exa]> Shiranai: https://lirias.kuleuven.be/185106?limo=0
2021-03-19 20:38:13 <d34df00d> …and when fun stuff happens, there's often no way to debug that.
2021-03-19 20:38:42 → paintedindigo joins (~paintedin@2603-6011-4a41-8ada-92fb-02f3-fc7c-289b.res6.spectrum.com)
2021-03-19 20:40:19 × neobit quits (~neobit@159.65.243.9) (Changing host)
2021-03-19 20:40:19 → neobit joins (~neobit@unaffiliated/neobit)
2021-03-19 20:40:27 <[exa]> OTOH I'm not sure there's a systematic approach to fix this... either a gazillion of weird annotations and a complicated, likely rigid system that carries the "inline or not" information from the frontend down to the very lowlevel things, or perhaps allowing the user to write implementations of certain parts in the lower IRs (like if something has a straightforward representation in STG, write inline STG)
2021-03-19 20:41:38 × michalz quits (~user@185.246.204.49) (Remote host closed the connection)
2021-03-19 20:41:39 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 20:41:58 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 20:42:51 × bitmagie quits (~Thunderbi@200116b8064af700cc4b64cf6315dd95.dip.versatel-1u1.de) (Quit: bitmagie)
2021-03-19 20:43:08 <[exa]> let's say it's a "systematic approach to reason about the whole compiler pipeline". may need research.
2021-03-19 20:46:26 pie_ is now known as PIE_
2021-03-19 20:47:36 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 20:47:38 × coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-19 20:49:03 × curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection)
2021-03-19 20:49:06 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 20:49:44 → RandomArcher joins (~isho@90.153.209.157)
2021-03-19 20:49:52 → curiousgay joins (~gay@178.217.208.8)
2021-03-19 20:52:01 × ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 20:52:37 → viluon joins (uid453725@gateway/web/irccloud.com/x-rwounypdemhsoium)
2021-03-19 20:54:38 × Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 20:54:38 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-19 20:54:39 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-19 20:55:29 → Gigabitten joins (~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 20:56:11 → ramses_ joins (~osboxes@213.142.184.77)
2021-03-19 20:56:24 <ramses_> hello ppl
2021-03-19 20:57:54 × rond_ quits (594021b0@89-64-33-176.dynamic.chello.pl) (Quit: Connection closed)
2021-03-19 20:58:45 <ramses_> I have a local stack project A which depends on another local project B. How shoud I refernce B from A in stack.yaml? I suppose in "extra-deps" but which folder?
2021-03-19 20:59:32 <maerwald> the folder of project B?
2021-03-19 20:59:36 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-19 20:59:44 × pyuk quits (~vroom@217.138.252.170) (Quit: pyuk)
2021-03-19 21:00:02 → puke joins (~vroom@217.138.252.170)
2021-03-19 21:00:08 jess is now known as JESS
2021-03-19 21:00:13 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-19 21:00:56 × xff0x_ quits (~xff0x@2001:1a81:5242:1600:5914:aa8:2ce7:6d7) (Ping timeout: 240 seconds)
2021-03-19 21:01:04 <ramses_> maerwald: but it would be reference as a source project wouldn't it?
2021-03-19 21:01:22 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds)
2021-03-19 21:01:58 → xff0x_ joins (~xff0x@2001:1a81:5242:1600:4bf:6bdb:4ec0:5322)
2021-03-19 21:02:16 × ubert quits (~Thunderbi@p200300ecdf25d9a8e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-19 21:02:23 hackage yesod-page-cursor 2.0.0.5 - https://hackage.haskell.org/package/yesod-page-cursor-2.0.0.5 (PatrickBrisbin)
2021-03-19 21:03:10 <ramses_> maerwald: actually project B has several packages. Can I reference them all as pkgdb?
2021-03-19 21:03:20 × supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-03-19 21:05:57 <monochrom> I don't use stack, I use cabal, but my impression is that the following is true for both: 1. Yes source project, that's the norm. 2. A disk cache of build products is kept, you still have a high chance of sharing build products without too much rebuilding.
2021-03-19 21:06:24 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer)
2021-03-19 21:07:16 <ramses_> monochrom: thx
2021-03-19 21:07:36 × ramses_ quits (~osboxes@213.142.184.77) (Quit: leaving)
2021-03-19 21:08:14 → PippoPippo joins (d537f1a7@213.55.241.167)
2021-03-19 21:10:00 × Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 21:10:46 → Gigabitten joins (~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 21:12:14 JESS is now known as jess
2021-03-19 21:14:37 × PippoPippo quits (d537f1a7@213.55.241.167) (Quit: Connection closed)
2021-03-19 21:16:03 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-19 21:16:13 × hexagenic quits (~mattias@2001:2002:51e0:74c9:5b2:64fb:22b7:198c) (Quit: WeeChat 1.9.1)
2021-03-19 21:17:25 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-xyogtgqajoffyroz) (Quit: Connection closed for inactivity)
2021-03-19 21:17:37 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-19 21:19:31 × ukari quits (~ukari@unaffiliated/ukari) (Ping timeout: 276 seconds)
2021-03-19 21:21:33 × xhlr quits (~xhlr@87-92-158-145.rev.dnainternet.fi) (Ping timeout: 264 seconds)
2021-03-19 21:22:43 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds)
2021-03-19 21:26:28 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 21:26:53 hackage foldl-transduce 0.6.0.1 - Transducers for foldl folds. https://hackage.haskell.org/package/foldl-transduce-0.6.0.1 (DanielDiazCarrete)
2021-03-19 21:28:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-19 21:28:56 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:29:04 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:29:07 × sayola1 quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Quit: Leaving.)
2021-03-19 21:29:31 → sayola joins (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-03-19 21:31:53 <iphy> ephemient: it's MIDI
2021-03-19 21:32:49 × Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 21:33:12 <hyiltiz> Does this mean GHC version incompatibility?  :m System.Console.Readline.readline "hello" produces /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSreadline-1.0.3.0-1A6VPCAptm0CjQAEqTgJr3-ghc8.8.4.so: undefined symbol: rl_redisplay
2021-03-19 21:34:12 → Gigabitten joins (~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 21:35:56 × ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 21:35:56 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:35:57 × Sathiana quits (~kath@185-113-98-38.cust.bredband2.com) (Quit: WeeChat 3.0)
2021-03-19 21:36:10 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:36:27 × recon_- quits (~quassel@2602:febc:0:b6::6ca2) (Ping timeout: 260 seconds)
2021-03-19 21:36:35 → son0p joins (~son0p@181.136.122.143)
2021-03-19 21:36:43 → recon_- joins (~quassel@2602:febc:0:b6::6ca2)
2021-03-19 21:37:03 × LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-19 21:37:48 <ephemient> iphy: ok. personally I'd probably split things up something like this, but it's kind of a matter of taste maybe https://www.irccloud.com/pastebin/xJDEEfRk/
2021-03-19 21:38:06 → apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-19 21:39:00 → __minoru__shirae joins (~shiraeesh@77.94.25.107)
2021-03-19 21:39:10 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-19 21:43:45 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-19 21:43:50 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
←Prev  Next→
Page 1 .. 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 .. 5022

All times are in UTC.