Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 455 456 457 458 459 460 461 462 463 464 465 .. 17999
— 1,799,880 events total
2021-06-14 13:23:23 <Hecate> (*raison) (krkrkrkr)
2021-06-14 13:23:32 <Hecate> am grape! <- raisin d'être
2021-06-14 13:23:33 <nshepperd2> raisins only
2021-06-14 13:24:32 <nshepperd2> if you're gonna have a proxy argument you might as well just 'catch' directly
2021-06-14 13:24:44 <Hecate> or just use type applications
2021-06-14 13:24:51 <nshepperd2> since at least 'catch' makes it impossible to mix the arguments up
2021-06-14 13:25:41 <nshepperd2> from a convenience POV, `forall e a. Exception e => a -> IO a -> IO a` is probably optimal
2021-06-14 13:26:16 <Obo> Hi, n00b question, I am getting an incomplete pattern warning, what am I missing? https://paste.tomsmeding.com/sF831ybx
2021-06-14 13:26:36 <nshepperd2> (the first argument is pure `a` so it's obviously the default, and can't be confused with the other argument)
2021-06-14 13:26:48 <Obo> s/treeI1nsert/treeInsert/ in paste
2021-06-14 13:27:12 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-14 13:29:04 <larryba> I like that version, listDirectorySafe path = defaultIfException @IOError [] (listDirectory path)
2021-06-14 13:29:17 <larryba> what would the proxy e call look like?
2021-06-14 13:29:36 → fizbin joins (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26)
2021-06-14 13:29:39 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-06-14 13:29:40 <DigitalKiwi> flipchan: note that "haskell.careers is live and you've been waiting (im)patiently for hecate' kommissar for ~2 years" would probably score a few points
2021-06-14 13:30:12 × haskman quits (~haskman@171.61.149.211) (Quit: Going to sleep. ZZZzzz…)
2021-06-14 13:30:33 → reumeth joins (~reumeth@user/reumeth)
2021-06-14 13:32:55 <janus> what's kommissar? an eastern german police officer?
2021-06-14 13:33:30 <janus> or is it "commission" (payment) ?
2021-06-14 13:34:08 × fizbin quits (~fizbin@2601:8a:4080:1280:8c7e:5b3f:79d6:ec26) (Ping timeout: 252 seconds)
2021-06-14 13:34:18 <nshepperd2> a high ranking soviet functionary
2021-06-14 13:34:32 → argento joins (~argent0@168-227-96-51.ptr.westnet.com.ar)
2021-06-14 13:34:49 <merijn> Obo: The compiler isn't smart enough to see that your 3 guards cover all possible cases
2021-06-14 13:34:51 <Hecate> janus: a CRM for commission workers that I planned on developing a couple of years ago
2021-06-14 13:34:57 <Hecate> never lived though
2021-06-14 13:35:05 <merijn> Obo: If you replace the final guard with "otherwise" the warning will go away
2021-06-14 13:35:06 <janus> nshepperd2: :O did not know that Hecate had the power to dispatch those from their graves
2021-06-14 13:35:18 <Hecate> ;-D
2021-06-14 13:35:38 <Obo> merijn: thanks :D
2021-06-14 13:35:54 → nsilv joins (~nsilv@212.103.198.210)
2021-06-14 13:36:08 <merijn> Obo: Basically, deciding if arbitrary boolean expressions cover all possible cases is...a non-trivial problem to put it mildly ;)
2021-06-14 13:36:09 <DigitalKiwi> janus: i wrote a time tracking program called (uncle) tito so Hecate had to outdo me
2021-06-14 13:36:15 janus is trying to resist pretending not to understand what CRM is :P
2021-06-14 13:36:24 <Hecate> janus: hehehe
2021-06-14 13:36:32 <merijn> Obo: So the compiler just checks "do you have a catch-all branch?" (otherwise is just a synonym for True)
2021-06-14 13:36:44 janus still always sees Crew Resource Management. read too many airplane crash reports :(
2021-06-14 13:38:16 <larryba> how do I check if operation failed with InvalidArgument? for some other failures there are is* functions that accept IOError https://hackage.haskell.org/package/directory-1.3.6.2/docs/System-Directory.html#v:listDirectory
2021-06-14 13:39:54 × raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-06-14 13:40:39 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-14 13:40:56 <Obo> merijn: I see. Thank you for the detailed explanation
2021-06-14 13:45:26 → ddellacosta joins (~ddellacos@89.45.224.126)
2021-06-14 13:45:31 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:c6a2:6b31:b38d:d90c) (Quit: WeeChat 2.8)
2021-06-14 13:47:16 × fluffyballoon quits (~fluffybal@2620:72:0:6480::10f7) (Ping timeout: 250 seconds)
2021-06-14 13:47:47 × flipchan quits (~filip@user/flipchan) (Ping timeout: 244 seconds)
2021-06-14 13:49:36 × kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Ping timeout: 272 seconds)
2021-06-14 13:50:17 × ddellacosta quits (~ddellacos@89.45.224.126) (Ping timeout: 272 seconds)
2021-06-14 13:50:33 × hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1)
2021-06-14 13:50:42 → kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-06-14 13:50:58 → hendursaga joins (~weechat@user/hendursaga)
2021-06-14 13:52:02 → kspalaiologos joins (~kspalaiol@user/kspalaiologos)
2021-06-14 13:53:57 → warnz joins (~warnz@2600:1700:77c0:5610:210a:ba95:5325:60a6)
2021-06-14 13:55:40 → tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-06-14 13:57:02 → yd502 joins (~yd502@2409:891e:320:209e:f07d:9f0f:e489:cc37)
2021-06-14 13:57:12 × nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 272 seconds)
2021-06-14 13:57:52 → nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-06-14 13:58:58 × cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 244 seconds)
2021-06-14 13:58:58 × oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 244 seconds)
2021-06-14 13:58:59 × cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Ping timeout: 244 seconds)
2021-06-14 13:58:59 × unrooted quits (~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 244 seconds)
2021-06-14 13:58:59 × srid[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 244 seconds)
2021-06-14 13:58:59 × peddie quits (~peddie@2001:470:69fc:105::25d) (Ping timeout: 244 seconds)
2021-06-14 13:58:59 × kadoban quits (~kadoban@user/kadoban) (Ping timeout: 244 seconds)
2021-06-14 13:58:59 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Ping timeout: 244 seconds)
2021-06-14 13:58:59 × zfnmxt quits (~zfnmxtzfn@user/zfnmxt) (Read error: Connection reset by peer)
2021-06-14 13:59:00 × unclechu quits (~unclechu@2001:470:69fc:105::354) (Read error: Connection reset by peer)
2021-06-14 13:59:00 × psydroid quits (~psydroidm@2001:470:69fc:105::165) (Read error: Connection reset by peer)
2021-06-14 13:59:00 × the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Read error: Connection reset by peer)
2021-06-14 13:59:00 × maralorn quits (~maralorn@2001:470:69fc:105::251) (Read error: Connection reset by peer)
2021-06-14 13:59:00 × thedward[m] quits (~thedwardm@2001:470:69fc:105::f79) (Read error: Connection reset by peer)
2021-06-14 13:59:00 × ac quits (~aloiscoch@2001:470:69fc:105::65) (Read error: Connection reset by peer)
2021-06-14 13:59:00 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Read error: Connection reset by peer)
2021-06-14 13:59:04 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Read error: Connection reset by peer)
2021-06-14 13:59:04 × carmysilna quits (~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer)
2021-06-14 13:59:04 × Las[m] quits (~lasmatrix@2001:470:69fc:105::74e) (Read error: Connection reset by peer)
2021-06-14 13:59:04 × jophish quits (~jophish@2001:470:69fc:105::670) (Read error: Connection reset by peer)
2021-06-14 13:59:04 × bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × sm[m] quits (~sm@plaintextaccounting/sm) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × fgaz quits (~fgaz@2001:470:69fc:105::842) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × eddiemundo quits (~eddiemund@2001:470:69fc:105::a9c) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × siraben quits (~siraben@user/siraben) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × jakefromstatefar quits (~jakefroms@2001:470:69fc:105::15ef) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × tomferon[m] quits (~tomferon@2001:470:69fc:105::268) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × bitonic quits (~bitonic@2001:470:69fc:105::1812) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × yin[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × RohitGoswami[m] quits (~rgoswamim@2001:470:69fc:105::16cc) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × amesgen[m] quits (~amesgenam@2001:470:69fc:105::82b) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × Drezil quits (~drezilkif@2001:470:69fc:105::7f8) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × wallymathieu[m] quits (~wallymath@2001:470:69fc:105::16ae) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × dualinverter[m] quits (~dualinver@2001:470:69fc:105::16a7) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Read error: Connection reset by peer)
2021-06-14 13:59:05 × bryan[m] quits (~bchreekat@2001:470:69fc:105::16b5) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 455 456 457 458 459 460 461 462 463 464 465 .. 17999

All times are in UTC.