Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 .. 5022
— 502,152 events total
2021-03-31 04:43:48 <edwardk> lenses/traversals are coming soon
2021-03-31 04:43:50 <edwardk> =)
2021-03-31 04:43:56 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2021-03-31 04:44:24 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-31 04:46:04 × Wuzzy quits (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-31 04:46:47 <edwardk> the type of https://github.com/ekmett/linear-logic/blob/main/src/Linear/Logic/Functor.hs#L853 was what fmap' used to be, but that top level arrow wasn't contradictable.
2021-03-31 04:47:50 → acidjnk_new joins (~acidjnk@p200300d0c72b9549c1d5f2f7c60f6477.dip0.t-ipconnect.de)
2021-03-31 04:48:38 <edwardk> glguy: i was particularly proud of figuring out a way to overload lollipops to work with actual function application, while still letting me work backwards through the refutations because refutations for lollipops and haskell functions are isomorphic, and the ones for unrestricted haskell functions can also fit in
2021-03-31 04:48:51 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-03-31 04:51:11 → egorbelibov joins (55f7af94@bl14-175-148.dsl.telepac.pt)
2021-03-31 04:51:31 × JanBessa1 quits (~JanB@85-22-26-176.ip.dokom21.de) (Quit: leaving)
2021-03-31 04:51:56 × kiweun quits (~kiweun@2607:fea8:2a62:9600:8050:1fea:250d:e11e) (Remote host closed the connection)
2021-03-31 04:52:37 ← egorbelibov parts (55f7af94@bl14-175-148.dsl.telepac.pt) ()
2021-03-31 04:53:03 × elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-03-31 04:53:50 × raym quits (~ray@115.187.32.14) (Quit: leaving)
2021-03-31 04:54:40 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-31 04:55:29 × acidjnk_new quits (~acidjnk@p200300d0c72b9549c1d5f2f7c60f6477.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-03-31 04:56:52 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-03-31 05:02:27 → ezrakilty joins (~ezrakilty@97-113-35-199.tukw.qwest.net)
2021-03-31 05:04:58 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894)
2021-03-31 05:07:20 × Z3ph0d quits (~peter@061092022201.ctinets.com) (Quit: Leaving)
2021-03-31 05:10:24 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…)
2021-03-31 05:10:55 → mawk joins (mawk@serveur.io)
2021-03-31 05:15:07 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-31 05:15:42 × conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-03-31 05:17:02 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2021-03-31 05:19:41 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-31 05:20:46 × borne quits (~fritjof@200116b86411e500998fce1c43ef4e0a.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-03-31 05:20:46 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds)
2021-03-31 05:20:52 → berberman_ joins (~berberman@unaffiliated/berberman)
2021-03-31 05:21:23 → conal joins (~conal@64.71.133.70)
2021-03-31 05:22:22 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-31 05:23:34 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2021-03-31 05:24:00 → ddellacosta joins (~ddellacos@86.106.143.118)
2021-03-31 05:24:02 → Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-03-31 05:24:09 × Feuermagier_ quits (~CatWithMo@gateway/tor-sasl/catwithmoustache) (Quit: Leaving)
2021-03-31 05:24:25 × ezrakilty quits (~ezrakilty@97-113-35-199.tukw.qwest.net) (Remote host closed the connection)
2021-03-31 05:24:32 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 252 seconds)
2021-03-31 05:25:22 → CatWithMoustache joins (~CatWithMo@gateway/tor-sasl/catwithmoustache)
2021-03-31 05:28:34 × ddellacosta quits (~ddellacos@86.106.143.118) (Ping timeout: 252 seconds)
2021-03-31 05:33:06 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-31 05:35:30 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-03-31 05:36:38 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-03-31 05:37:23 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2021-03-31 05:38:21 → raym joins (~ray@115.187.32.14)
2021-03-31 05:38:21 → acidjnk_new joins (~acidjnk@p200300d0c72b9549c1d5f2f7c60f6477.dip0.t-ipconnect.de)
2021-03-31 05:40:37 × xff0x quits (~xff0x@2001:1a81:52d9:7900:960c:6609:3a45:b460) (Ping timeout: 276 seconds)
2021-03-31 05:41:08 → xff0x joins (~xff0x@2001:1a81:52d9:7900:6b0c:e3df:c0c:8727)
2021-03-31 05:45:00 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2021-03-31 05:47:31 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
2021-03-31 05:48:18 × v01d4lph4 quits (~v01d4lph4@223.190.20.92) (Remote host closed the connection)
2021-03-31 05:48:30 → v01d4lph4 joins (~v01d4lph4@223.190.20.92)
2021-03-31 05:49:29 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-03-31 05:57:40 → plutoniix joins (~q@184.82.196.30)
2021-03-31 05:57:51 → ddellacosta joins (~ddellacos@86.106.143.27)
2021-03-31 05:59:46 × Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
2021-03-31 06:00:24 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-31 06:02:33 × ddellacosta quits (~ddellacos@86.106.143.27) (Ping timeout: 260 seconds)
2021-03-31 06:02:46 × Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-f003-eca1-8bf8-0ed7.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-31 06:03:30 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-03-31 06:05:44 → jakalx joins (~jakalx@base.jakalx.net)
2021-03-31 06:05:59 <CatWithMoustache> how do I use an element twice in a list comprehension?
2021-03-31 06:06:09 <CatWithMoustache> so x : x : xs
2021-03-31 06:06:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-31 06:06:52 → Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-501f-0d46-1115-b500.res6.spectrum.com)
2021-03-31 06:07:23 → malumore joins (~malumore@151.62.117.70)
2021-03-31 06:07:54 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-31 06:09:30 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection)
2021-03-31 06:09:37 <edwardk> CatWithMoustache: not sure what you are asking. you want a pattern or a comprehension that returns one or what?
2021-03-31 06:10:31 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894)
2021-03-31 06:10:38 <edwardk> > let foo (x:y:zs) | x == y = "hit" | otherwise = "miss" in foo "oooh"
2021-03-31 06:10:41 <lambdabot> "hit"
2021-03-31 06:11:07 <edwardk> there's no syntax for a literal match with a previous variable per se. though you can use view patterns to fake it
2021-03-31 06:12:38 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-03-31 06:12:42 <edwardk> > let foo (x:((==) x -> True):zs) = "hit"; foo (x:y:zs) = "miss" in foo "oooh"
2021-03-31 06:12:44 <lambdabot> "hit"
2021-03-31 06:12:45 × CatWithMoustache quits (~CatWithMo@gateway/tor-sasl/catwithmoustache) (Ping timeout: 240 seconds)
2021-03-31 06:12:59 <edwardk> but for actual comprehensions you can use filter equations
2021-03-31 06:13:08 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection)
2021-03-31 06:13:57 <edwardk> > [ (x,y) | x <- [1..3], y <- [1..3] , x < y ]
2021-03-31 06:13:59 <lambdabot> [(1,2),(1,3),(2,3)]
2021-03-31 06:14:29 <edwardk> replacing < with == there might be what you asked for. but its hard to parse your meaning from that one line
2021-03-31 06:14:59 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-03-31 06:15:05 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-31 06:15:28 → Guest41032 joins (~laudiacay@67.176.215.84)
2021-03-31 06:15:39 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894)
2021-03-31 06:17:33 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection)
2021-03-31 06:18:29 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894)
2021-03-31 06:18:52 → CatWithMoustache joins (~CatWithMo@gateway/tor-sasl/catwithmoustache)
2021-03-31 06:20:21 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection)
2021-03-31 06:20:22 × unyu quits (~pyon@unaffiliated/pyon) (Quit: brb)
2021-03-31 06:20:29 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-31 06:20:50 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894)
2021-03-31 06:20:59 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-03-31 06:21:00 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-03-31 06:23:22 × malumore quits (~malumore@151.62.117.70) (Remote host closed the connection)
2021-03-31 06:24:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-03-31 06:25:21 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection)
2021-03-31 06:28:01 → egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894)
2021-03-31 06:30:46 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
←Prev  Next→
Page 1 .. 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 .. 5022

All times are in UTC.