Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 .. 5022
— 502,152 events total
2021-03-16 00:18:30 <koz_> monochrom: I'm just seeing if anyone can come up with something decent.
2021-03-16 00:18:48 × dhil quits (~dhil@80.208.56.181) (Ping timeout: 245 seconds)
2021-03-16 00:19:00 <koz_> That could be fine, as long as I don't have bad nubbing costs.
2021-03-16 00:19:06 <koz_> (like, not accidentally quadratic somehow)
2021-03-16 00:19:32 <monochrom> nubBy has bad nubbing cost. I haven't followed the hashing libraries.
2021-03-16 00:19:33 Axman6 resists recommending the discrimination package
2021-03-16 00:20:04 <koz_> Axman6: LOL. Tempting as that is, I don't think my colleagues would appreciate that.
2021-03-16 00:20:12 <koz_> OK, I'll just try and write it.
2021-03-16 00:20:14 <koz_> Thanks anyways.
2021-03-16 00:20:33 monochrom needs the meme picture for panel 1: quadratic cost on fire; panel 2: "this is fine"
2021-03-16 00:20:40 <koz_> LOL
2021-03-16 00:20:51 <Axman6> discrimination isn't that crazy really
2021-03-16 00:21:05 <koz_> monochrom: https://imgflip.com/memegenerator/This-Is-Fine
2021-03-16 00:21:05 <Axman6> you can use it without understanding how it works
2021-03-16 00:21:24 <koz_> Axman6: Yeah, I realize that. Plus, I actually _do_ understand how it works.
2021-03-16 00:21:40 <Axman6> do you though?
2021-03-16 00:21:54 <koz_> Axman6: Well, maybe not the implementation specifics, but I do understand the theory behind it.
2021-03-16 00:22:06 <pjb> It's not funny.
2021-03-16 00:22:33 <Axman6> yeah the idea is pretty simple, the implementation is a fun other level of understanding
2021-03-16 00:25:08 → Jd007 joins (~Jd007@162.156.11.151)
2021-03-16 00:26:16 <koz_> Suppose I have f :: a -> Maybe b. How can I get a -> Maybe (b, a) out of f?
2021-03-16 00:26:23 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-16 00:26:42 <Axman6> @djinn (a -> Maybe b) -> (a -> Maybe (a,b))
2021-03-16 00:26:42 <lambdabot> f a b =
2021-03-16 00:26:42 <lambdabot> case a b of
2021-03-16 00:26:42 <lambdabot> Nothing -> Nothing
2021-03-16 00:26:42 <lambdabot> Just c -> Just (b, c)
2021-03-16 00:27:01 <koz_> Legit.
2021-03-16 00:27:13 <Axman6> a.k.a: \f a -> (a,) <$> f a
2021-03-16 00:27:41 <Axman6> or: \f a -> (,a) <$> f a -- to match the type you asked for
2021-03-16 00:28:38 <koz_> @pl \x -> (,x) <$> f x
2021-03-16 00:28:38 <lambdabot> (line 1, column 9):
2021-03-16 00:28:38 <lambdabot> unexpected ','
2021-03-16 00:28:38 <lambdabot> expecting expression
2021-03-16 00:28:43 <koz_> @pl \x -> (x,) <$> f x
2021-03-16 00:28:43 <lambdabot> (line 1, column 9):
2021-03-16 00:28:43 <lambdabot> unexpected ","
2021-03-16 00:28:43 <lambdabot> expecting letter or digit, variable, "(", operator or ")"
2021-03-16 00:28:46 <koz_> Argh.
2021-03-16 00:28:53 <koz_> Oh well.
2021-03-16 00:29:28 <hololeap> % :t (>>=) @((->) _)
2021-03-16 00:29:29 <yahb> hololeap: (w -> a) -> (a -> w -> b) -> w -> b
2021-03-16 00:29:40 <hololeap> % :t (<*>) @((->) _)
2021-03-16 00:29:40 <yahb> hololeap: (w -> (a -> b)) -> (w -> a) -> w -> b
2021-03-16 00:30:02 × Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-16 00:30:46 <hololeap> @pl \x -> ((,) x) <$> f x
2021-03-16 00:30:47 <lambdabot> liftM2 (<$>) (,) f
2021-03-16 00:31:00 <hololeap> @pl \x -> (flip (,) x) <$> f x
2021-03-16 00:31:00 <lambdabot> ap ((<$>) . flip (,)) f
2021-03-16 00:31:29 <koz_> So ((<$>) . flip (,)) <$> f
2021-03-16 00:33:06 → nfd joins (~nfd9001@2601:602:77f:1820:61ac:3926:b4ff:2973)
2021-03-16 00:33:26 → g0nk joins (~g0nk@173-26-39-109.client.mchsi.com)
2021-03-16 00:33:54 × crobbins quits (~crobbins@2600:1700:48eb:8490:f076:8bfb:8043:913e) (Remote host closed the connection)
2021-03-16 00:34:55 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2021-03-16 00:37:15 → ajc joins (~ajc@69.231.232.79)
2021-03-16 00:41:14 → Jd007 joins (~Jd007@162.156.11.151)
2021-03-16 00:42:51 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-03-16 00:44:26 × nfd quits (~nfd9001@2601:602:77f:1820:61ac:3926:b4ff:2973) (Ping timeout: 264 seconds)
2021-03-16 00:48:04 → gienah joins (~mwright@gentoo/developer/gienah)
2021-03-16 00:48:15 → klixto joins (~klixto@130.220.8.139)
2021-03-16 00:48:38 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-16 00:48:46 → rajivr joins (uid269651@gateway/web/irccloud.com/x-jiwetompintgtwib)
2021-03-16 00:49:14 × aarvar quits (~foewfoiew@2601:602:a080:fa0:6cfb:c91f:3c9a:a8cb) (Ping timeout: 264 seconds)
2021-03-16 00:49:41 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
2021-03-16 00:49:55 × nf quits (~n@monade.li) (Quit: Fairfarren.)
2021-03-16 00:50:25 → __minoru__shirae joins (~shiraeesh@109.166.58.121)
2021-03-16 00:50:40 → nf joins (~n@monade.li)
2021-03-16 00:51:33 × gienah_ quits (~mwright@119-18-2-23.771202.syd.nbn.aussiebb.net) (Ping timeout: 264 seconds)
2021-03-16 00:52:03 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 246 seconds)
2021-03-16 00:55:02 ← ajc parts (~ajc@69.231.232.79) ("Leaving")
2021-03-16 00:55:26 → ajc joins (~ajc@69.231.232.79)
2021-03-16 00:55:28 × jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds)
2021-03-16 00:56:43 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-16 00:57:39 → jespada joins (~jespada@90.254.243.187)
2021-03-16 00:58:50 → gienah_ joins (~mwright@119-18-3-26.771203.syd.nbn.aussiebb.net)
2021-03-16 01:00:10 → augnun joins (~augnun@189.6.16.141)
2021-03-16 01:00:19 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
2021-03-16 01:01:18 × gienah quits (~mwright@gentoo/developer/gienah) (Ping timeout: 260 seconds)
2021-03-16 01:01:42 → dfeuer joins (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net)
2021-03-16 01:02:29 → aarvar joins (~foewfoiew@2601:602:a080:fa0:d8ee:3872:3a62:88c1)
2021-03-16 01:02:33 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 246 seconds)
2021-03-16 01:03:42 ← ajc parts (~ajc@69.231.232.79) ("Leaving")
2021-03-16 01:03:44 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-16 01:03:58 → sm2n_ joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca)
2021-03-16 01:04:11 → ajc joins (~ajc@69.231.232.79)
2021-03-16 01:04:31 → raoul9 joins (~raoulhida@nomnomnomnom.co.uk)
2021-03-16 01:04:36 → drewolson0 joins (~drewolson@64.227.24.16)
2021-03-16 01:04:42 → {abby}9 joins (~{abby}@unaffiliated/demhydraz)
2021-03-16 01:04:45 → concept26 joins (~concept2@unaffiliated/tubo)
2021-03-16 01:05:04 → mozzarel1 joins (~sam@unaffiliated/sam113101)
2021-03-16 01:05:13 → tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-16 01:05:17 → koz joins (~koz@121.99.240.58)
2021-03-16 01:05:18 → Geekingfrog_ joins (geekingfro@2a01:7e01::f03c:92ff:fe48:8bdf)
2021-03-16 01:05:22 → lazyshrk_ joins (~lazyshrk@128.199.58.13)
2021-03-16 01:05:29 → uwap joins (~uwap@mail.uwap.name)
2021-03-16 01:05:32 → fre joins (~freusque@104.238.190.229)
2021-03-16 01:05:36 → sepples_ joins (~sepples@67.205.168.224)
2021-03-16 01:05:38 → xwvvvvwx- joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx)
2021-03-16 01:05:52 → minoru_shiraeesh joins (~shiraeesh@109.166.58.121)
2021-03-16 01:06:01 → incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
←Prev  Next→
Page 1 .. 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 .. 5022

All times are in UTC.