Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 .. 5022
— 502,152 events total
2020-11-02 00:28:29 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-02 00:28:47 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-11-02 00:31:38 → aarvar joins (~foewfoiew@50.35.43.33)
2020-11-02 00:32:14 → fendor_ joins (~fendor@91.141.1.122.wireless.dyn.drei.com)
2020-11-02 00:32:31 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-02 00:34:08 × argent0 quits (~argent0@168.227.96.4) (Ping timeout: 268 seconds)
2020-11-02 00:35:16 × fendor quits (~fendor@91.141.0.119.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2020-11-02 00:36:13 → mimi_vx joins (~mimi@2a01:490:16:1026:8cbe:b3f3:f284:209c)
2020-11-02 00:37:03 × tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Quit: leaving)
2020-11-02 00:37:22 → tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-11-02 00:39:34 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 00:39:43 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-02 00:41:04 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1)
2020-11-02 00:41:06 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-02 00:41:43 × bendo quits (~bendo@130.61.122.121) (Ping timeout: 256 seconds)
2020-11-02 00:42:28 × Tario quits (~Tario@200.119.185.187) (Ping timeout: 260 seconds)
2020-11-02 00:42:43 → bendo joins (~bendo@130.61.122.121)
2020-11-02 00:42:52 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 272 seconds)
2020-11-02 00:43:10 → Tario joins (~Tario@201.191.91.236)
2020-11-02 00:44:14 → plutoniix joins (~q@175.176.222.7)
2020-11-02 00:44:26 → christo joins (~chris@81.96.113.213)
2020-11-02 00:44:43 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 246 seconds)
2020-11-02 00:45:32 × machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 256 seconds)
2020-11-02 00:46:22 → pera joins (~pera@unaffiliated/pera)
2020-11-02 00:50:49 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-qmwibrdpzphrklso) (Quit: Connection closed for inactivity)
2020-11-02 00:51:42 <Raito_Bezarius> can I unpack Maybe [a] into [a] using prelude?
2020-11-02 00:51:50 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 00:51:50 <Raito_Bezarius> saying that None → [] and Some l → l
2020-11-02 00:51:57 → Nachtgespenst joins (~user@unaffiliated/siracusa)
2020-11-02 00:52:08 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 00:52:17 → machinedgod joins (~machinedg@207.253.244.210)
2020-11-02 00:52:20 <c_wraith> why Prelude in particular?
2020-11-02 00:52:32 <Raito_Bezarius> hm, rather base libraries then
2020-11-02 00:53:01 <c_wraith> :t fromMaybe []
2020-11-02 00:53:03 <lambdabot> Maybe [a] -> [a]
2020-11-02 00:53:07 → mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-02 00:53:09 <Raito_Bezarius> thanks, c_wraith !
2020-11-02 00:53:54 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-02 00:54:09 → christo joins (~chris@81.96.113.213)
2020-11-02 00:54:38 → argent0 joins (~argent0@168.227.96.4)
2020-11-02 00:55:14 → Axman6 joins (~Axman6@pdpc/supporter/student/Axman6)
2020-11-02 00:55:33 → Guest95559 joins (~ccallahan@139.28.218.148)
2020-11-02 00:55:57 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-02 00:56:55 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-02 00:58:35 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-02 00:59:06 × nerdypepper quits (nerdypeppe@152.67.160.69) (Quit: bye)
2020-11-02 00:59:18 → nerdypepper joins (nerdypeppe@152.67.160.69)
2020-11-02 00:59:25 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 246 seconds)
2020-11-02 00:59:59 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-02 01:00:38 × sam___ quits (~sam@75.116.205.77.rev.sfr.net) (Ping timeout: 264 seconds)
2020-11-02 01:01:06 → Deide joins (~Deide@217.155.19.23)
2020-11-02 01:02:19 × conal quits (~conal@198.8.81.68) (Quit: Computer has gone to sleep.)
2020-11-02 01:02:37 → carlomagno joins (~cararell@148.87.23.11)
2020-11-02 01:03:14 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-11-02 01:05:01 × elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2020-11-02 01:06:31 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-11-02 01:08:08 <koz_> foldMap (: []) works too I think?
2020-11-02 01:09:37 DigitalKiWicked is now known as DigitalKiwi
2020-11-02 01:10:47 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 260 seconds)
2020-11-02 01:10:50 × mimi_vx quits (~mimi@2a01:490:16:1026:8cbe:b3f3:f284:209c) (Ping timeout: 264 seconds)
2020-11-02 01:11:10 <MarcelineVQ> that'd be Maybe a -> [a] but foldMap id should be fine
2020-11-02 01:13:28 <MarcelineVQ> > fold (Just [3]) -- I like to write fold instead of foldMap id tho
2020-11-02 01:13:31 <lambdabot> [3]
2020-11-02 01:13:53 → conal joins (~conal@198.8.81.68)
2020-11-02 01:14:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-02 01:14:23 <koz_> MarcelineVQ: You could do 'foldMap pure' as well.
2020-11-02 01:14:28 <MarcelineVQ> 'just prelude' would be maybe [] id tho
2020-11-02 01:14:33 <koz_> But fold is the slickest.
2020-11-02 01:14:42 <koz_> 'foldMap id' is Prelude-only-able.
2020-11-02 01:15:16 <MarcelineVQ> watch this shit
2020-11-02 01:15:22 <MarcelineVQ> > concat (Just [3])
2020-11-02 01:15:24 <lambdabot> [3]
2020-11-02 01:16:04 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 240 seconds)
2020-11-02 01:16:25 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-02 01:17:35 <koz_> MarcelineVQ: Ooooooo
2020-11-02 01:17:39 <koz_> SpoooOOOky
2020-11-02 01:17:50 → LambdaScientist joins (~Android@24.42.199.176)
2020-11-02 01:18:18 <hololeap> was concat always Foldable t => t [a] -> [a]?
2020-11-02 01:19:50 <davean> no, foldable didn't always exist, why?
2020-11-02 01:21:44 → aarvar joins (~foewfoiew@50.35.43.33)
2020-11-02 01:22:14 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:24ed:9b41:b671:d88b) (Ping timeout: 268 seconds)
2020-11-02 01:22:38 → Lord_of_Life_ joins (~Lord@46.217.223.45)
2020-11-02 01:24:43 × Lord_of_Life quits (~Lord@46.217.216.248) (Ping timeout: 260 seconds)
2020-11-02 01:25:29 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-02 01:29:44 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 01:30:15 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-02 01:30:19 → christo joins (~chris@81.96.113.213)
2020-11-02 01:31:43 → danso joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-02 01:31:59 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 01:32:13 → christo joins (~chris@81.96.113.213)
2020-11-02 01:33:49 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:3b3a:dfa6:d69e:5cd8)
2020-11-02 01:34:04 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:419f:7551:94a4:41c1)
2020-11-02 01:35:33 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-11-02 01:38:20 × urodna quits (~urodna@unaffiliated/urodna) (Read error: Connection reset by peer)
2020-11-02 01:42:06 → DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-11-02 01:42:07 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 246 seconds)
2020-11-02 01:42:10 <edwardk> clearly it should be redefined to 'foldMap toList', as the toList definition for list is the identify function, and then it can be (Foldable f, Foldable g) => f (g a) -> [a]
2020-11-02 01:42:40 <edwardk> missed opportunity
2020-11-02 01:43:14 → jedws joins (~jedws@101.184.150.81)
2020-11-02 01:43:22 <edwardk> we could kill so many catMaybes with that
←Prev  Next→
Page 1 .. 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 .. 5022

All times are in UTC.