Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 661 662 663 664 665 666 667 668 669 670 671 .. 18013
— 1,801,293 events total
2021-06-26 14:04:54 × teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 268 seconds)
2021-06-26 14:09:28 → TranquilEcho joins (~grom@user/tranquilecho)
2021-06-26 14:10:20 <TheCommieDuck> so thinking out loud; if I have something like data Foo = Foo A B C D (for some product types A-D) and data Bar = Bar A C E and then data FooStore = FooStore { _a :: IntMap A, _b :: IntMap B... _z :: IntMap Z}. I can manually make something that would function as FooStore -> IntMap {Foo or Bar}, but I was wondering if there was an automagic way or if this pattern had a name..could generic-lens
2021-06-26 14:10:23 <TheCommieDuck> solve it?
2021-06-26 14:11:17 → keutoi joins (~keutoi@157.48.247.91)
2021-06-26 14:12:02 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-06-26 14:14:50 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-06-26 14:17:04 × keutoi quits (~keutoi@157.48.247.91) (Ping timeout: 265 seconds)
2021-06-26 14:17:59 → feliix42 joins (~felix@gibbs.uberspace.de)
2021-06-26 14:18:40 → keutoi joins (~keutoi@106.200.184.21)
2021-06-26 14:19:38 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da)
2021-06-26 14:20:00 <Schrostfutz> Hi, I have a problem with the following code, which should check for a given number whether it is at least 3 digits long and any of a number of predicates is true: http://sprunge.us/IetAxp?haskell. The code works, until I add the (>= 100) qualification to the last predicate. (I do it this way only for error checking, previously I tried (>= 100) `and` (<predicates>)) Now it seems to run into an endless loop, why is that?
2021-06-26 14:21:59 <dmj`> oh nvm, its reporting now
2021-06-26 14:24:18 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) (Ping timeout: 272 seconds)
2021-06-26 14:26:24 <Schrostfutz> Ah, nvm, spotted it: my function definition yielded infinite recursion
2021-06-26 14:27:10 → zebrag joins (~chris@user/zebrag)
2021-06-26 14:30:01 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-26 14:34:30 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-06-26 14:34:56 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija)
2021-06-26 14:37:49 → myShoggoth joins (~myShoggot@75.164.29.44)
2021-06-26 14:38:35 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-06-26 14:42:46 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-06-26 14:43:20 → teaSlurper joins (~chris@81.96.113.213)
2021-06-26 14:47:44 × unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.2)
2021-06-26 14:49:00 → neurocyte57 joins (~neurocyte@45.136.170.248)
2021-06-26 14:49:00 × neurocyte57 quits (~neurocyte@45.136.170.248) (Changing host)
2021-06-26 14:49:00 → neurocyte57 joins (~neurocyte@user/neurocyte)
2021-06-26 14:58:21 → mc47 joins (~mc47@xmonad/TheMC47)
2021-06-26 14:59:44 Zorgon_ is now known as Zorgon
2021-06-26 15:00:26 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-26 15:01:55 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-26 15:02:45 × GIANTWORLDKEEPER quits (~pjetcetal@2.95.227.207) (Remote host closed the connection)
2021-06-26 15:04:21 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-26 15:05:32 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-06-26 15:05:34 → bitmapper joins (uid464869@id-464869.tooting.irccloud.com)
2021-06-26 15:07:25 → GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207)
2021-06-26 15:07:47 × keutoi quits (~keutoi@106.200.184.21) (Quit: leaving)
2021-06-26 15:13:40 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-06-26 15:14:48 → machinedgod joins (~machinedg@24.105.81.50)
2021-06-26 15:15:04 × dunkeln quits (~dunkeln@188.71.193.140) (Ping timeout: 265 seconds)
2021-06-26 15:20:40 → vicfred joins (~vicfred@user/vicfred)
2021-06-26 15:22:36 × myShoggoth quits (~myShoggot@75.164.29.44) (Ping timeout: 268 seconds)
2021-06-26 15:25:08 → romes87 joins (~romes@44.190.189.46.rev.vodafone.pt)
2021-06-26 15:25:29 → noctux joins (~noctux@user/noctux)
2021-06-26 15:25:29 <romes87> hey everyone, does anyone have experience with LogicT (backtracking) ?
2021-06-26 15:28:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-06-26 15:29:26 → MorrowM joins (~MorrowM_@147.161.9.7)
2021-06-26 15:29:30 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-26 15:29:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-26 15:32:54 × Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 244 seconds)
2021-06-26 15:33:55 × noctux quits (~noctux@user/noctux) (Ping timeout: 265 seconds)
2021-06-26 15:36:53 × chisui quits (~chisui@200116b8665ca200b4ead5d4214f5a59.dip.versatel-1u1.de) (Quit: Client closed)
2021-06-26 15:43:08 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-26 15:43:51 → noctux joins (~noctux@user/noctux)
2021-06-26 15:44:34 → dunkeln_ joins (~dunkeln@188.71.193.140)
2021-06-26 15:44:53 → econo joins (uid147250@user/econo)
2021-06-26 15:47:08 → euandreh joins (~euandreh@2804:14c:33:9fe5:fe7c:a1fa:94dc:c42a)
2021-06-26 15:47:22 → Sgeo joins (~Sgeo@user/sgeo)
2021-06-26 15:49:08 × zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!)
2021-06-26 15:49:57 × teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-06-26 15:50:20 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-26 15:54:58 → teaSlurper joins (~chris@81.96.113.213)
2021-06-26 15:56:34 → spicyrice joins (~ubuntu@2600:1f11:52a:4400:ccbc:2b96:cabe:414b)
2021-06-26 15:56:42 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-26 15:57:47 → Hanicef joins (~gustaf@78-71-43-30-no260.tbcn.telia.com)
2021-06-26 15:59:29 × teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 258 seconds)
2021-06-26 16:00:30 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-06-26 16:00:49 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-26 16:01:48 → egoist joins (~egoist@186.235.82.7)
2021-06-26 16:06:07 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-06-26 16:07:09 → norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-06-26 16:12:08 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds)
2021-06-26 16:12:42 → myShoggoth joins (~myShoggot@75.164.29.44)
2021-06-26 16:12:57 → MQ-17J joins (~MQ-17J@8.21.10.15)
2021-06-26 16:14:31 × romes87 quits (~romes@44.190.189.46.rev.vodafone.pt) (Quit: Client closed)
2021-06-26 16:17:51 × xff0x quits (~xff0x@2001:1a81:5302:7b00:dba5:5569:ccc4:c781) (Ping timeout: 244 seconds)
2021-06-26 16:18:42 → xff0x joins (~xff0x@2001:1a81:5302:7b00:a26f:1df0:afaa:6dfd)
2021-06-26 16:19:34 × Schrostfutz quits (~Schrostfu@p5de88aa6.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-06-26 16:21:11 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da)
2021-06-26 16:21:28 × renzhi quits (~xp@2607:fa49:655f:a700::3902) (Quit: WeeChat 2.3)
2021-06-26 16:22:10 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.2)
2021-06-26 16:22:15 → renzhi joins (~xp@2607:fa49:655f:a700::3902)
2021-06-26 16:22:17 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-26 16:24:01 × en30 quits (~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) (Quit: Connection closed)
2021-06-26 16:25:33 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-06-26 16:25:41 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) (Ping timeout: 250 seconds)
2021-06-26 16:26:10 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-26 16:27:48 × euandreh quits (~euandreh@2804:14c:33:9fe5:fe7c:a1fa:94dc:c42a) (Quit: WeeChat 3.2)
2021-06-26 16:28:06 → euandreh joins (~euandreh@2804:14c:33:9fe5:fe7c:a1fa:94dc:c42a)
2021-06-26 16:29:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-06-26 16:29:39 × euandreh quits (~euandreh@2804:14c:33:9fe5:fe7c:a1fa:94dc:c42a) (Client Quit)
2021-06-26 16:29:59 → euandreh joins (~euandreh@2804:14c:33:9fe5:fe7c:a1fa:94dc:c42a)
2021-06-26 16:30:28 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-06-26 16:32:05 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-26 16:36:02 → dunj3 joins (~dunj3@2001:16b8:300e:4200:61ea:91d:5230:afc8)
2021-06-26 16:36:46 → Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-06-26 16:41:25 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-26 16:44:54 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 272 seconds)
2021-06-26 16:46:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-26 16:46:55 × dunkeln_ quits (~dunkeln@188.71.193.140) (Ping timeout: 250 seconds)
←Prev  Next→
Page 1 .. 661 662 663 664 665 666 667 668 669 670 671 .. 18013

All times are in UTC.