Logs: freenode/#haskell
| 2021-04-05 18:28:28 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-05 18:29:10 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 18:29:46 | × | mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 240 seconds) |
| 2021-04-05 18:30:35 | → | Sorna joins (~Sornaensi@185.192.69.50) |
| 2021-04-05 18:32:59 | × | Sornaensis quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
| 2021-04-05 18:34:19 | juri__ | is now known as juri_ |
| 2021-04-05 18:34:43 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 268 seconds) |
| 2021-04-05 18:35:17 | <wroathe> | Would someone mind explaining why GHC can't deduce (Show (t (Bar a))) in the second example here: https://gist.github.com/JustinChristensen/cdc37922ecb6eb7d385acab527fd367c? |
| 2021-04-05 18:35:57 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 268 seconds) |
| 2021-04-05 18:37:10 | <monochrom> | t (Bar a) ≠ Bar a, t (Bar a) ≠ t a |
| 2021-04-05 18:38:00 | <wroathe> | Hmm, isn't a Bar a a kind of a though? |
| 2021-04-05 18:38:33 | <glguy> | no, in that case the 'a' has already been picked by the user |
| 2021-04-05 18:38:40 | <glguy> | it some specific type that you don't get to know |
| 2021-04-05 18:38:50 | <monochrom> | "for all a" vs "the particular a of 'Foo t a'" |
| 2021-04-05 18:39:24 | <wroathe> | Right. So what would be the best way to do this then? Is manually defining a Show instance the way to go? |
| 2021-04-05 18:39:42 | <wroathe> | I essentially just want the default Show behavior |
| 2021-04-05 18:39:59 | <monochrom> | I think Show1 is involved again. |
| 2021-04-05 18:40:02 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 18:40:14 | <Tuplanolla> | It's definitely a job for `Show1`. |
| 2021-04-05 18:40:37 | <wroathe> | Ok. I'll look into that more. Thanks all! |
| 2021-04-05 18:40:54 | → | _bin joins (~bin@2600:1700:10a1:38d0:590a:8b89:3c71:b467) |
| 2021-04-05 18:40:57 | <glguy> | to do it with a derived instance you need UndecidableInstances and : deriving instance (Show (t (Bar a)), Show a) => Show (Foo t a) |
| 2021-04-05 18:41:26 | <wroathe> | glguy: Yeah, I did try that and saw the message about UndecidableInstances. I've always heard that UD instances were to be avoided though... |
| 2021-04-05 18:41:26 | × | hugo quits (znc@verdigris.lysator.liu.se) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-04-05 18:41:35 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 2021-04-05 18:41:52 | <monochrom> | Yes some people fearmonger against that. |
| 2021-04-05 18:42:09 | <glguy> | wroathe: the risk is you could use the instance wrong and cause compilation not to terminate |
| 2021-04-05 18:42:14 | <wroathe> | But it sounds like Show1 would be preferable here regardless |
| 2021-04-05 18:42:21 | <glguy> | but for the normal cases that instance would work fine |
| 2021-04-05 18:42:56 | <Tuplanolla> | There are Template Haskell support libraries to generate `Show1` instances. |
| 2021-04-05 18:44:41 | <wroathe> | Do you guys have any good resources that explain GHC's instance resolution algorithm in detail? |
| 2021-04-05 18:45:03 | <Tuplanolla> | Does the user guide? |
| 2021-04-05 18:45:09 | → | doraemon joins (~doraemon@117.222.66.254) |
| 2021-04-05 18:46:42 | <wroathe> | I think it does have some sections on it, but I sometimes find the user guide to be a little terse, and so I figured some supplementary material would be good to review also. |
| 2021-04-05 18:47:14 | <monochrom> | The Haskell Report is a start for the standard one. "typing haskell in haskell" https://web.cecs.pdx.edu/~mpj/thih/ formalizes it further. |
| 2021-04-05 18:47:39 | <monochrom> | That's for the extensionless one. For each extension, GHC user's guide. |
| 2021-04-05 18:48:01 | <wroathe> | monochrom: Thanks! :) |
| 2021-04-05 18:48:18 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-05 18:49:46 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 240 seconds) |
| 2021-04-05 18:49:49 | × | doraemon quits (~doraemon@117.222.66.254) (Quit: leaving) |
| 2021-04-05 18:50:26 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-05 18:50:37 | × | conal quits (~conal@192.145.118.164) (Quit: Computer has gone to sleep.) |
| 2021-04-05 18:50:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-05 18:53:46 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 2021-04-05 18:53:57 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-05 18:54:04 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-05 18:54:20 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 18:56:45 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-05 18:56:52 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.44) |
| 2021-04-05 18:57:07 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2021-04-05 18:57:08 | → | conal_ joins (~conal@192.145.116.173) |
| 2021-04-05 18:57:51 | × | __minoru__shirae quits (~shiraeesh@5.101.59.244) (Ping timeout: 260 seconds) |
| 2021-04-05 18:58:33 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 2021-04-05 19:00:11 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 260 seconds) |
| 2021-04-05 19:00:57 | × | kuribas quits (~user@ptr-25vy0ia1sgpd4zeerw2.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-05 19:01:46 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-04-05 19:03:36 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-04-05 19:03:48 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 19:04:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-05 19:05:01 | → | ystael joins (~ystael@130.sub-174-196-210.myvzw.com) |
| 2021-04-05 19:06:40 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-05 19:06:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-04-05 19:08:31 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-05 19:08:42 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-04-05 19:09:14 | → | rosterok joins (uid236576@gateway/web/irccloud.com/x-rwvwjsgikbgkbaif) |
| 2021-04-05 19:09:28 | × | miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Remote host closed the connection) |
| 2021-04-05 19:09:45 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-05 19:10:37 | → | miklcct joins (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) |
| 2021-04-05 19:10:41 | × | guest1135811 quits (~username@185.234.208.208.r.toneticgroup.pl) (Ping timeout: 240 seconds) |
| 2021-04-05 19:11:49 | × | connrs quits (~connrs@connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-05 19:12:33 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-05 19:12:53 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-04-05 19:13:35 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-05 19:14:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-05 19:15:50 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 2021-04-05 19:16:33 | → | connrs joins (~connrs@connolley.uk) |
| 2021-04-05 19:16:59 | × | connrs quits (~connrs@connolley.uk) (Client Quit) |
| 2021-04-05 19:19:23 | × | average quits (uid473595@gateway/web/irccloud.com/x-pubgooousggoddvz) (Quit: Connection closed for inactivity) |
| 2021-04-05 19:19:49 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-05 19:21:42 | → | aerona joins (~aerona@2600:6c54:4600:f300:3cfc:ae1:3be3:38e1) |
| 2021-04-05 19:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-05 19:25:57 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 19:25:58 | → | connrs joins (~connrs@connolley.uk) |
| 2021-04-05 19:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 2021-04-05 19:29:47 | <tomsmeding> | shapr | geekosaur: fair enough, I just want "last active" |
| 2021-04-05 19:29:48 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-05 19:30:00 | <tomsmeding> | shapr: I guess ircbrowse has the information to answer such a query |
| 2021-04-05 19:30:13 | <geekosaur> | for the 2 channels it's in |
| 2021-04-05 19:30:13 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 19:30:30 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-05 19:30:36 | <tomsmeding> | heh lol true |
| 2021-04-05 19:33:38 | <tomsmeding> | the information shouldn't take all that much memory though; the sum of the lengths of all nicks seen in #haskell and #xmonad in the past couple months is 3.3 million |
| 2021-04-05 19:33:51 | <shapr> | int-e: have you seen the recent GRIN optimizer work? |
| 2021-04-05 19:33:52 | <tomsmeding> | at 8507 distinct nicks |
| 2021-04-05 19:34:18 | <shapr> | int-e: specifically https://grin-compiler.github.io/ |
| 2021-04-05 19:34:34 | <shapr> | I read Urban Boquist's thesis and really enjoyed it, but he never responded to email questions :-( |
| 2021-04-05 19:35:00 | → | gtk joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-05 19:35:33 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-05 19:36:34 | <monochrom> | But don't forget that GHC multiplies memory footprint by 10 to 100. >:) |
| 2021-04-05 19:36:40 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
All times are in UTC.