Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 811 812 813 814 815 816 817 818 819 820 821 .. 18023
— 1,802,241 events total
2021-07-05 19:24:17 → Deide joins (~Deide@user/deide)
2021-07-05 19:24:53 × blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2021-07-05 19:25:28 × w-spc-gir quits (~w-spc-gir@2601:205:4003:b040:45b5:d515:fada:ba47) (Read error: Connection reset by peer)
2021-07-05 19:26:42 × warnz quits (~warnz@2600:1700:77c0:5610:20b2:48fc:c4b7:f8df) (Remote host closed the connection)
2021-07-05 19:27:46 → w-spc-gir joins (~w-spc-gir@2601:205:4003:b040:45b5:d515:fada:ba47)
2021-07-05 19:29:12 → Core9938 joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
2021-07-05 19:29:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-07-05 19:31:52 → fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca)
2021-07-05 19:32:02 × w-spc-gir quits (~w-spc-gir@2601:205:4003:b040:45b5:d515:fada:ba47) (Ping timeout: 252 seconds)
2021-07-05 19:32:07 × Core9938 quits (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937) (Read error: Connection reset by peer)
2021-07-05 19:37:45 → cheater joins (~Username@user/cheater)
2021-07-05 19:38:56 × fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
2021-07-05 19:39:48 → w-spc-gir joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
2021-07-05 19:40:27 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-07-05 19:40:50 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
2021-07-05 19:41:26 × w-spc-gir quits (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937) (Read error: Connection reset by peer)
2021-07-05 19:43:33 × fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer)
2021-07-05 19:44:49 × neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Quit: Leaving)
2021-07-05 19:45:47 <dsal> chris-the-slurpa: "simulate private functions" is a weird way to say something. It's not simulating anything. Symbols may be exported for reuse in other modules, or stuck in a let or where clause and available in multiple places in a single function, or even unnamed and not reusable.
2021-07-05 19:46:01 <dsal> Depending on your goals, there are lots of ways to make functionality unavailable.
2021-07-05 19:46:36 → w-spc-gir joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
2021-07-05 19:46:39 <c_wraith> in other words: you don't need a "private" keyword to make a symbol not usable outside of a particular context
2021-07-05 19:46:41 × w-spc-gir quits (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937) (Read error: Connection reset by peer)
2021-07-05 19:47:03 → timCF joins (~timCF@m91-129-103-49.cust.tele2.ee)
2021-07-05 19:47:13 × whiteline quits (~whiteline@c-cda8d954.54725-0-757473696b74.bbcust.telenor.se) (K-Lined)
2021-07-05 19:47:21 → lavaman joins (~lavaman@98.38.249.169)
2021-07-05 19:47:38 <maerwald> that would be a neat GHC extension though
2021-07-05 19:47:54 <maerwald> I'd prefer it over explicit export lists
2021-07-05 19:48:44 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-07-05 19:49:08 <chris-the-slurpa> dsal: ye thanks
2021-07-05 19:50:51 → fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-07-05 19:51:50 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-07-05 19:52:21 × MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
2021-07-05 19:54:04 × neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 246 seconds)
2021-07-05 19:54:10 → amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-07-05 19:55:37 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-05 19:56:23 → zebrag joins (~chris@user/zebrag)
2021-07-05 19:56:41 → w-spc-gir joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
2021-07-05 19:56:43 × w-spc-gir quits (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937) (Read error: Connection reset by peer)
2021-07-05 19:58:00 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-07-05 20:02:41 × dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1)
2021-07-05 20:03:00 → jneira_ joins (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net)
2021-07-05 20:04:05 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-05 20:05:09 × juhp quits (~juhp@128.106.188.66) (Ping timeout: 252 seconds)
2021-07-05 20:06:42 → juhp joins (~juhp@128.106.188.66)
2021-07-05 20:07:55 → hseg joins (~gesh@185.120.126.10)
2021-07-05 20:09:13 → Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2021-07-05 20:09:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-05 20:10:19 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-05 20:10:26 → Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-05 20:11:11 → wootehfoot joins (~wootehfoo@user/wootehfoot)
2021-07-05 20:11:57 → w-spc-gir joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
2021-07-05 20:12:24 <hseg> re the fact that SetContainer isn't derivable, just noticed that the default implementation of unions typechecks
2021-07-05 20:12:34 × Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds)
2021-07-05 20:12:46 <hseg> so in fact the problem is that DerivingVia tries to coerce *everything*
2021-07-05 20:12:55 <hseg> even when not coercing would've worked
2021-07-05 20:13:39 <hseg> (reminder: the problem with SetContainer (from mono-traversable) is that unions :: (MonoFoldable m, Element m ~ s) => m -> s
2021-07-05 20:13:51 × w-spc-gir quits (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937) (Read error: Connection reset by peer)
2021-07-05 20:14:21 <hseg> and Coercible s s', while it can take care of (m -> s ~ m -> s'), cannot turn Element m ~ s into Element m ~ s'
2021-07-05 20:14:23 <hseg> )
2021-07-05 20:18:01 o is now known as niko
2021-07-05 20:19:42 × xff0x quits (~xff0x@2001:1a81:5326:300:76d0:4869:6e32:a9fa) (Ping timeout: 256 seconds)
2021-07-05 20:19:59 → xff0x joins (~xff0x@185.65.135.235)
2021-07-05 20:20:18 → hammock joins (~Hammock@2600:1700:19a1:3330::625)
2021-07-05 20:21:21 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-07-05 20:21:32 × chddr quits (~Thunderbi@91.226.35.178) (Ping timeout: 252 seconds)
2021-07-05 20:23:15 <janus> Aaron Stump is talking about module systems on his podcast recently
2021-07-05 20:24:04 <janus> he already did one on the haskell system but he didn't really focus on the explicit export lists
2021-07-05 20:25:14 <janus> but maybe this is more of a software engineering concern and won't be interesting to an academic
2021-07-05 20:25:46 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 240 seconds)
2021-07-05 20:25:52 → o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt)
2021-07-05 20:26:39 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-05 20:26:58 × xff0x quits (~xff0x@185.65.135.235) (Ping timeout: 240 seconds)
2021-07-05 20:28:22 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 246 seconds)
2021-07-05 20:29:03 → w-spc-gir joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
2021-07-05 20:29:09 × w-spc-gir quits (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937) (Read error: Connection reset by peer)
2021-07-05 20:29:09 → xff0x joins (~xff0x@2001:1a81:5326:300:76d0:4869:6e32:a9fa)
2021-07-05 20:30:32 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-05 20:30:53 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-05 20:31:05 → lavaman joins (~lavaman@98.38.249.169)
2021-07-05 20:32:06 × LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds)
2021-07-05 20:34:48 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-07-05 20:35:39 × rawles quits (~o@user/rawles) (Quit: -)
2021-07-05 20:35:50 → rawles joins (~o@user/rawles)
2021-07-05 20:36:23 → LukeHoersten joins (~LukeHoers@user/lukehoersten)
2021-07-05 20:37:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-05 20:38:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-05 20:38:59 catern- is now known as catern
2021-07-05 20:39:05 × s_ quits (~s@50.34.81.185) (Quit: Leaving)
2021-07-05 20:41:20 × Chobbes quits (~Chobbes@user/chobbes) (Ping timeout: 252 seconds)
2021-07-05 20:42:59 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-05 20:44:10 → w-spc-gir joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
2021-07-05 20:44:12 × w-spc-gir quits (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937) (Read error: Connection reset by peer)
2021-07-05 20:46:52 × lemmih quits (~lemmih@2406:3003:2072:44:5d:3e69:de9c:e320) (Remote host closed the connection)
2021-07-05 20:47:15 → lemmih joins (~lemmih@2406:3003:2072:44:5d:3e69:de9c:e320)
2021-07-05 20:47:27 → acidjnk_new joins (~acidjnk@p200300d0c72b9556fc4d5c290a2b1a2d.dip0.t-ipconnect.de)
2021-07-05 20:49:22 → s_ joins (~s@50.34.81.185)
2021-07-05 20:53:46 × dunkeln quits (~dunkeln@188.71.194.238) (Ping timeout: 240 seconds)
2021-07-05 20:57:25 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
2021-07-05 20:59:25 → w-spc-gir joins (~w-spc-gir@2600:380:457b:6f3b:fdcb:bc71:d549:b937)
←Prev  Next→
Page 1 .. 811 812 813 814 815 816 817 818 819 820 821 .. 18023

All times are in UTC.