Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 876 877 878 879 880 881 882 883 884 885 886 .. 5022
— 502,152 events total
2020-10-26 18:20:10 <hyperisco> maybe by 2030 we will make buttons look like buttons again, who knows
2020-10-26 18:20:44 <monsterchrom> And this rare improvement happened to the monad chapter. That useless story was totally deleted.
2020-10-26 18:21:20 <hyperisco> maybe you have to click a link every year that is emailed to you to keep your revision alive :P
2020-10-26 18:21:26 <monsterchrom> It was at least 100 lines.
2020-10-26 18:22:25 × knupfer quits (~Thunderbi@200116b82c2f8c008ca36b557e5dd149.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-26 18:22:44 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-26 18:24:08 → ericsagnes joins (~ericsagne@2405:6580:0:5100:114f:43d0:b789:ca68)
2020-10-26 18:27:02 → knupfer joins (~Thunderbi@i59F7FFDF.versanet.de)
2020-10-26 18:27:03 × ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-26 18:27:53 × asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-10-26 18:28:54 <motte> hi, is there a function for something like [(a, Either b c)] -> Either b [(a, c)]"
2020-10-26 18:29:18 → britva joins (~britva@2a02:aa13:7240:2980:b0bb:4de0:a28f:1dc2)
2020-10-26 18:29:49 <dminuoso> motte: traverse
2020-10-26 18:30:32 <dminuoso> Amusingly, since `(,) a` is a Traversable as well, you can just go `traverse . traverse`
2020-10-26 18:31:01 × britva quits (~britva@2a02:aa13:7240:2980:b0bb:4de0:a28f:1dc2) (Client Quit)
2020-10-26 18:31:01 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-26 18:31:11 <motte> oh wow
2020-10-26 18:31:16 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-26 18:31:16 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-26 18:31:16 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-26 18:31:18 <Uniaika> monsterchrom: oh yeah I understand you
2020-10-26 18:31:25 <motte> dminuoso: thanks
2020-10-26 18:31:43 <Uniaika> motte: read this https://clementd-files.cellar-c2.services.clever-cloud.com/lambdalille-traverse.html#1
2020-10-26 18:32:01 <ghoulguy> :t traverse sequence :: [(a, Either b c)] -> Either b [(a,c)]
2020-10-26 18:32:02 <lambdabot> [(a, Either b c)] -> Either b [(a, c)]
2020-10-26 18:32:09 <dminuoso> motte: (Well or rather, for that *particular* type signature it'd be sequence rather, but it's probable that you're fmapping before, so look into using traverse instead.
2020-10-26 18:32:20 <dminuoso> (Every time you see sequence, there
2020-10-26 18:32:28 <dminuoso> (Every time you see sequence, there's a high probability a traverse is missing somewhere)
2020-10-26 18:34:06 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-10-26 18:34:25 <monsterchrom> Haha, one of the rare moments when "instance Traverable ((,) a)" makes sense, and by logical conclusion, "instance Foldable ((,) a)" makes sense. :)
2020-10-26 18:34:44 <dminuoso> The Foldable instance Im still not so sure about
2020-10-26 18:34:50 × POGtastic quits (~POGtastic@2601:1c0:6000:fe1:b424:b773:d69:762d) (Quit: WeeChat 2.9)
2020-10-26 18:35:43 × knupfer quits (~Thunderbi@i59F7FFDF.versanet.de) (Ping timeout: 246 seconds)
2020-10-26 18:36:57 <hyperisco> another victory for functional programming
2020-10-26 18:38:33 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-26 18:39:02 × p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-26 18:39:57 <monsterchrom> Well, if you accept a Traversable instance, you're pretty much forced to accept unwillingly the Foldable instance too :)
2020-10-26 18:40:09 <monsterchrom> I mean >:)
2020-10-26 18:40:24 <dminuoso> heh true
2020-10-26 18:40:46 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-26 18:40:58 <monsterchrom> a "small" price to pay for the greater good
2020-10-26 18:41:55 → irc_user joins (uid423822@gateway/web/irccloud.com/x-yxcjlirterftraqc)
2020-10-26 18:46:17 × nkly quits (~nkly@2a02:8109:9a80:a74:201:2eff:fe81:c6dd) (Ping timeout: 260 seconds)
2020-10-26 18:46:51 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-26 18:48:29 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-26 18:51:02 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-10-26 18:52:54 × crestfallen quits (~John@135-180-15-188.fiber.dynamic.sonic.net) (Remote host closed the connection)
2020-10-26 18:53:56 → DrGuschtel joins (~DrGuschte@84.39.116.180)
2020-10-26 18:54:43 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-26 18:55:22 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-26 18:55:25 × fendor__ quits (~fendor@078132040188.public.t-mobile.at) (Remote host closed the connection)
2020-10-26 18:56:14 → jemurray joins (~jemurray@shell.jasonmurray.org)
2020-10-26 18:56:21 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-26 18:56:40 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-26 18:56:41 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-26 18:56:41 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-26 18:59:27 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-26 19:00:21 → texasmynsted joins (~texasmyns@99.96.221.112)
2020-10-26 19:00:45 <tomsmeding> merijn: ALE+ghcide works so well I now write overly generic code, and it's your fault
2020-10-26 19:01:13 → mbomba joins (~mbomba@142.114.9.241)
2020-10-26 19:02:30 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-10-26 19:03:28 × texasmynsted quits (~texasmyns@99.96.221.112) (Remote host closed the connection)
2020-10-26 19:03:28 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 272 seconds)
2020-10-26 19:03:28 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-26 19:04:25 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds)
2020-10-26 19:04:42 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-26 19:09:10 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-26 19:09:32 × bliminse quits (~bliminse@host109-158-26-29.range109-158.btcentralplus.com) (Quit: leaving)
2020-10-26 19:10:59 → bliminse joins (~bliminse@host109-158-26-29.range109-158.btcentralplus.com)
2020-10-26 19:13:27 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-26 19:14:22 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-26 19:17:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-26 19:17:58 × bliminse quits (~bliminse@host109-158-26-29.range109-158.btcentralplus.com) (Ping timeout: 260 seconds)
2020-10-26 19:18:40 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving)
2020-10-26 19:19:34 → p-core joins (~Thunderbi@2a0e:1c80:4:1021::1002)
2020-10-26 19:20:56 → alp joins (~alp@2a01:e0a:58b:4920:1c2f:db12:618d:602c)
2020-10-26 19:23:31 × p-core quits (~Thunderbi@2a0e:1c80:4:1021::1002) (Remote host closed the connection)
2020-10-26 19:23:47 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-26 19:24:26 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-26 19:26:10 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-26 19:26:11 → dme2 joins (uid339896@gateway/web/irccloud.com/x-vjhdofmrdwokotvk)
2020-10-26 19:28:33 <tomjaguarpaw> What's ALE?
2020-10-26 19:28:37 → ransom joins (~c4264035@2601:285:201:6720:29d7:b759:40a:f2c3)
2020-10-26 19:29:46 <maerwald> delicious
2020-10-26 19:30:04 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 272 seconds)
2020-10-26 19:30:09 <thblt> Linting for Neovim?
2020-10-26 19:30:57 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-26 19:31:58 → dansho joins (~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-26 19:32:07 <tomsmeding> linting for neovim, but also includes a language client implementation that's significantly better than languageclient-neovim in my experience
2020-10-26 19:32:09 <tomsmeding> for some reason
2020-10-26 19:32:37 <tomjaguarpaw> How does that lead to writing overly generic code?
2020-10-26 19:32:46 <tomsmeding> better feedback about types
2020-10-26 19:32:54 <tomsmeding> makes me give up later
2020-10-26 19:32:56 <tomjaguarpaw> Ah, I see. That's cool.
2020-10-26 19:32:58 × justHaunted quits (~justache@unaffiliated/justache) (Ping timeout: 260 seconds)
2020-10-26 19:33:02 <maerwald> no, it's not for neovim, it's for any vim
2020-10-26 19:33:07 × ericsagnes quits (~ericsagne@2405:6580:0:5100:114f:43d0:b789:ca68) (Ping timeout: 272 seconds)
2020-10-26 19:33:24 <tomsmeding> very true
2020-10-26 19:34:43 → knupfer joins (~Thunderbi@i59F7FFDF.versanet.de)
2020-10-26 19:35:01 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 876 877 878 879 880 881 882 883 884 885 886 .. 5022

All times are in UTC.