Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 884 885 886 887 888 889 890 891 892 893 894 .. 5022
— 502,152 events total
2020-10-27 00:41:03 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-27 00:43:40 → jedws joins (~jedws@101.184.148.229)
2020-10-27 00:44:35 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-27 00:45:37 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-27 00:48:54 × notnatebtw quits (~nate@125.161.130.165) (Ping timeout: 256 seconds)
2020-10-27 00:50:06 <olligobber> :t even
2020-10-27 00:50:07 <lambdabot> Integral a => a -> Bool
2020-10-27 00:50:09 → acidjnk_new joins (~acidjnk@p200300d0c723784541890f3c35543fb8.dip0.t-ipconnect.de)
2020-10-27 00:50:39 <olligobber> what?
2020-10-27 00:50:57 → la-jesystani joins (~thorn@158.140.231.126)
2020-10-27 00:51:08 → notnatebtw joins (~nate@125.161.130.165)
2020-10-27 00:51:09 <hekkaidekapus> olligobber, what did you expect?
2020-10-27 00:51:45 <olligobber> I'm just confused by what comparing and <> are doing in your code
2020-10-27 00:51:59 <dsal> :t comparing
2020-10-27 00:52:00 <lambdabot> Ord a => (b -> a) -> b -> b -> Ordering
2020-10-27 00:52:14 <olligobber> oh I see
2020-10-27 00:52:22 <hekkaidekapus> > sortBy (comparing even <> comparing (>5)) (reverse [1..11])
2020-10-27 00:52:24 <lambdabot> [5,3,1,11,9,7,4,2,10,8,6]
2020-10-27 00:52:31 <olligobber> wait, there's a <> instance for Ord?
2020-10-27 00:52:31 <dsal> It's a sort thing to take two values and a function to build a shwartzian transform for sorting.
2020-10-27 00:52:40 <dsal> Yeah, it's super useful.
2020-10-27 00:52:45 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2020-10-27 00:52:47 <olligobber> *Ordering
2020-10-27 00:52:55 × whald quits (~trem@2a02:810a:8100:11a6:719f:1c0f:efe6:863b) (Remote host closed the connection)
2020-10-27 00:52:55 → whald_ joins (~trem@2a02:810a:8100:11a6:719f:1c0f:efe6:863b)
2020-10-27 00:52:59 → Lord_of_Life_ joins (~Lord@46.217.223.11)
2020-10-27 00:53:00 <dsal> * Semigroup :)
2020-10-27 00:53:04 <dsal> > LT <> GT
2020-10-27 00:53:06 <lambdabot> LT
2020-10-27 00:53:15 <hekkaidekapus> @where monoids -- olligobber, the monoid instance for functions is a superstar topic around here.
2020-10-27 00:53:15 <lambdabot> comment on "Monoids? In my programming language?" by Cale in 2008 (or 2009 ?) at <http://www.reddit.com/r/programming/comments/7cf4r/monoids_in_my_programming_language/c06adnx> about a use of `
2020-10-27 00:53:15 <lambdabot> instance Monoid a => Monoid (rho -> a)'
2020-10-27 00:53:38 <olligobber> oh, I know about the monoid instance for functions
2020-10-27 00:53:46 <olligobber> used it myself when golfing a quine
2020-10-27 00:54:37 <dsal> > fold [EQ, EQ, LT, GT]
2020-10-27 00:54:39 <lambdabot> LT
2020-10-27 00:54:45 <dsal> > fold [EQ, EQ, GT, LT, GT]
2020-10-27 00:54:46 <lambdabot> GT
2020-10-27 00:54:53 <dsal> In practice, it does the thing you'd want.
2020-10-27 00:55:04 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-27 00:55:22 → conal joins (~conal@64.71.133.70)
2020-10-27 00:55:22 <dsal> > mempty :: Comparing
2020-10-27 00:55:25 <lambdabot> error:
2020-10-27 00:55:25 <lambdabot> Not in scope: type constructor or class ‘Comparing’
2020-10-27 00:55:31 <olligobber> it returns the first non-EQ thing?
2020-10-27 00:55:32 <dsal> > mempty :: Ordering
2020-10-27 00:55:33 <lambdabot> EQ
2020-10-27 00:55:37 <dsal> *sigh* But yeah, it's a monoid as well.
2020-10-27 00:55:40 <dsal> Yeah.
2020-10-27 00:56:47 <olligobber> I still haven't used comparing enough to figure this code out
2020-10-27 00:57:01 <olligobber> I'm starting to get it though
2020-10-27 00:57:07 <MarcelineVQ> :t comparing even
2020-10-27 00:57:08 <lambdabot> Integral a => a -> a -> Ordering
2020-10-27 00:57:23 <olligobber> ok, I think I get it now
2020-10-27 00:57:41 <dsal> The question Raito_Bezarius had was about combining `a -> Bool` functions, which means you have to ask what it means to combine bools. So there are two different monoids.
2020-10-27 00:57:42 × mbomba quits (~mbomba@142.114.9.241) (Ping timeout: 260 seconds)
2020-10-27 00:58:04 <dsal> even is a weird way to compare numbers.
2020-10-27 00:58:44 <dsal> > comparing length "a long string" "x"
2020-10-27 00:58:46 <lambdabot> GT
2020-10-27 00:58:54 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-27 01:01:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-27 01:04:08 <la-jesystani> howdy, has anyone here built a program using nix flakes? id be really interested to hear about it
2020-10-27 01:06:07 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-27 01:06:42 → hexfive joins (~hexfive@50.35.90.193)
2020-10-27 01:06:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-27 01:09:10 → servo joins (~servo@41.92.79.35)
2020-10-27 01:09:19 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:146b:c489:8b41:e2cb)
2020-10-27 01:10:42 <servo> HELLO ALL MEMEBERS
2020-10-27 01:11:18 <hekkaidekapus> Hi, servo.
2020-10-27 01:11:44 <servo> what type of work her ? plz
2020-10-27 01:12:44 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-27 01:13:04 <hekkaidekapus> servo, please ask a Haskell-related question?
2020-10-27 01:13:20 × jespada quits (~jespada@90.254.243.98) (Ping timeout: 272 seconds)
2020-10-27 01:15:06 <hekkaidekapus> dsal | “even is a weird way to compare numbers.” What else to use when comparing numbers without even being odd?
2020-10-27 01:17:01 → jespada joins (~jespada@90.254.243.98)
2020-10-27 01:18:37 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-27 01:19:55 × hexfive quits (~hexfive@50.35.90.193) (Quit: i must go. my people need me.)
2020-10-27 01:20:02 × acidjnk_new quits (~acidjnk@p200300d0c723784541890f3c35543fb8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-27 01:20:03 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-27 01:23:28 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2020-10-27 01:24:26 × akad quits (~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 265 seconds)
2020-10-27 01:24:49 × darjeeling_ quits (~darjeelin@115.215.42.47) (Ping timeout: 256 seconds)
2020-10-27 01:26:09 → darjeeling_ joins (~darjeelin@115.215.42.47)
2020-10-27 01:27:34 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-27 01:33:43 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-27 01:36:16 → nuncanada joins (~dude@179.235.160.168)
2020-10-27 01:36:34 × tito_04 quits (~taurux@net-93-146-109-245.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-27 01:38:19 → taurux joins (~taurux@net-188-152-14-58.cust.vodafonedsl.it)
2020-10-27 01:39:29 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:146b:c489:8b41:e2cb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 01:41:40 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds)
2020-10-27 01:47:11 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:146b:c489:8b41:e2cb)
2020-10-27 01:47:57 hackage reanimate 1.1.2.0 - Animation library based on SVGs. https://hackage.haskell.org/package/reanimate-1.1.2.0 (DavidHimmelstrup)
2020-10-27 01:54:50 × oisdk quits (~oisdk@2001:bb6:3329:d100:4d5c:1d2c:a660:df1) (Quit: oisdk)
2020-10-27 01:57:41 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-27 01:58:30 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-27 02:00:37 × solonarv quits (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-27 02:01:45 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-27 02:01:54 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 02:02:38 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-27 02:03:50 × nuncanada quits (~dude@179.235.160.168) (Quit: Leaving)
←Prev  Next→
Page 1 .. 884 885 886 887 888 889 890 891 892 893 894 .. 5022

All times are in UTC.