Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004 .. 5022
— 502,152 events total
2021-03-24 02:31:38 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-03-24 02:31:39 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds)
2021-03-24 02:34:17 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 02:34:52 × codygman` quits (~user@47.186.207.161) (Ping timeout: 256 seconds)
2021-03-24 02:35:07 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 02:35:43 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 02:36:17 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 02:36:53 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 02:38:59 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-24 02:40:09 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 264 seconds)
2021-03-24 02:40:15 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 02:40:50 × __minoru__shirae quits (~shiraeesh@46.34.207.185) (Ping timeout: 264 seconds)
2021-03-24 02:41:26 × xff0x quits (~xff0x@2001:1a81:5390:3000:a737:9764:8d39:b00d) (Ping timeout: 264 seconds)
2021-03-24 02:41:38 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 02:42:02 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 02:42:54 → xff0x joins (~xff0x@2001:1a81:53b3:e900:2f67:ad37:c4b:d353)
2021-03-24 02:43:45 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-24 02:45:16 → bobweb joins (ac3a116c@172.58.17.108)
2021-03-24 02:46:57 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 02:47:14 <solidus-river> oh
2021-03-24 02:47:35 <solidus-river> well, still fun to hack at :)
2021-03-24 02:47:46 <solidus-river> monochrom, thanks!
2021-03-24 02:47:49 <bobweb> Hi. I am this problem: https://paste.tomsmeding.com/1dcB2ieh Please help me to resolve the error and pass quickBatch Applicative. Thank you.
2021-03-24 02:47:53 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 02:48:02 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Read error: Connection reset by peer)
2021-03-24 02:48:04 <monochrom> Yeah it is valuable to both write your own recursion and try to reuse a library function.
2021-03-24 02:48:44 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 02:51:35 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2021-03-24 02:52:28 <monochrom> In "instance Semigroup a => Semigroup (ZipList' a) where", what is the benefit of "Semigroup a =>"? When do you ever need it? (This is a rhetorical guiding question.)
2021-03-24 02:55:05 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 02:55:47 <bobweb> Hi monochrom: Well, I thought it necessary for (<>) (ZipList' x) (ZipList' y) = ZipList' (x <> y). But apparently that is not true! Thank you, I will now meditate on why it's not needed.
2021-03-24 02:56:39 <bobweb> Specifically this part: ZipList' (x <> y)
2021-03-24 02:57:22 → frankdmartinez joins (~frankdmar@62.182.99.65)
2021-03-24 02:57:35 <monochrom> Suppose I'm doing [1,2]<>[3,4], and the intention is merely list concatenation. The answer is [1,2,3,4], not some kind of [1<>2, 3<>4]. Therefore, emphatically I am not doing <> on the elements.
2021-03-24 02:57:36 × frankdmartinez quits (~frankdmar@62.182.99.65) (Client Quit)
2021-03-24 02:57:45 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 02:58:09 <bobweb> You rock, monochrom:
2021-03-24 02:58:30 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 02:59:41 <monochrom> OTOH, if I'm asking about [1,2] == [3,4], then in the process I will be asking about 1==2, 3==4. Therefore, I am totally doing == on the elements. This is the only reason why "Eq [a]" requires "Eq a". This is not to be cargo-culted.
2021-03-24 02:59:59 → Alleria joins (~textual@2603-7000-3040-0000-5092-5f75-2147-b80d.res6.spectrum.com)
2021-03-24 03:00:22 Alleria is now known as Guest65589
2021-03-24 03:00:29 × bobweb quits (ac3a116c@172.58.17.108) (Quit: Connection closed)
2021-03-24 03:00:33 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds)
2021-03-24 03:00:43 → bobweb joins (ac3a116c@172.58.17.108)
2021-03-24 03:00:52 × CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-03-24 03:00:58 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:03:23 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 258 seconds)
2021-03-24 03:03:33 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-03-24 03:04:50 × Guest65589 quits (~textual@2603-7000-3040-0000-5092-5f75-2147-b80d.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-03-24 03:05:11 <bobweb> monochrom: Actually, I have a better answer to your "rhetorical" question. I thought that in order for ZipList' (x <> y) to work, both x and y needed to have instances of Semigroup. Otherwise, why do I bother including the a in instance Semigroup (ZipList' a)? Can you jog my thinking with another good question maybe?
2021-03-24 03:05:34 × drbean quits (~drbean@TC210-63-209-208.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-24 03:05:40 <monochrom> What is the type of x again?
2021-03-24 03:05:53 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 245 seconds)
2021-03-24 03:06:02 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-24 03:06:16 → Tario joins (~Tario@201.192.165.173)
2021-03-24 03:06:17 <bobweb> x is polymorphic; could be anything.
2021-03-24 03:06:24 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2021-03-24 03:06:28 <monochrom> half true half false
2021-03-24 03:06:48 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:06:54 <bobweb> LOL, now that is truly a Zen answer!
2021-03-24 03:07:23 <monochrom> Here is how you could have performed a simple experiment to refute your hypothesis.
2021-03-24 03:07:47 <monochrom> Is "ZipList' False" valid? Therefore, can x have type Bool?
2021-03-24 03:07:51 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 03:08:53 <bobweb> Oh, duh. That's right! It's a list. Yup, tunnel vision, LOL. Thank you, monochrom:
2021-03-24 03:09:19 → bitmagie joins (~Thunderbi@200116b806323f00a9345f0cd31bb1ac.dip.versatel-1u1.de)
2021-03-24 03:11:18 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds)
2021-03-24 03:13:08 × GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-03-24 03:13:29 → GZJ0X_ joins (~gzj@unaffiliated/gzj)
2021-03-24 03:13:55 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-03-24 03:14:11 → slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-03-24 03:14:22 × bobweb quits (ac3a116c@172.58.17.108) (Ping timeout: 240 seconds)
2021-03-24 03:14:53 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:16:13 → stree joins (~stree@68.36.8.116)
2021-03-24 03:16:29 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 03:16:53 <slack1256> Can someone help understand this issue in ghc? https://gitlab.haskell.org/ghc/ghc/-/issues/19534 , the commenter claims there are allocations on the first core output, but I see no `let` that does that.
2021-03-24 03:20:01 <slack1256> Nevermind, I understand now.
2021-03-24 03:23:13 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:23:44 × RusAlex quits (~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer)
2021-03-24 03:24:08 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2021-03-24 03:24:40 <monochrom> This is why I add -ddump-prep in addition to -ddump-simpl. simpl is less clutter, but prep puts back all the let's that simpl doesn't care to spam you with.
2021-03-24 03:24:55 → RusAlex joins (~Chel@unaffiliated/rusalex)
2021-03-24 03:25:17 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:25:47 slack1256 saves that in his zettel
2021-03-24 03:26:07 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 03:28:18 → z0k joins (~user@115.186.169.1)
2021-03-24 03:31:52 <slack1256> Oh, that prints both, tidy-core and CorePrep !
2021-03-24 03:31:59 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:32:33 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 03:33:38 → toorevitimirp joins (~tooreviti@117.182.183.55)
2021-03-24 03:33:46 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Client Quit)
2021-03-24 03:33:47 <monochrom> In extreme cases I have -ddump-simpl -ddump-prep -ddump-opt-cmm -ddump-asm in one go.
2021-03-24 03:34:26 <monochrom> And when you do want them all, it is better to request all in one go, so the randomized variable names line up.
2021-03-24 03:34:41 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-24 03:34:55 <monochrom> And -ddump-to-file so I am not spamming stdout/err
2021-03-24 03:34:56 <slack1256> plus -ddump-to-file, otherwise my tmux will swallow some lines.
2021-03-24 03:35:04 <monochrom> Yeah that :)
2021-03-24 03:35:08 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Remote host closed the connection)
2021-03-24 03:35:12 × augnun quits (~augnun@2804:14c:658b:41bb:9d27:655f:eef9:d872) (Quit: WeeChat 3.1)
2021-03-24 03:36:27 → __minoru__shirae joins (~shiraeesh@46.34.207.185)
2021-03-24 03:40:11 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
←Prev  Next→
Page 1 .. 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004 .. 5022

All times are in UTC.