Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 .. 5022
— 502,152 events total
2020-11-12 05:08:43 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2020-11-12 05:11:26 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2020-11-12 05:11:26 × polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 264 seconds)
2020-11-12 05:12:39 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-12 05:14:08 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
2020-11-12 05:16:02 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 05:18:07 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-12 05:18:34 → SeaviewNS joins (188a1882@host-24-138-24-130.public.eastlink.ca)
2020-11-12 05:19:02 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds)
2020-11-12 05:20:28 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-12 05:20:28 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit)
2020-11-12 05:20:34 → s00pcan joins (~chris@107.181.165.217)
2020-11-12 05:21:49 → Sanchayan joins (~Sanchayan@122.181.216.76)
2020-11-12 05:23:27 → star_cloud joins (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-12 05:31:24 ← SeaviewNS parts (188a1882@host-24-138-24-130.public.eastlink.ca) ()
2020-11-12 05:32:21 → day_ joins (~Unknown@unaffiliated/day)
2020-11-12 05:33:15 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-fojftpzadtahwsbd) (Quit: Connection closed for inactivity)
2020-11-12 05:35:51 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-11-12 05:35:51 day_ is now known as day
2020-11-12 05:35:58 → adm_ joins (~adm@43.229.89.44)
2020-11-12 05:36:01 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-12 05:42:42 × visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-12 05:42:53 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 246 seconds)
2020-11-12 05:45:34 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-12 05:48:12 → thunderrd joins (~thunderrd@183.182.110.117)
2020-11-12 05:56:25 → timCF joins (~i.tkachuk@m91-129-105-245.cust.tele2.ee)
2020-11-12 05:56:28 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-12 05:56:44 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 05:57:25 → adm_ joins (~adm@43.229.89.44)
2020-11-12 05:59:00 → adm__ joins (~adm@43.229.89.44)
2020-11-12 06:00:01 × RavenSoft quits (~RavenSoft@185.163.110.116) ()
2020-11-12 06:01:14 × subttle quits (~anonymous@unaffiliated/subttle) (Quit: leaving)
2020-11-12 06:01:53 × adm_ quits (~adm@43.229.89.44) (Ping timeout: 265 seconds)
2020-11-12 06:02:09 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-11-12 06:02:34 × adm__ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 06:03:59 <dsal> @hoogle ((<&>))
2020-11-12 06:04:00 <lambdabot> Prelude undefined :: forall (r :: RuntimeRep) . forall (a :: TYPE r) . HasCallStack => a
2020-11-12 06:04:00 <lambdabot> Control.Exception.Base absentSumFieldError :: a
2020-11-12 06:04:00 <lambdabot> Text.Printf errorShortFormat :: a
2020-11-12 06:04:17 <dsal> Hmm... I'm trying to remember a thing that exists...
2020-11-12 06:04:57 <dsal> There's a thing like <|> but not applicative.
2020-11-12 06:06:32 <dsal> Ah, it's <!>
2020-11-12 06:07:07 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-12 06:08:25 <dsal> Nah, still not what I want. I think I'm trying to be too fancy.
2020-11-12 06:09:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-12 06:18:19 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.189) (Ping timeout: 246 seconds)
2020-11-12 06:18:20 → adm_ joins (~adm@43.229.89.44)
2020-11-12 06:20:01 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-12 06:20:27 × dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2020-11-12 06:22:25 × adm_ quits (~adm@43.229.89.44) (Ping timeout: 240 seconds)
2020-11-12 06:22:25 → dave_uy joins (~david@108.61.193.26)
2020-11-12 06:25:30 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye)
2020-11-12 06:25:52 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
2020-11-12 06:29:21 → Echosolacre joins (999b6f7e@p320126-omed01.osaka.ocn.ne.jp)
2020-11-12 06:29:23 → adm_ joins (~adm@43.229.89.44)
2020-11-12 06:31:09 <Echosolacre> Hey all, I'm still a beginner and I am wondering how to read this... on :: (b -> b -> c) -> (a -> b) -> a -> a -> c. Is this to say that the typeclass of on is defined by a binary function which maps to a unary function which maps to a twice and then outputs c?
2020-11-12 06:31:24 <Echosolacre> http://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Function.html
2020-11-12 06:31:31 <Echosolacre> I'm following the above.
2020-11-12 06:31:46 <Echosolacre> Going through LYAH and this on function is throwing me a bit.
2020-11-12 06:32:18 <Echosolacre> Any thoughts would be greatly appeciated.
2020-11-12 06:34:22 × ericsagnes quits (~ericsagne@2405:6580:0:5100:dc2f:c1a2:afcc:89b0) (Ping timeout: 260 seconds)
2020-11-12 06:39:14 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-12 06:40:54 → hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de)
2020-11-12 06:43:13 <jackdk> I think you have the idea right, but avoid using the word "typeclass" to describe this, because that's a specific concept in haskell
2020-11-12 06:43:46 <jackdk> I think it's clearer if you add parens that are not strictly necessary: `on :: (b -> b -> c) -> (a -> b) -> (a -> a -> c)`
2020-11-12 06:43:48 <jackdk> gtg
2020-11-12 06:43:49 × Sanchayan quits (~Sanchayan@122.181.216.76) (Remote host closed the connection)
2020-11-12 06:44:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-12 06:46:51 → ericsagnes joins (~ericsagne@2405:6580:0:5100:2aa9:cfa1:c8c2:4c1f)
2020-11-12 06:48:11 <Echosolacre> I have a really basic question about what Jackdk just said. When you look at (b -> b -> c) -> (a -> b) -> (a -> a -> c), I think of it like there is a function that takes a variable, maps it to the same variable, and then outputs a different variable. (b -> b-> c).
2020-11-12 06:48:18 → Sanchayan joins (~Sanchayan@122.181.216.76)
2020-11-12 06:48:20 <Echosolacre> Sorry, this understanding is probably way off.
2020-11-12 06:48:32 <Echosolacre> How do you guys read these sections of the code?
2020-11-12 06:49:33 <Echosolacre> '->' is plain speak is "map to", no?
2020-11-12 06:49:44 <Echosolacre> plain speak for*
2020-11-12 06:55:22 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 06:55:47 → adm_ joins (~adm@43.229.89.44)
2020-11-12 06:56:49 → christo joins (~chris@81.96.113.213)
2020-11-12 06:59:54 → bitmagie joins (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de)
2020-11-12 07:00:07 → solonarv joins (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr)
2020-11-12 07:02:02 <c_wraith> I generally don't read code in words.
2020-11-12 07:02:08 <c_wraith> They're too limiting
2020-11-12 07:02:44 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 07:02:52 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-12 07:03:09 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-12 07:03:52 → asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-11-12 07:03:52 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-12 07:03:58 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-12 07:06:33 → adm_ joins (~adm@43.229.89.44)
2020-11-12 07:08:12 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-12 07:08:58 × Echosolacre quits (999b6f7e@p320126-omed01.osaka.ocn.ne.jp) (Remote host closed the connection)
2020-11-12 07:12:15 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-11-12 07:19:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-12 07:22:36 × adm_ quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-12 07:23:35 → adm_ joins (~adm@43.229.89.44)
2020-11-12 07:24:06 → jedws joins (~jedws@101.184.175.183)
2020-11-12 07:25:30 × hive-mind quits (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (Ping timeout: 265 seconds)
2020-11-12 07:31:30 → RISCi_ATOM1 joins (~RISCi_ATO@185.163.110.116)
2020-11-12 07:34:50 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-12 07:37:49 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
←Prev  Next→
Page 1 .. 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 .. 5022

All times are in UTC.