2024/09/20

Newest at the top

2024-09-21 01:50:07 +0200 <Inst> monochrom: I should have been more careful in wording and asked whether >>= leaks in direct use, i'm still pouring over GHC core output to check whether or not it does on O2 or higher optimizations
2024-09-21 01:49:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-21 01:48:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-21 01:46:32 +0200Oxf1ac(~0xf1ac@62.4.42.168) (Quit: WeeChat 4.4.2)
2024-09-21 01:43:39 +0200acidjnk(~acidjnk@p200300d6e72cfb13044e7157fd3ef949.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-09-21 01:43:16 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-21 01:37:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-21 01:36:14 +0200Squared(~Square@user/square)
2024-09-21 01:32:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-21 01:26:35 +0200 <Inst> criticism acknowledged
2024-09-21 01:25:57 +0200 <monochrom> The dark pattern of always going hyperbole is.
2024-09-21 01:25:18 +0200 <monochrom> Being novice in technical matters is not the issue I'm complaining about.
2024-09-21 01:24:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-21 01:20:27 +0200 <Inst> that said, just out of curiosity, when do you introduce Debug.Trace, monochrom?
2024-09-21 01:19:52 +0200 <Inst> i suppose i should apologize for "baby's first exposure to thinking space and spaceleaks with laziness", but it would do no good
2024-09-21 01:19:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-21 01:19:01 +0200 <monochrom> "Does >>= leak?" is not making a big fuzz?
2024-09-21 01:18:47 +0200 <Inst> it's a good reason not to abuse >>= and =<< for golfing
2024-09-21 01:18:38 +0200 <Inst> ehhh, just pointing out infelicities, it's not a big deal tbh
2024-09-21 01:18:07 +0200 <monochrom> Not to mention that "foo <|> (bar <|> x)" is not that hard to write if you find the infixl unsatisfactory.
2024-09-21 01:13:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-21 01:13:11 +0200Oxf1ac(~0xf1ac@62.4.42.168)
2024-09-21 01:13:07 +0200 <monochrom> But this is getting blown out of proportion.
2024-09-21 01:12:55 +0200 <monochrom> It is fair to say that infixr is better for >>, <|>, >=> in most use cases, and the standard library made the wrong choice.
2024-09-21 01:12:47 +0200Oxf1ac(~0xf1ac@62.4.42.168) (Remote host closed the connection)
2024-09-21 01:09:52 +0200 <monochrom> do-notation still desugars to right-associative uses of >>=
2024-09-21 01:09:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-21 01:09:00 +0200 <Inst> tomsmeding: you CAN stylistically decide to use >>= to make the data flow more obvious, afaik everyone decided to just write functional python with do and <- instead
2024-09-21 01:08:45 +0200Oxf1ac(~0xf1ac@62.4.42.168)
2024-09-21 01:08:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-21 01:03:54 +0200 <Inst> well, it works in 9.10 ghci :(
2024-09-21 01:03:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-21 01:03:31 +0200 <lambdabot> <hint>:1:17: error: parse error on input ‘=’
2024-09-21 01:03:29 +0200 <Inst> > with (****) a b = a **** b
2024-09-21 01:03:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-21 00:57:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-21 00:56:30 +0200 <Inst> also, I just discovered you can declare operators in function arguments
2024-09-21 00:55:46 +0200 <Inst> Just 3 <|>> Nothing <|>> Nothing
2024-09-21 00:55:37 +0200 <Inst> x <|>> y = traceWith (\u -> show u <> " was evaluated on the left") x <|> y
2024-09-21 00:54:26 +0200 <Inst> import Debug.Trace
2024-09-21 00:54:23 +0200 <Inst> sorry, here's how to show the behavior
2024-09-21 00:54:16 +0200 <Inst> monochrom:
2024-09-21 00:52:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-21 00:52:33 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-21 00:47:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl)
2024-09-21 00:47:24 +0200mikess(~mikess@user/mikess)
2024-09-21 00:46:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-21 00:42:45 +0200mikess(~mikess@user/mikess) (Quit: mikess)
2024-09-21 00:39:05 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net)
2024-09-21 00:37:40 +0200mjrosenb(~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)