Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 .. 5022
— 502,152 events total
2020-11-22 02:44:50 × Ariakenom quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-22 02:44:55 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-22 02:45:05 <monochrom> Use a long list to see more of the trend.
2020-11-22 02:45:06 <futuba> yeah, i understood what it does for [(1, 2)]
2020-11-22 02:45:15 <futuba> i guess for list and maybe i see what it does
2020-11-22 02:46:44 <monochrom> Now just rewrite func2 and func3 using Applicative only. Use what you know about what <*> does when f=[].
2020-11-22 02:48:32 → macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-11-22 02:50:41 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-22 02:51:34 → Sonderblade joins (~helloman@94.191.153.49.mobile.tre.se)
2020-11-22 02:51:43 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 260 seconds)
2020-11-22 02:51:49 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.234) (Ping timeout: 264 seconds)
2020-11-22 02:53:24 → da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:6c06:8500:38e7:4522:4d5)
2020-11-22 02:53:28 × electricityZZZZ quits (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-22 02:55:49 → Jeanne-Kamikaze joins (~Jeanne-Ka@66.115.189.194)
2020-11-22 02:55:57 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-11-22 02:56:00 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Quit: leaving)
2020-11-22 02:56:45 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds)
2020-11-22 02:56:56 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-11-22 02:57:15 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-11-22 02:57:58 → Lowww joins (~Lowww@185.163.110.116)
2020-11-22 02:58:57 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2020-11-22 03:00:41 → darjeeling_ joins (~darjeelin@122.245.219.209)
2020-11-22 03:01:19 → jordyMcArthur joins (~Amresh_Ku@27.61.111.195)
2020-11-22 03:02:17 ← jordyMcArthur parts (~Amresh_Ku@27.61.111.195) ()
2020-11-22 03:02:36 × electricityZZZZ quits (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-22 03:03:12 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-22 03:04:59 → boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-22 03:05:20 × LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-22 03:05:24 <boxscape> is there some way to have ghc reduce type family applications in type errors?
2020-11-22 03:06:50 <boxscape> I suppose -fprint-expanded-synonyms is supposed to do it... but it doesn't do it for my example:
2020-11-22 03:07:09 <boxscape> % type family X2 a where X2 Int = String
2020-11-22 03:07:10 <yahb> boxscape:
2020-11-22 03:07:25 <boxscape> % :set -fprint-expanded-synonyms
2020-11-22 03:07:25 <yahb> boxscape:
2020-11-22 03:07:37 <boxscape> % type family X3 a :: Maybe (X2 Int) where X3 a = '()
2020-11-22 03:07:37 <yahb> boxscape: ; <interactive>:75:49: error:; * Expected kind `Maybe (X2 Int)', but '() has kind `()'; * In the type '(); In the type family declaration for `X3'
2020-11-22 03:08:00 <boxscape> I would expect this to print "Expected kind `Maybe String'" somewhere
2020-11-22 03:08:55 <boxscape> or, well, I suppose the flag is actually only about type synonyms, not type families
2020-11-22 03:11:16 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 240 seconds)
2020-11-22 03:12:43 × Audentity quits (~Audentity@4e69b241.skybroadband.com) (Ping timeout: 260 seconds)
2020-11-22 03:15:26 × Fractalis quits (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7) (Quit: Goodbye Everyone!)
2020-11-22 03:19:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-22 03:19:56 → GuerrillaMonkey joins (~Jeanne-Ka@66.115.189.174)
2020-11-22 03:23:01 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.194) (Ping timeout: 264 seconds)
2020-11-22 03:23:01 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-22 03:26:47 → jedws_ joins (~jedws@101.184.150.93)
2020-11-22 03:28:37 × jedws quits (~jedws@101.184.150.93) (Ping timeout: 265 seconds)
2020-11-22 03:29:35 × GuerrillaMonkey quits (~Jeanne-Ka@66.115.189.174) (Quit: Leaving)
2020-11-22 03:29:45 → Jeanne-Kamikaze joins (~Jeanne-Ka@66.115.189.174)
2020-11-22 03:34:11 × sand_dull quits (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Quit: Lost terminal)
2020-11-22 03:35:36 → justsomeguy joins (~justsomeg@216.186.218.241)
2020-11-22 03:35:36 × justsomeguy quits (~justsomeg@216.186.218.241) (Changing host)
2020-11-22 03:35:36 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-11-22 03:40:25 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2020-11-22 03:41:41 → redmp joins (~redmp@mobile-166-137-178-152.mycingular.net)
2020-11-22 03:42:18 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2020-11-22 03:43:01 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (kornbluth.freenode.net (Nickname regained by services)))
2020-11-22 03:43:07 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-11-22 03:48:04 → GuerrillaMonkey joins (~Jeanne-Ka@c-24-7-48-40.hsd1.ca.comcast.net)
2020-11-22 03:48:27 → ian-mi joins (~ian_milli@c-67-160-8-14.hsd1.wa.comcast.net)
2020-11-22 03:49:25 × theDon quits (~td@94.134.91.87) (Ping timeout: 264 seconds)
2020-11-22 03:49:58 → jedai42 joins (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr)
2020-11-22 03:50:12 × GuerrillaMonkey quits (~Jeanne-Ka@c-24-7-48-40.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-11-22 03:50:16 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.174) (Ping timeout: 240 seconds)
2020-11-22 03:50:33 → GuerrillaMonkey joins (~Jeanne-Ka@c-24-7-48-40.hsd1.ca.comcast.net)
2020-11-22 03:51:11 → theDon joins (~td@muedsl-82-207-238-007.citykom.de)
2020-11-22 03:53:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-22 03:58:49 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-22 03:59:23 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-22 03:59:26 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-22 04:00:27 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-11-22 04:00:40 × GuerrillaMonkey quits (~Jeanne-Ka@c-24-7-48-40.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-11-22 04:02:04 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Client Quit)
2020-11-22 04:02:43 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2020-11-22 04:03:27 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-22 04:05:39 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-11-22 04:06:22 × acidjnk_new2 quits (~acidjnk@p200300d0c719ff54e8f13b1c4a3f9bcc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-22 04:09:33 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-11-22 04:13:25 → rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2020-11-22 04:13:29 → drbean joins (~drbean@TC210-63-209-194.static.apol.com.tw)
2020-11-22 04:15:25 <futuba> i can't understand the idea of x <$> p <*> q pattern
2020-11-22 04:15:32 <futuba> does anyone have some intuition please?
2020-11-22 04:16:05 <dsal> I think it's very intuitive when you think about it in terms of Maybe.
2020-11-22 04:16:25 <dsal> Each step takes an the previous step's value if it's Just, otherwise short circuits to Nothing.
2020-11-22 04:17:33 <futuba> sorry, can you explain what the steps are?
2020-11-22 04:17:45 × rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2020-11-22 04:18:42 <dsal> > (,) <$> Just 2 <*> Just 3
2020-11-22 04:18:44 <lambdabot> Just (2,3)
2020-11-22 04:19:07 <dsal> Each thing might return Nothing or Just a value, and I want to either get Nothing, or just `x` in your case.
2020-11-22 04:19:24 <dsal> > (,,) <$> Just 1 <*> Just 2 <*> Just 3
2020-11-22 04:19:26 <lambdabot> Just (1,2,3)
2020-11-22 04:19:27 <dsal> > (,,) <$> Nothing <*> Just 2 <*> Just 3
2020-11-22 04:19:29 <lambdabot> Nothing
2020-11-22 04:19:47 <futuba> hm so i should think like the first argument is the function
2020-11-22 04:19:55 <futuba> and then the other arguments are the things you apply the functions to?
2020-11-22 04:20:17 <dsal> > (+) <$> Nothing <*> Just 2
2020-11-22 04:20:20 <lambdabot> Nothing
2020-11-22 04:20:22 <dsal> > (+) <$> Just 11 <*> Just 2
2020-11-22 04:20:25 <lambdabot> Just 13
2020-11-22 04:20:32 × futuba quits (2fe3e53b@047-227-229-059.res.spectrum.com) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 .. 5022

All times are in UTC.