Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 955 956 957 958 959 960 961 962 963 964 965 .. 5022
— 502,152 events total
2020-10-30 11:41:20 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-30 11:43:21 <dexterfoo> i am using: cabal v2-build how can i see which versions of dependencies are being used?
2020-10-30 11:43:52 → geekosaur joins (ac3a3b6a@172.58.59.106)
2020-10-30 11:44:21 <dminuoso> dexterfoo: you can use cabal-plan
2020-10-30 11:46:00 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-30 11:46:01 → jud^ joins (~jud@cpe-70-113-106-222.austin.res.rr.com)
2020-10-30 11:47:19 → chaosmasttter joins (~chaosmast@p200300c4a70a4101f96c699b406ffa93.dip0.t-ipconnect.de)
2020-10-30 11:49:14 × jud quits (~jud@unaffiliated/jud) (Ping timeout: 264 seconds)
2020-10-30 11:49:16 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-30 11:49:26 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-30 11:49:26 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-30 11:49:26 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-30 11:51:49 × rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 264 seconds)
2020-10-30 11:52:59 <kuribas> dminuoso: I think you want DList?
2020-10-30 11:54:01 → lyxia joins (~lyxia@poisson.chat)
2020-10-30 11:54:10 <kuribas> https://hackage.haskell.org/package/dlist
2020-10-30 11:54:33 <kuribas> which is basically Endo
2020-10-30 11:54:35 <kuribas> :t Endo
2020-10-30 11:54:37 <lambdabot> (a -> a) -> Endo a
2020-10-30 11:55:40 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-10-30 11:57:10 <kuribas> DList creates a tree internally, then you flatten it to a list
2020-10-30 11:57:20 <kuribas> in linear time
2020-10-30 11:57:27 × kreative quits (~kreative@84.39.117.57) (Remote host closed the connection)
2020-10-30 11:57:28 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-30 11:57:38 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 264 seconds)
2020-10-30 11:59:32 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-30 11:59:32 → alp_ joins (~alp@2a01:e0a:58b:4920:9845:4ef6:8c4:f55e)
2020-10-30 12:01:02 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:cdb:717d:49e3:4e14) (Ping timeout: 260 seconds)
2020-10-30 12:01:14 × FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 264 seconds)
2020-10-30 12:01:15 → drbean joins (~drbean@TC210-63-209-168.static.apol.com.tw)
2020-10-30 12:02:00 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-30 12:03:28 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-30 12:04:26 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-30 12:04:32 → Varis joins (~Tadas@unaffiliated/varis)
2020-10-30 12:05:17 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-30 12:07:19 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-30 12:12:04 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-10-30 12:15:03 <merijn> dexterfoo: That depends why you wanna know :p
2020-10-30 12:16:29 <merijn> If the reason is, say, "because I wanna get a reproducible configuration" then the answer is "you probably want (v2-)freeze"
2020-10-30 12:17:20 → Jonkimi727406120 joins (~Jonkimi@223.213.166.96)
2020-10-30 12:18:00 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 268 seconds)
2020-10-30 12:18:33 → Tario joins (~Tario@200.119.186.141)
2020-10-30 12:22:14 × Jonkimi727406120 quits (~Jonkimi@223.213.166.96) (Ping timeout: 264 seconds)
2020-10-30 12:22:33 → shatriff joins (~vitaliish@176.52.219.10)
2020-10-30 12:22:34 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-30 12:27:57 <dminuoso> Mmm. Im starting to approach 150k lines of Haskell code for this library..
2020-10-30 12:28:15 <dminuoso> Compilation times are getting worse every day...
2020-10-30 12:28:16 → Jonkimi727406120 joins (~Jonkimi@223.213.166.96)
2020-10-30 12:28:27 × bgamari quits (~bgamari@2001:470:e438::1) (Ping timeout: 260 seconds)
2020-10-30 12:29:30 <dminuoso> All for the sake of type safety. I should have build this codec library with runtime dictionaries, and some Dynamic sprinkling.
2020-10-30 12:34:05 → bgamari joins (~bgamari@72.65.123.7)
2020-10-30 12:35:05 → motherfsck joins (~motherfsc@unaffiliated/motherfsck)
2020-10-30 12:37:41 → bitmagie joins (~Thunderbi@200116b8061a0500a0d25f1411c67124.dip.versatel-1u1.de)
2020-10-30 12:38:33 × zopsi quits (~zopsi@irc.dir.ac) (Remote host closed the connection)
2020-10-30 12:38:57 → zopsi joins (zopsi@2600:3c00::f03c:91ff:fe14:551f)
2020-10-30 12:39:42 <__monty__> Is this a single-person codebase?
2020-10-30 12:41:53 × bitmagie quits (~Thunderbi@200116b8061a0500a0d25f1411c67124.dip.versatel-1u1.de) (Client Quit)
2020-10-30 12:42:01 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-30 12:42:37 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-10-30 12:43:09 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-10-30 12:43:37 <dminuoso> Yes.
2020-10-30 12:43:40 <dminuoso> code generated
2020-10-30 12:43:44 × Jonkimi727406120 quits (~Jonkimi@223.213.166.96) (Ping timeout: 256 seconds)
2020-10-30 12:43:47 → GyroW_ joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-30 12:43:47 × GyroW_ quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-30 12:43:47 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-30 12:43:56 → codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-10-30 12:44:02 <dminuoso> If I went the Dynamic route, this would probably be a 500-1000 lines thing
2020-10-30 12:44:24 × alx741 quits (~alx741@181.196.68.193) (Ping timeout: 240 seconds)
2020-10-30 12:44:41 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-30 12:45:43 → icebreak1r joins (~icebreake@c83-251-253-157.bredband.comhem.se)
2020-10-30 12:45:51 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-30 12:46:05 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-30 12:46:43 × icebreak1r quits (~icebreake@c83-251-253-157.bredband.comhem.se) (Client Quit)
2020-10-30 12:47:44 → icebreaker joins (~icebreake@c83-251-253-157.bredband.comhem.se)
2020-10-30 12:48:20 → urodna joins (~urodna@unaffiliated/urodna)
2020-10-30 12:50:01 <tomsmeding> I'm waiting for the day when ghc can meaningfully compile modules of a single package in parallel with speedup factor actually reasonably close the number of threads
2020-10-30 12:50:16 <tomsmeding> that day I shall be happy
2020-10-30 12:50:50 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-30 12:53:40 → fendor_ joins (~fendor@078132040188.public.t-mobile.at)
2020-10-30 12:53:47 → knupfer joins (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de)
2020-10-30 12:54:57 → akad_ joins (~akad@109107030050.radomsko.vectranet.pl)
2020-10-30 12:55:00 × ubert quits (~Thunderbi@p200300ecdf1e5396e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-10-30 12:55:17 × fendor_ quits (~fendor@078132040188.public.t-mobile.at) (Client Quit)
2020-10-30 12:55:36 → rlaager1 joins (~rlaager@84.39.116.180)
2020-10-30 12:56:01 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-30 12:56:28 → sam___ joins (~sam@210.152.205.77.rev.sfr.net)
2020-10-30 12:56:40 × icebreaker quits (~icebreake@c83-251-253-157.bredband.comhem.se) (Changing host)
2020-10-30 12:56:40 → icebreaker joins (~icebreake@unaffiliated/icebreaker)
2020-10-30 12:57:07 × sam___ quits (~sam@210.152.205.77.rev.sfr.net) (Client Quit)
2020-10-30 12:57:23 <merijn> tomsmeding: The parallelism there is limited by the dependency graph of your modules
2020-10-30 12:57:43 <tomsmeding> I know, I have extensive experience with building makefiles ;)
2020-10-30 12:57:57 <tomsmeding> currently ghc doesn't even try though
2020-10-30 12:58:11 → ubert joins (~Thunderbi@p200300ecdf1e5396e6b318fffe838f33.dip0.t-ipconnect.de)
2020-10-30 12:58:19 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d05:5ba3:751c:f26a)
2020-10-30 12:58:27 <tomsmeding> the -j option only compiles a single module using multiple threads, I think, and I find that to give marginal to no speedup in practice
2020-10-30 12:58:49 → knupfer1 joins (~Thunderbi@HSI-KBW-046-005-192-105.hsi8.kabel-badenwuerttemberg.de)
2020-10-30 12:59:00 <tomsmeding> running multiple ghc's in parallel with 'make' suffers from lots of ghc overhead I'm told, though I actually haven't tried that recently...
2020-10-30 12:59:17 <tomsmeding> (and also doesn't play nice with cabal and friends)
2020-10-30 12:59:41 <merijn> Well, there's Shake ;)
←Prev  Next→
Page 1 .. 955 956 957 958 959 960 961 962 963 964 965 .. 5022

All times are in UTC.