Logs: liberachat/#haskell
| 2021-05-30 17:41:11 | <davean> | Philonous: data and newtype are deeply different |
| 2021-05-30 17:41:12 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-30 17:41:45 | <davean> | Philonous: thats a bit of a weird result to get mind you, but it would come down to the case |
| 2021-05-30 17:42:30 | → | ikex joins (~ash@user/ikex) |
| 2021-05-30 17:42:39 | <tomsmeding> | shiraeeshi: https://tomsmeding.com/vang/TiewNq/freenode-logs.tar.gz |
| 2021-05-30 17:42:54 | × | chomwitt quits (~Pitsikoko@athedsl-20549.home.otenet.gr) (Ping timeout: 264 seconds) |
| 2021-05-30 17:43:01 | → | xosdy joins (~xosdy@125-227-78-46.HINET-IP.hinet.net) |
| 2021-05-30 17:43:04 | <davean> | tomsmeding: I'd assume that search engines would care the most. |
| 2021-05-30 17:43:15 | <tomsmeding> | hm that's true |
| 2021-05-30 17:43:17 | <shiraeeshi> | yay |
| 2021-05-30 17:43:28 | <Philonous> | The resulting executable is about 50% faster , it just takes 24GB and 15 minutes to compile, wheres with the "data" it takes ~3 seconds. |
| 2021-05-30 17:43:46 | → | pe200012 joins (~pe200012@119.131.208.84) |
| 2021-05-30 17:43:48 | <davean> | Philonous: I mean thats VERY believable when you change semantics |
| 2021-05-30 17:43:59 | <tomsmeding> | "accepting non-standard pattern guards (use PatternGuards to suppress this message)" -- "[chan] <- filter ((== thisChan) . showChan) [toEnum 0 .. ]" |
| 2021-05-30 17:44:00 | <shiraeeshi> | only 12 mbs? let's see how much they weigh after extracting |
| 2021-05-30 17:44:02 | <davean> | Philonous: but if it is that bad to compile I expect you're doing something naughty |
| 2021-05-30 17:44:05 | <davean> | or at least deviant |
| 2021-05-30 17:44:09 | <tomsmeding> | I've never before seen that warning |
| 2021-05-30 17:44:17 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-30 17:44:17 | × | pe200012_ quits (~pe200012@119.131.208.84) (Ping timeout: 268 seconds) |
| 2021-05-30 17:44:24 | <tomsmeding> | does anyone know what that is about? |
| 2021-05-30 17:45:25 | <davean> | Philonous: to get what you're talking about there has to be a LOT of indirection, showing some code might be good |
| 2021-05-30 17:46:15 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-05-30 17:47:12 | <Philonous> | davean, It's not a small test case yet. I'm working on vinyl, and I'm trying to replace one of their "data" constructors with a newtype, because it gives very promising results in benchmarks. But it turns out that doing that blows up tests in the "Frames" library |
| 2021-05-30 17:47:31 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-05-30 17:47:46 | <davean> | Oh I see, yah, exactly, VERY much indirection, using the compiler as a horrible substitute for a theorem prover |
| 2021-05-30 17:48:11 | <davean> | By adding the right shortcuts you probably can clean that up though |
| 2021-05-30 17:48:31 | <davean> | either the right RULES or type theorems |
| 2021-05-30 17:49:27 | → | werneta joins (~werneta@mobile-166-176-57-108.mycingular.net) |
| 2021-05-30 17:49:50 | <davean> | Hell, you might be doing a coercion the long way round or something. |
| 2021-05-30 17:49:50 | <Philonous> | I'm thinking that maybe it's one too many {-# INLINE #-} pragmas |
| 2021-05-30 17:49:54 | <shiraeeshi> | tomsmeding: thanks. is that all the logs? they begin at 2020-09-16. |
| 2021-05-30 17:50:13 | <fosskers> | Philonous: Yeah too-aggressive INLINEing can cause you trouble. |
| 2021-05-30 17:50:37 | <davean> | well, too many inlines is exactly where I'd suggest a RULE that skips a large chunk of them |
| 2021-05-30 17:50:39 | <tomsmeding> | shiraeeshi: it's all the logs that I have; I only started this instance of ircbrowse around that time :) |
| 2021-05-30 17:50:53 | <Philonous> | What's bothering me is that it's 13 top-level declarations, and having 3 of the runs in seconds, but 7 takes 4 minutes, so there's something superlinear going on |
| 2021-05-30 17:51:12 | <tomsmeding> | Chris Done has run the thing in the past, but I suggest you look at the tunes.org logs if you want more completeness regarding freenode |
| 2021-05-30 17:51:18 | <Philonous> | All 13 just eats up all my 64GB of RAM |
| 2021-05-30 17:52:38 | <shiraeeshi> | tomsmeding: ok, just wanted to make sure. I hope that logs from two sources will close some gaps when the logger missed some messages. thanks again. |
| 2021-05-30 17:58:00 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-30 17:59:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Client Quit) |
| 2021-05-30 17:59:46 | → | ddellaco_ joins (~ddellacos@86.106.143.228) |
| 2021-05-30 18:00:08 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-30 18:02:11 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-05-30 18:03:09 | fendor_ | is now known as fendor |
| 2021-05-30 18:04:02 | × | ddellacosta quits (~ddellacos@89.46.62.75) (Ping timeout: 252 seconds) |
| 2021-05-30 18:04:23 | × | xosdy quits (~xosdy@125-227-78-46.HINET-IP.hinet.net) (Quit: Leaving) |
| 2021-05-30 18:04:26 | × | ddellaco_ quits (~ddellacos@86.106.143.228) (Ping timeout: 265 seconds) |
| 2021-05-30 18:07:27 | → | winter joins (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-30 18:07:35 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-05-30 18:08:33 | × | curiousgay quits (~AdminUser@178.217.208.8) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-05-30 18:08:52 | → | Guest31 joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-05-30 18:09:24 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Client Quit) |
| 2021-05-30 18:14:46 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 252 seconds) |
| 2021-05-30 18:15:58 | → | ddellacosta joins (~ddellacos@89.45.224.215) |
| 2021-05-30 18:16:01 | → | ddellaco_ joins (~ddellacos@89.46.62.62) |
| 2021-05-30 18:17:02 | → | beka joins (~beka@104.193.170-254.PUBLIC.monkeybrains.net) |
| 2021-05-30 18:19:54 | × | Guest30 quits (~Guest30@46-117-196-155.bb.netvision.net.il) (Ping timeout: 250 seconds) |
| 2021-05-30 18:20:15 | × | larkfisherman quits (~larkfishe@178.77.33.190) (Quit: Leaving) |
| 2021-05-30 18:20:41 | × | ddellaco_ quits (~ddellacos@89.46.62.62) (Ping timeout: 268 seconds) |
| 2021-05-30 18:21:03 | → | unyu joins (~pyon@user/pyon) |
| 2021-05-30 18:21:21 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 265 seconds) |
| 2021-05-30 18:23:36 | → | henninb joins (~henninb@63-226-165-91.mpls.qwest.net) |
| 2021-05-30 18:24:15 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 2021-05-30 18:24:40 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-05-30 18:25:22 | × | ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Quit: node-irc says goodbye) |
| 2021-05-30 18:25:33 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-05-30 18:26:05 | → | pkkm joins (~pkkm@aebv64.neoplus.adsl.tpnet.pl) |
| 2021-05-30 18:29:55 | × | henninb quits (~henninb@63-226-165-91.mpls.qwest.net) (Quit: leaving) |
| 2021-05-30 18:30:43 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-30 18:31:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-30 18:32:43 | → | ddellaco_ joins (~ddellacos@89.46.62.30) |
| 2021-05-30 18:34:51 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 268 seconds) |
| 2021-05-30 18:35:20 | × | jess quits (~jess@libera/staff/jess) () |
| 2021-05-30 18:35:53 | → | jess joins (~jess@libera/staff/jess) |
| 2021-05-30 18:36:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-30 18:36:45 | → | dhil joins (~dhil@195.213.192.85) |
| 2021-05-30 18:37:20 | × | ddellaco_ quits (~ddellacos@89.46.62.30) (Ping timeout: 268 seconds) |
| 2021-05-30 18:38:15 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-30 18:38:56 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-05-30 18:39:19 | × | hrnz quits (~ulli@cherry.hrnz.li) (Quit: das ist mir zu bld hier; bb) |
| 2021-05-30 18:39:43 | → | ulli joins (~ulli@cherry.hrnz.li) |
| 2021-05-30 18:40:43 | → | curiousgay joins (~quassel@178.217.208.8) |
| 2021-05-30 18:41:11 | → | mib_p5ug0g joins (a0ee4a6a@ircip1.mibbit.com) |
| 2021-05-30 18:41:21 | × | curiousgay quits (~quassel@178.217.208.8) (Client Quit) |
| 2021-05-30 18:41:35 | → | curiousgay joins (~quassel@178.217.208.8) |
| 2021-05-30 18:41:38 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 2021-05-30 18:43:20 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-30 18:43:30 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 268 seconds) |
| 2021-05-30 18:44:37 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-30 18:44:58 | <siers> | doesn't ReaderT's withReaderT make it kind of StateT-ish? |
| 2021-05-30 18:44:59 | ← | mib_p5ug0g parts (a0ee4a6a@ircip1.mibbit.com) () |
| 2021-05-30 18:45:31 | <siers> | :t withReaderT |
| 2021-05-30 18:45:32 | <lambdabot> | (r' -> r) -> ReaderT r m a -> ReaderT r' m a |
| 2021-05-30 18:45:54 | <siers> | so if I have "do f; g", then I can "do f; withReaderT modify (pure ()); g" |
| 2021-05-30 18:46:04 | <siers> | ah, but and so can g inside of it |
| 2021-05-30 18:46:25 | <tomsmeding> | you can change stuff going inwards, but the changes don't propagate outward |
| 2021-05-30 18:46:44 | <tomsmeding> | with state, changes to the state made by subcomputations propagate upward to the parent computation |
| 2021-05-30 18:47:11 | × | ikex quits (~ash@user/ikex) (Ping timeout: 268 seconds) |
| 2021-05-30 18:47:37 | <siers> | alright! :) |
All times are in UTC.