Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 .. 18038
— 1,803,782 events total
2021-07-29 10:48:57 → lwe[m] joins (~dendrumat@2001:470:69fc:105::2f9b)
2021-07-29 10:48:57 → inkbottle[m] joins (~inkbottle@2001:470:69fc:105::2ff5)
2021-07-29 10:48:57 → reza[m] joins (~rezaphone@2001:470:69fc:105::3eda)
2021-07-29 10:48:57 → marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8)
2021-07-29 10:48:57 → hsiktas[m] joins (~hsiktasma@2001:470:69fc:105::30d4)
2021-07-29 10:48:57 → boxscape joins (~boxscape@user/boxscape)
2021-07-29 10:48:57 → infinisil joins (~infinisil@2001:470:69fc:105::ff8)
2021-07-29 10:48:57 → Orbstheorem joins (~orbstheor@2001:470:69fc:105::a56)
2021-07-29 10:48:57 → jkachmar joins (~jkachmar@2001:470:69fc:105::c72d)
2021-07-29 10:48:57 → Tisoxin joins (~ikosit@user/ikosit)
2021-07-29 10:48:57 → Deide joins (~deide@user/deide)
2021-07-29 10:48:57 → smichel17[m] joins (~smichel17@2001:470:69fc:105::2d32)
2021-07-29 10:48:57 → polykernel joins (~polykerne@user/polykernel)
2021-07-29 10:48:57 → srid[m] joins (~sridmatri@2001:470:69fc:105::1c2)
2021-07-29 10:48:57 → hughjfchen[m] joins (~hughjfche@2001:470:69fc:105::c29d)
2021-07-29 10:48:57 → OndejSkup[m] joins (~mimivxmat@2001:470:69fc:105::c300)
2021-07-29 10:48:57 → kar1[m] joins (~kar1matri@2001:470:69fc:105::c308)
2021-07-29 10:48:57 → alexfmpe[m] joins (~alexfmpem@2001:470:69fc:105::38ba)
2021-07-29 10:48:57 → ormaaj joins (~ormaaj@user/ormaaj)
2021-07-29 10:48:57 → andreabedini[m] joins (~andreabed@2001:470:69fc:105::c821)
2021-07-29 10:49:07 → dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7)
2021-07-29 10:49:07 → jchia[m] joins (~jchiamatr@2001:470:69fc:105::c50b)
2021-07-29 10:49:07 → Morrow[m] joins (~morrowmma@2001:470:69fc:105::1d0)
2021-07-29 10:49:08 → dminuoso[m] joins (~dminuosom@2001:470:69fc:105::33bb)
2021-07-29 10:49:08 → Ollie[m] joins (~ollieocha@2001:470:69fc:105::41a5)
2021-07-29 10:49:08 → yin[m] joins (~zwromatri@2001:470:69fc:105::1d4)
2021-07-29 10:49:08 → SimonWeiss[m] joins (~weiss-dma@2001:470:69fc:105::bebd)
2021-07-29 10:49:08 → jellz[m] joins (~jellzmatr@2001:470:69fc:105::2daa)
2021-07-29 10:49:08 → RohitGoswami[m] joins (~rgoswamim@2001:470:69fc:105::16cc)
2021-07-29 10:49:08 → Drezil joins (~drezilkif@2001:470:69fc:105::7f8)
2021-07-29 10:49:08 → wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae)
2021-07-29 10:49:08 → adziahel[m] joins (~adziahelm@2001:470:69fc:105::b4d)
2021-07-29 10:49:08 → Soft joins (~soft-matr@2001:470:69fc:105::c75)
2021-07-29 10:49:08 → kosmikus[m] joins (~andresloe@2001:470:69fc:105::95d)
2021-07-29 10:49:08 → autrim64[m] joins (~autrim64m@2001:470:69fc:105::16a1)
2021-07-29 10:49:09 → drewefenwick[m] joins (~drewefenw@2001:470:69fc:105::c8c4)
2021-07-29 10:49:09 → ecameron[m] joins (~ecameronm@2001:470:69fc:105::35df)
2021-07-29 10:49:09 → octeep[m] joins (~octeepmoc@2001:470:69fc:105::695e)
2021-07-29 10:49:09 → CyrusT[m] joins (~cyrustcru@2001:470:69fc:105::306e)
2021-07-29 10:49:09 → justosophy[m] joins (~justosoph@2001:470:69fc:105::572f)
2021-07-29 10:49:09 → aveltras[m] joins (~aveltrasm@2001:470:69fc:105::3ef9)
2021-07-29 10:49:09 → afotgkmnzj7asv3r joins (~afotgkmnz@2001:470:69fc:105::c24b)
2021-07-29 10:49:09 → deuslambda[m] joins (~deuslambd@2001:470:69fc:105::c749)
2021-07-29 10:49:09 → fakehacker[m] joins (~fakehacke@2001:470:69fc:105::b5f0)
2021-07-29 10:49:09 → vbeatrice[m] joins (~vbeatrice@2001:470:69fc:105::3ebf)
2021-07-29 10:49:10 → oak- joins (~oakuniver@2001:470:69fc:105::fcd)
2021-07-29 10:49:10 → Sylveon joins (~sylveonma@2001:470:69fc:105::2d95)
2021-07-29 10:49:32 → michalz joins (~michalz@185.246.204.62)
2021-07-29 10:49:33 Sylveon is now known as Guest2540
2021-07-29 10:49:48 → thonkpod joins (~thonkpod@user/thonkpod)
2021-07-29 10:50:07 → xkuru joins (~xkuru@user/xkuru)
2021-07-29 10:51:20 × Obo quits (~roberto@79.red-79-153-119.dynamicip.rima-tde.net) (Ping timeout: 250 seconds)
2021-07-29 10:51:26 × xkuru quits (~xkuru@user/xkuru) (Client Quit)
2021-07-29 10:52:32 → Deide1 joins (~Deide@217.155.19.23)
2021-07-29 10:52:39 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-07-29 10:53:08 → Obo joins (~roberto@94.191.137.235.mobile.tre.se)
2021-07-29 10:54:48 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-29 10:56:11 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-29 10:56:40 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:956a:ab48:7c29:9877) (Ping timeout: 272 seconds)
2021-07-29 11:01:14 × Deide1 quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-07-29 11:01:35 × fluffyballoon quits (~fluffybal@pat-verona-h.epic.com) (Quit: Client closed)
2021-07-29 11:01:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-29 11:01:56 → fluffyballoon joins (~fluffybal@pat-verona-h.epic.com)
2021-07-29 11:01:58 × burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-29 11:02:08 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-29 11:04:21 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-07-29 11:07:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-29 11:07:22 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-29 11:07:32 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-29 11:07:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-29 11:13:30 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-29 11:13:45 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-29 11:15:48 → ubert joins (~Thunderbi@178.165.190.122.wireless.dyn.drei.com)
2021-07-29 11:18:02 × favonia quits (~favonia@user/favonia) (Ping timeout: 258 seconds)
2021-07-29 11:20:40 → burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-07-29 11:24:28 → turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-07-29 11:24:28 × turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-07-29 11:24:28 → turlando joins (~turlando@user/turlando)
2021-07-29 11:25:44 × burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-29 11:26:21 <merijn> hmm, any suggestions on how to best represent a case of "0, 1, or 2" args for a function?
2021-07-29 11:27:08 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:d518:334f:85c4:8d2d)
2021-07-29 11:27:47 → pesada joins (~agua@2804:14c:8793:8e2f:3944:8017:7f63:8e28)
2021-07-29 11:28:32 <sshine> merijn, data Args a b = Args { argsOne :: Maybe a, argsTwo :: Maybe b }?
2021-07-29 11:29:23 <sm> maerwald: congrats on the ghcup release!
2021-07-29 11:29:27 <sshine> merijn, i.e. Data.These
2021-07-29 11:30:16 → ikex1 joins (~ash@user/ikex)
2021-07-29 11:30:21 <maerwald> sm: thanks
2021-07-29 11:30:29 <sshine> oh, data These a b = This a | That b | These a b. I guess that's more canonical. :)
2021-07-29 11:30:30 × agua quits (~agua@2804:18:40:39f8:1:0:64c7:dff1) (Ping timeout: 256 seconds)
2021-07-29 11:30:30 × ikex quits (~ash@user/ikex) (Ping timeout: 256 seconds)
2021-07-29 11:30:48 <sm> maerwald: I think a better answer needs to be found for that good question at https://www.reddit.com/r/haskell/comments/ottx21/ann_ghcup01161_released
2021-07-29 11:30:56 <merijn> These doesn't cover 0 arguments case, though
2021-07-29 11:30:56 ikex1 is now known as ikex
2021-07-29 11:31:03 <merijn> At least, not nicely
2021-07-29 11:31:41 <sm> (the current answer sounds like a bunch of negatives, it doesn't motivate)
2021-07-29 11:31:42 <sshine> merijn, but another interpretation is Maybe (a, Maybe b)
2021-07-29 11:31:46 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-29 11:32:14 <maerwald> sm: what do you propose?
2021-07-29 11:32:15 → fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-29 11:32:28 <merijn> sshine: In my case it's just representing a commandline that takes 0, 1, or 2 paths and I'm trying to avoid adding separate constructors for each case
←Prev  Next→
Page 1 .. 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 .. 18038

All times are in UTC.