Home liberachat/#haskell: Logs Calendar

Logs on 2024-04-20 (liberachat/#haskell)

00:00:42 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
00:00:44 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
00:01:11 → ec joins (~ec@gateway/tor-sasl/ec)
00:06:14 × driib quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds))
00:06:50 → driib joins (~driib@vmi931078.contaboserver.net)
00:08:03 → V joins (~v@ircpuzzles/2022/april/winner/V)
00:14:48 × destituion quits (~destituio@2a02:2121:340:2456:c597:f836:b4a7:e541) (Ping timeout: 260 seconds)
00:15:09 → destituion joins (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1)
00:17:00 × V quits (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 245 seconds)
00:28:06 × mei quits (~mei@user/mei) (Remote host closed the connection)
00:28:16 → r5c4571lh01987 joins (rscastilho@179.221.142.8)
00:28:26 × r5c4571lh01987 quits (rscastilho@179.221.142.8) (Remote host closed the connection)
00:29:10 × [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection)
00:29:24 → [Leary] joins (~Leary]@user/Leary/x-0910699)
00:30:32 → mei joins (~mei@user/mei)
00:31:32 × sudden quits (~cat@user/sudden) (Ping timeout: 268 seconds)
00:31:51 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
00:35:02 → V joins (~v@ircpuzzles/2022/april/winner/V)
00:46:12 → sudden joins (~cat@user/sudden)
00:54:28 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
00:58:56 → Annabissa17 joins (~Annabissa@105.155.179.248)
01:01:07 → sabrinsaa14 joins (~sabrinsaa@105.155.179.248)
01:01:07 <sabrinsaa14> HIzzzzzzzzz
01:01:07 <sabrinsaa14> HIzzzzzzzzz
01:01:07 <sabrinsaa14> HIzzzzzzzzz
01:01:10 <sabrinsaa14> HIzzzzzzzzz
01:01:15 × sabrinsaa14 quits (~sabrinsaa@105.155.179.248) (Remote host closed the connection)
01:07:47 × V quits (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 272 seconds)
01:22:43 × Annabissa17 quits (~Annabissa@105.155.179.248) (Ping timeout: 268 seconds)
01:25:50 × TonyStone quits (~TonyStone@user/TonyStone) (Quit: Leaving)
01:27:04 → V joins (~v@ircpuzzles/2022/april/winner/V)
01:27:52 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
01:32:00 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds)
01:41:59 × otto_s quits (~user@p5de2fb1c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
01:43:30 → otto_s joins (~user@p4ff27c3b.dip0.t-ipconnect.de)
02:04:03 → myxokephale joins (~myxos@172.93.132.84)
02:05:44 × myxos quits (~myxos@65.28.251.121) (Ping timeout: 252 seconds)
02:21:28 → myxos joins (~myxos@65.28.251.121)
02:21:55 × myxokephale quits (~myxos@172.93.132.84) (Ping timeout: 268 seconds)
02:23:09 → shaghomey joins (~shaghomey@user/shaghomey)
02:29:55 × myxos quits (~myxos@65.28.251.121) (Ping timeout: 245 seconds)
02:29:58 → myxokephale joins (~myxos@172.93.132.84)
02:32:51 → internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
02:33:31 → philopsos joins (~caecilius@user/philopsos)
02:34:51 × myxokephale quits (~myxos@172.93.132.84) (Remote host closed the connection)
02:40:57 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
02:41:02 × td_ quits (~td@i53870920.versanet.de) (Ping timeout: 268 seconds)
02:42:15 → td_ joins (~td@i5387091E.versanet.de)
02:44:46 → califax_ joins (~califax@user/califx)
02:44:55 × califax quits (~califax@user/califx) (Remote host closed the connection)
02:46:05 califax_ is now known as califax
02:48:37 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
02:54:09 × Xe quits (~cadey@perl/impostor/xe) (Ping timeout: 256 seconds)
03:01:00 ← shaghomey parts (~shaghomey@user/shaghomey) ()
03:04:02 → myxos joins (~myxos@172.93.132.84)
03:07:16 → Xe joins (~cadey@perl/impostor/xe)
03:17:25 × ridcully quits (~ridcully@pd951f456.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
03:17:53 → ridcully joins (~ridcully@p508ac8f2.dip0.t-ipconnect.de)
03:18:40 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds)
03:20:08 → Inst joins (~Inst@user/Inst)
03:21:00 <Inst> Curious, does it matter at all that both ReaderT and the ((->) r) monad have (const id <$ a) <*> b as an instance for then?
03:21:23 <Inst> I might have that code wrong, but in degrades into _ <*> b = b
03:21:29 <Inst> I'm wondering if Hasklel optimizes this properly
03:22:17 <Inst> also, does the reader / function monad have any implications for laziness? And is there much loss if you resort to using ( (->) r ) in lieu of closures?
03:24:51 → trev joins (~trev@user/trev)
03:36:50 × bilegeek quits (~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) (Quit: Leaving)
03:36:52 → aforemny_ joins (~aforemny@2001:9e8:6cd6:500:e763:a78e:e89e:9c7f)
03:38:16 × aforemny quits (~aforemny@i59F516F6.versanet.de) (Ping timeout: 260 seconds)
03:40:33 → bilegeek joins (~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e)
03:46:35 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 245 seconds)
03:51:38 → notzmv joins (~daniel@user/notzmv)
03:56:34 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
04:01:09 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
04:02:48 → peterbecich joins (~Thunderbi@47.229.123.186)
04:03:15 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
04:03:27 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
04:05:14 × Inst quits (~Inst@user/Inst) (Remote host closed the connection)
04:08:36 × Eoco quits (~ian@128.101.131.218) (Ping timeout: 268 seconds)
04:09:04 → Eoco joins (~ian@128.101.131.218)
04:12:24 → madeleine-sydney joins (~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
04:14:23 × peterbecich quits (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds)
04:16:51 × Eoco quits (~ian@128.101.131.218) (Remote host closed the connection)
04:17:30 → Eoco joins (~ian@128.101.131.218)
04:19:38 → michalz joins (~michalz@185.246.207.197)
04:25:27 × Eoco quits (~ian@128.101.131.218) (Remote host closed the connection)
04:27:15 → Eoco joins (~ian@128.101.131.218)
04:35:07 × Eoco quits (~ian@128.101.131.218) (Remote host closed the connection)
04:35:29 → Eoco joins (~ian@128.101.131.218)
04:40:29 → danza joins (~francesco@151.35.109.129)
04:44:23 × Eoco quits (~ian@128.101.131.218) (Remote host closed the connection)
04:53:06 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
04:53:35 → rvalue joins (~rvalue@user/rvalue)
04:53:45 → Eoco joins (~ian@128.101.131.218)
04:56:22 × Eoco quits (~ian@128.101.131.218) (Client Quit)
04:58:59 → elbear joins (~lucian@79.118.150.93)
05:02:39 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
05:20:53 → harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
05:34:22 lol_ is now known as jcarpenter2
05:39:00 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
05:50:21 × philopsos quits (~caecilius@user/philopsos) (Ping timeout: 268 seconds)
05:53:26 → monochrom joins (~trebla@216.138.220.146)
06:03:43 → zetef joins (~quassel@109.166.183.50)
06:05:14 × echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
06:06:34 → echoreply joins (~echoreply@45.32.163.16)
06:07:51 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:10:33 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
06:15:57 × monochrom quits (~trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
06:16:13 → monochrom joins (trebla@216.138.220.146)
06:24:15 × zetef quits (~quassel@109.166.183.50) (Remote host closed the connection)
06:24:37 → zetef joins (~quassel@109.166.183.50)
06:28:04 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
06:29:30 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds)
06:34:05 × zetef quits (~quassel@109.166.183.50) (Ping timeout: 245 seconds)
06:37:13 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 268 seconds)
06:39:47 → philopsos joins (~caecilius@user/philopsos)
06:40:18 × danza quits (~francesco@151.35.109.129) (Ping timeout: 268 seconds)
06:44:25 → euphores joins (~SASL_euph@user/euphores)
06:53:04 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
06:59:49 × bilegeek quits (~bilegeek@2600:1008:b052:9f92:ca72:e94b:77e6:642e) (Quit: Leaving)
07:02:44 → zetef joins (~quassel@109.166.183.50)
07:04:43 → hgolden_ joins (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
07:06:19 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 256 seconds)
07:08:51 → internatetional_ joins (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20)
07:09:41 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9)
07:09:44 → oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
07:11:45 × hgolden_ quits (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 268 seconds)
07:13:55 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
07:16:10 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 245 seconds)
07:22:00 × oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 245 seconds)
07:24:23 × tv quits (~tv@user/tv) (Ping timeout: 260 seconds)
07:24:55 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
07:36:55 → Eoco joins (~ian@128.101.131.218)
07:38:15 × zetef quits (~quassel@109.166.183.50) (Quit: No Ping reply in 180 seconds.)
07:38:26 → tv joins (~tv@user/tv)
07:38:49 → elbear joins (~lucian@79.118.150.93)
07:40:48 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:41:00 → zetef joins (~quassel@86.124.190.220)
07:43:05 → gmg joins (~user@user/gehmehgeh)
07:43:16 → aljazmc joins (~aljazmc@user/aljazmc)
07:43:40 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
07:46:22 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
07:55:25 → elbear joins (~lucian@79.118.150.93)
08:05:20 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
08:05:31 × zetef quits (~quassel@86.124.190.220) (Ping timeout: 246 seconds)
08:06:05 → zetef joins (~quassel@109.166.183.50)
08:17:05 → AlexNoo_ joins (~AlexNoo@178.34.161.189)
08:17:31 → elbear joins (~lucian@79.118.150.93)
08:20:23 × AlexZenon quits (~alzenon@178.34.161.237) (Ping timeout: 264 seconds)
08:20:59 × AlexNoo quits (~AlexNoo@178.34.161.237) (Ping timeout: 264 seconds)
08:23:51 → AlexZenon joins (~alzenon@178.34.161.189)
08:36:17 → damax joins (~damax@gateway/tor-sasl/damax)
08:37:28 → wootehfoot joins (~wootehfoo@user/wootehfoot)
08:44:59 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 264 seconds)
08:46:04 AlexNoo_ is now known as AlexNoo
08:47:09 <damax> Hello everyone, I'm having some problems making HLS work properly on VS Code with the Haskell extension. It had been working quite well for the longest time, up until yesterday, when I came back after not being able to code with it for a couple months. I upgraded to the latest versions of everything (I now use ghcup 0.1.22.0, stack 2.15.5, hls 2.7.0.0, cabal 3.10.3.0 and ghc 9.8.2), and now for some reason
08:47:16 <damax> it seems like hls does not load hlint specifically (and potentially other plugins, I didn't check), and that's bothering me. I'm on arch linux with kernel 6.8.7-zen1-1-zen, visual-studio-code-bin 1.88.1-1, Haskell extension v2.4.3 (with Haskell Syntax Highlighting by Justus Adam v3.6.0. This is the output of my workspace and the user settings for the haskell extension https://paste.tomsmeding.com/tBPn3Zg7
08:48:20 → demon-cat joins (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
08:52:53 × demon-cat quits (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds)
08:57:15 → elbear joins (~lucian@79.118.150.93)
09:00:11 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
09:02:03 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 256 seconds)
09:03:53 × tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
09:04:53 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds)
09:15:38 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
09:15:49 → elbear joins (~lucian@79.118.150.93)
09:18:31 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
09:20:16 → euphores joins (~SASL_euph@user/euphores)
09:20:59 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 264 seconds)
09:26:03 → divya joins (~user@202.170.201.110)
09:27:21 → Guest94 joins (~Guest85@209.38.140.204)
09:29:25 <Guest94> hello everyone . when i write haskell in vscode . the HLS tell me
09:29:25 <Guest94> Could not load module ‘Diagrams.Prelude’
09:29:26 <Guest94> It is a member of the hidden package ‘diagrams-lib-1.4.6.1’.
09:29:26 <Guest94> You can run ‘:set -package diagrams-lib’ to expose it.
09:29:27 <Guest94> at import Diagrams.Prelude
09:29:27 <Guest94> please how can i solve this
09:29:55 × philopsos quits (~caecilius@user/philopsos) (Ping timeout: 245 seconds)
09:33:35 × hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Ping timeout: 264 seconds)
09:33:50 → elbear joins (~lucian@79.118.150.93)
09:36:11 <SteelBlueSilk> Guest94, define it as a dependency using stack or just cabal. i think ive noticed if you go the only-cabal route you want an hie.yaml file.
09:37:30 <SteelBlueSilk> Guest94, it's hidden because while it is installed in your maybe site-wide cabal setup (or whatever), it is not available for your project
09:38:45 <Guest94> oh . i exactly use it in only-cabal route
09:38:59 <Guest94> i well learn how to use .yaml file
09:39:03 × driib quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
09:39:12 <Guest94> will
09:39:17 <Guest94> thank you!
09:46:49 → driib joins (~driib@vmi931078.contaboserver.net)
09:52:15 <divya> How do y'all feel about the tooling in Haskell, compared to that of Rust? I recently have been playing around Rust and its error management and tooling in general seems pretty good.
09:55:32 <Rembane> Rust has generally better tooling than Haskell in my experience.
09:56:28 <divya> But, how can we improve? I think it should be improved.
09:58:45 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
09:58:58 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Read error: Connection reset by peer)
09:59:37 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
10:02:20 <Rembane> I would love for Brittany to still be maintained and for the HLS to work a bit better with my editor than it does, but I don't do Haskell-programming on a level where I really use that kind of tooling at the moment, so I'm not target audience.
10:02:54 <divya> What editor do you use? On Emacs I've never had any issues.
10:03:41 × tv quits (~tv@user/tv) (Ping timeout: 252 seconds)
10:05:03 <Rembane> Neovim, but I think it's more about finding the right version of HLS
10:05:23 × zetef quits (~quassel@109.166.183.50) (Ping timeout: 260 seconds)
10:05:28 <damax> On vs code, weirdly enough I now have that problem I wrote above about hls not loading hlint suggestions
10:14:21 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
10:14:50 <dminuoso> 09:56:29 divya │ But, how can we improve? I think it should be improved.
10:15:11 <dminuoso> Improve adoption. The only reason rust has better tooling is because it has far more users and industry usage, so it receives more attention by community and industry alike.
10:15:35 <dminuoso> Of course this is a chicken-and-egg type of problem.
10:16:07 <dminuoso> Better adoption drives development of better tools. Better tools drive adoption.
10:16:23 × causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
10:16:33 <dminuoso> The only question is whether we have a positive or negative rate of development.
10:17:01 → tv joins (~tv@user/tv)
10:18:17 → euleritian joins (~euleritia@dynamic-176-006-188-053.176.6.pool.telefonica.de)
10:24:32 → sawilagar joins (~sawilagar@user/sawilagar)
10:26:47 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 252 seconds)
10:29:42 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 268 seconds)
10:37:44 → elbear joins (~lucian@79.118.150.93)
10:42:56 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 260 seconds)
10:43:28 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:44:24 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
10:46:24 Lord_of_Life_ is now known as Lord_of_Life
10:47:15 → akegalj joins (~akegalj@95.168.107.42)
10:47:29 → sable joins (~sable@host-95-238-84-211.retail.telecomitalia.it)
10:51:03 → alexherbo2 joins (~alexherbo@2a02-8440-3418-6d75-9cce-1cc6-2bc4-3240.rev.sfr.net)
10:52:49 × sable quits (~sable@host-95-238-84-211.retail.telecomitalia.it) (Remote host closed the connection)
10:53:09 → sable joins (~sable@host-95-238-84-211.retail.telecomitalia.it)
10:54:59 → elbear joins (~lucian@79.118.150.93)
10:59:55 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 268 seconds)
11:01:40 × euleritian quits (~euleritia@dynamic-176-006-188-053.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
11:01:57 → euleritian joins (~euleritia@77.22.252.56)
11:03:12 × sable quits (~sable@host-95-238-84-211.retail.telecomitalia.it) (Remote host closed the connection)
11:03:43 → titibandit joins (~titibandi@user/titibandit)
11:04:09 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:05:10 → zetef joins (~quassel@109.166.183.50)
11:12:23 <duncan> There is something abstract that I would call 'momentum', which it has in the way that the previous semi-fad-language doesn't (go)
11:13:03 <duncan> I think it's related to good documentation (which they seemed to pursue from the start) and community building (which is quite abstract)
11:13:24 <duncan> and because it was new, there were fewer pre-conceived notions about what it would be
11:27:07 → elbear joins (~lucian@79.118.150.93)
11:30:27 → CiaoSen joins (~Jura@2a05:5800:2a0:7b00:e6b9:7aff:fe80:3d03)
11:31:08 → Guest13 joins (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net)
11:31:54 <Guest13> can I get some help with a beginner Haskell question
11:32:46 <ncf> https://dontasktoask.com/
11:34:05 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
11:36:10 <Guest13> I am trying to complete aoc2023, and am on day 3. I am not sure why this isn't working how I think it should:
11:36:11 <Guest13> "part2 input = foldr go initialCards (zip [1..1] wins)
11:36:11 <Guest13>   where wins = parseInput input
11:36:12 <Guest13>         initialCards = zip [1..] . take (length wins) $ (repeat 1)
11:36:12 <Guest13>         go (i,win) acc = map (\(i',copies) -> if i' `elem` [i+1 .. i+win] then (i', copies+multiplier) else (i', copies)) acc
11:36:13 <Guest13>           where multiplier = snd $ acc!!(i-1)
11:36:13 <Guest13> "
11:36:14 <Guest13> at the top I set zip [1..] to get my solution, but am working step by step through the fold. as far as I can tell, multiplier is set to 1 for each entry and never updated as I want it to get this number from acc at each step.
11:37:05 <Guest13> wins is [Int], and the accumulator is [(index, #copies)]
11:37:24 <ski> > [1..1]
11:37:25 <lambdabot> [1]
11:37:49 ncf . o O ( 2023 day 3 isn't about cards )
11:37:55 <Guest13> day 4 sorry
11:38:27 <Guest13> I've looked at an example solution but can't see why this doesn't work
11:38:58 <Guest13> it correctly updates the right number of cards, but instead of copies+multipler it is copies+1
11:39:27 <Guest13> when I have 5 of a card, I want to create 5 copies for each win
11:39:27 <ski> take (length wins) (repeat 1) = replicate (length wins) 1
11:42:07 <Guest13> initial cards should be [(1,1)] for each card, representing its (index, number of copies). at each step, for each copy of the current card I want to add a copy to the next (win) cards
11:42:09 <ski> i' `elem` [i+1 .. i+win] = inRange (i+1,i+win) i'
11:43:37 × internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.2.1)
11:44:13 × Ranhir quits (~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
11:44:23 <ski> you could use `splitAt' in `go', instead of mucking around with `!!' and `elem' (or `inRange')
11:46:42 <Guest13> probably, but I still don't know why it doesn't work
11:46:56 <ski> did you check the first thing i said ?
11:47:15 <Guest13> [1..1]?
11:47:18 <ski> yes
11:47:32 <Guest13> this is to step through the fold 1 step at a time while I was debugging
11:47:38 <ski> > zip [1..1] [2,3,5,7,11,13,17,19]
11:47:39 <lambdabot> [(1,2)]
11:48:05 → elbear joins (~lucian@79.118.150.93)
11:48:14 → Ranhir joins (~Ranhir@157.97.53.139)
11:48:33 ski waits for the needle to drop
11:48:36 <Guest13> I process each win in each step of the fold and was checking the first step, then 1..2 then etc
11:48:47 <Guest13> when I change it to 1.. it doesn't fix my code
11:48:58 <ski> presumably there are multiple issues
11:49:02 <Guest13> definitely
11:49:28 <Guest13> I am just using the [1..] to see the result of 1 step of the folder go
11:49:38 <Guest13> and the first step is correct
11:49:41 <Guest13> the second step is wrong
11:50:37 <Guest13> first step: [(1,1),(2,2),(3,2),(4,2),(5,2),(6,1)]
11:50:37 <Guest13> second step: [(1,1),(2,2),(3,3),(4,3),(5,2),(6,1)]
11:50:38 <Guest13> third step: [(1,1),(2,2),(3,3),(4,4),(5,3),(6,1)]
11:51:28 <ncf> did you forget to multiply the multiplier?
11:51:54 <Guest13> the second step should see that there are two copies of the second card (which has 2 wins) and add +2 to the 3rd and 4th element
11:52:25 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
11:52:26 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
11:52:27 <Guest13> uhh multiplier is a bad name I think. multiplier is the number of copies of the card at each step
11:52:37 <Guest13> and I want to add 1*multipler
11:52:47 <Guest13> so for each card, add 1
11:53:37 <ncf> oh i think your i-1 should be i
11:53:58 <Guest13> is the list in Haskell 0 index?
11:54:02 <ski> "never updated" -- not too sure about this, yet
11:54:04 <ncf> yes
11:54:07 <ski> > [2,3,5,7] !! 0
11:54:08 <lambdabot> 2
11:54:41 <ncf> your code mentions i+1 and i-1 but never i; surely that smells like an off-by-one
11:55:57 <Guest13> funnily enough changing it to I produces the same result
11:56:01 <Guest13> which it shouldnt
11:56:31 <Guest13> I feel like multiplier is set to 1 at the start and not updated in each step of the fold like I would want
11:57:20 <ncf> you don't update things in haskell
11:58:18 <Guest13> is multiplier set to the value at each step of fold?
11:58:29 <Guest13> or before the fold starts it is set
11:58:42 <ski> or, differently said, you update by making a new version, which differs in the way you wanted the "update"
11:59:14 <ncf> it's defined in a where clause local to `go`, so you get a new value for each step of the fold
11:59:32 <Guest13> this is what I would want
11:59:40 <ski> "is multiplier set to the value at each step of fold?" -- yes. each step gets a new `acc', and `multiplier' depends on this particular `acc'
12:00:50 <Guest13> first step: [(1,1),(2,2),(3,2),(4,2),(5,2),(6,1)]
12:00:50 <Guest13> second step: [(1,1),(2,2),(3,3),(4,3),(5,2),(6,1)]
12:00:51 <Guest13> third step: [(1,1),(2,2),(3,3),(4,4),(5,3),(6,1)]
12:00:51 <Guest13> the correct second step should be [(1,1),(2,2),(3,4),(5,4),(6,1)]
12:01:15 <Guest13> sorry, the correct second step should be [(1,1),(2,2),(3,4),(4,4),(5,2),(6,1)]
12:01:52 <Guest13> it updates the correct values but it should be a +2 because multiplier = snd(2,2)
12:03:21 <ncf> can you post a reproducer on https://play.haskell.org/ ?
12:04:44 <Guest13> https://play.haskell.org/saved/Fw88Z29V
12:06:01 × madeleine-sydney quits (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
12:06:23 <ncf> Main: input/04.txt: openFile: does not exist (No such file or directory)
12:06:30 <Guest13> sorry let me put the test in string
12:06:37 <Guest13> https://play.haskell.org/saved/pPbc3Jm5
12:08:12 <Guest13> the desired output of the fold is [(1,1),(2,2),(3,4),(4,8),(5,14),(6,1)]
12:09:53 <Guest13> not sure if it helps, but what I am trying to do is something like what I did in Rust:
12:09:53 <Guest13> let mut cards_vec = vec![1; wins_vec.len()];
12:09:54 <Guest13>     for (i, &win) in wins_vec.iter().enumerate() {
12:09:54 <Guest13>         for j in 1..=win {
12:09:55 <Guest13>             if (i + j as usize) < cards_vec.len() {
12:09:55 <Guest13>                 cards_vec[i+j as usize] += 1 * cards_vec[I];
12:09:56 <Guest13>             }
12:09:56 <Guest13>         }
12:09:57 <Guest13>     }
12:10:43 <ncf> i think you want to traverse wins left-to-right, so use foldl instead of foldr
12:11:05 <ncf> then i get [(1,1),(2,2),(3,4),(4,8),(5,12),(6,1)], a bit off from what you expect
12:12:22 <Guest13> I think this is it yes
12:12:29 <Guest13> I do want it to go from left to right
12:12:57 <ncf> btw you can replace fold with scan to see the intermediate results
12:13:11 <Guest13> scan?
12:13:15 <Guest13> scanL?
12:14:26 <Guest13> yes I've got the correct answer now thank you! I changed it to acc!!(I-1) also as well as using foldl
12:14:54 → ph88 joins (~ph88@91.64.63.48)
12:15:10 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
12:15:16 <ph88> does the compiler optimize this function by short circuiting on Left? https://bpa.st/RNTQ
12:15:20 × divya quits (~user@202.170.201.110) (Ping timeout: 245 seconds)
12:15:36 <ncf> oh i see you already have an off-by-one since you're zipping with [1..] instead of [0..]
12:15:40 <ncf> you should zip with [0..]
12:15:51 <ph88> https://bpa.st/FXRA
12:16:27 <Guest13> yes this would be better
12:16:32 <Guest13> I think a map would be good also
12:17:07 <Guest13> I understand that this works now I just need to understand foldl vs foldr
12:17:24 <Guest13> thank you for the help!
12:18:05 → elbear joins (~lucian@79.118.150.93)
12:18:21 <ncf> fwiw there are simpler ways of solving this problem: instead of translating an imperative solution to haskell, you might try to compute the solution with a single fold
12:18:41 <ncf> see glguy's solution for example: https://github.com/glguy/advent/blob/main/solutions/src/2023/04.hs#L55
12:20:02 <ncf> ph88: what do you mean by short-circuiting here?
12:20:04 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:20:58 → divya joins (~user@202.170.201.110)
12:22:39 <Guest13> this solution looks really good, ill need to stare at it for a while though XD
12:22:50 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
12:22:50 <Guest13> im not very good at Haskell yet
12:24:19 <ph88> ncf, that if Left is found that it doesn't try the next value in the functor but stops immediately
12:25:17 × Guest13 quits (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Quit: Client closed)
12:25:22 × alexherbo2 quits (~alexherbo@2a02-8440-3418-6d75-9cce-1cc6-2bc4-3240.rev.sfr.net) (Remote host closed the connection)
12:25:40 <ncf> that would yield different results if you had an infinite list (it would stop instead of diverging)
12:27:26 <ncf> (and optimisation cannot change the meaning of a program, so the answer is no)
12:27:35 → hughjfchen joins (~hughjfche@vmi556545.contaboserver.net)
12:28:06 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
12:28:31 <ph88> how can i make it to short?
12:28:57 <ph88> shortEither :: Traversable t => (a -> Either e b) -> t a -> Either e (t b) shortEither = traverse this does short but is not a fold where i can pass an accumulator
12:29:47 × akegalj quits (~akegalj@95.168.107.42) (Quit: leaving)
12:29:49 → notzmv joins (~daniel@user/notzmv)
12:32:52 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
12:34:17 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
12:34:24 <ncf> use foldlM or foldrM in the Either monad, presumably
12:35:48 <ncf> foldlShortEither = foldlM
12:36:39 × masaeedu quits (~masaeedu@user/masaeedu) (Read error: Connection reset by peer)
12:42:24 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
12:42:36 → masaeedu joins (~masaeedu@user/masaeedu)
12:45:34 × CiaoSen quits (~Jura@2a05:5800:2a0:7b00:e6b9:7aff:fe80:3d03) (Quit: CiaoSen)
12:46:01 → elbear joins (~lucian@79.118.150.93)
12:55:30 → Lears joins (~Leary]@user/Leary/x-0910699)
12:55:56 → alexherbo2 joins (~alexherbo@2a02-8440-3302-d776-5085-4da3-9df1-4a7b.rev.sfr.net)
12:57:48 × [Leary] quits (~Leary]@user/Leary/x-0910699) (Ping timeout: 260 seconds)
13:05:48 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
13:06:57 × aljazmc quits (~aljazmc@user/aljazmc) (Remote host closed the connection)
13:12:38 → imdoor joins (~imdoor@balticom-142-78-50.balticom.lv)
13:16:55 → myxokephale joins (~myxos@65.28.251.121)
13:19:17 × myxos quits (~myxos@172.93.132.84) (Ping timeout: 272 seconds)
13:20:15 puke is now known as Guest7257
13:20:15 → pyooque joins (~puke@user/puke)
13:20:15 × Guest7257 quits (~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
13:20:15 pyooque is now known as puke
13:21:30 × puke quits (~puke@user/puke) (Max SendQ exceeded)
13:21:59 → puke joins (~puke@user/puke)
13:23:31 → tremon joins (~tremon@83.80.159.219)
13:24:12 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:28:31 <ph88> does anyone know of a script that generates pattern matching code based on a given value? Example, given: Just (Left "hello") code: case a of; Nothing -> undefined Just b -> case b of; Left c -> undefined; Right d -> undefined
13:38:04 → danza joins (~francesco@151.43.8.9)
13:40:54 × sukbeom quits (~sukbeom@121.172.255.83) (Quit: The Lounge - https://thelounge.chat)
13:44:18 × puke quits (~puke@user/puke) (Quit: puke)
13:45:36 <mauke> did you mean: ... Left c -> case c of { [] -> ...; '\0' : [] -> ...; '\1' : [] -> ...
13:46:38 → sukbeom joins (~sukbeom@121.172.255.83)
13:52:33 <ncf> :t (== Just (Left "hello"))
13:52:34 <lambdabot> Eq b => Maybe (Either [Char] b) -> Bool
13:54:55 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
13:58:48 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Quit: WeeChat 4.2.1)
13:59:05 × danza quits (~francesco@151.43.8.9) (Ping timeout: 245 seconds)
14:02:59 × zetef quits (~quassel@109.166.183.50) (Ping timeout: 272 seconds)
14:11:31 × Guest94 quits (~Guest85@209.38.140.204) (Quit: Client closed)
14:14:16 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
14:16:28 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:19:04 <ph88> mauke, what's that ?
14:19:06 → elbear joins (~lucian@79.118.150.93)
14:20:36 <mauke> trying to unpack [] and Char (as a sum type) as well
14:21:01 <ph88> I meant to generate pattern matching boilerplate based on a type. Like this example https://bpa.st/JWGA
14:22:37 <mauke> Just (Left "hello") is really: Just (Left ((:) 'h' ((:) 'e' ((:) 'l' ((:) 'l' ((:) 'o' []))))))
14:23:37 <ncf> i think haskell-language-server has a case split feature, similar to agda's
14:24:54 × paddymahoney quits (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds)
14:25:10 <ncf> or at least had one at some point https://github.com/haskell/haskell-language-server/pull/391
14:28:53 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 240 seconds)
14:30:53 → elbear joins (~lucian@79.118.150.93)
14:32:54 → paddymahoney joins (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
14:35:41 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 240 seconds)
14:48:31 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
14:49:43 → sable joins (~sable@host-95-238-84-211.retail.telecomitalia.it)
14:50:14 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
14:52:21 × sable quits (~sable@host-95-238-84-211.retail.telecomitalia.it) (Remote host closed the connection)
15:02:39 → elbear joins (~lucian@79.118.150.93)
15:04:44 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
15:08:57 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 252 seconds)
15:09:30 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
15:18:01 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:18:45 × euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 256 seconds)
15:20:14 × noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
15:22:16 → elbear joins (~lucian@79.118.150.93)
15:23:49 → euleritian joins (~euleritia@dynamic-176-006-185-005.176.6.pool.telefonica.de)
15:27:01 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 255 seconds)
15:27:21 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
15:34:33 × titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection)
15:35:50 × superbil quits (~superbil@1-34-176-171.hinet-ip.hinet.net) (Read error: Connection reset by peer)
15:38:14 → elbear joins (~lucian@79.118.150.93)
15:39:24 → tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net)
15:43:00 × hueso quits (~root@user/hueso) (Ping timeout: 260 seconds)
15:43:41 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 272 seconds)
15:43:44 → hueso joins (~root@user/hueso)
15:45:08 → superbil joins (~superbil@1-34-176-171.hinet-ip.hinet.net)
15:46:04 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
15:54:51 → elbear joins (~lucian@79.118.150.93)
16:00:45 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 245 seconds)
16:01:03 → billchenchina joins (~billchenc@58.20.40.49)
16:03:21 → billchenchina- joins (~billchenc@103.118.42.229)
16:06:29 × billchenchina quits (~billchenc@58.20.40.49) (Ping timeout: 256 seconds)
16:14:54 → elbear joins (~lucian@79.118.150.93)
16:19:24 × elbear quits (~lucian@79.118.150.93) (Ping timeout: 260 seconds)
16:35:59 × divya quits (~user@202.170.201.110) (Ping timeout: 264 seconds)
16:36:09 → internatetional joins (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f)
16:40:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:41:45 → Piedro joins (~Piedro@85.254.75.48)
16:42:02 <Piedro> Hi, guys!
16:42:42 <Piedro> I'm trying to pandoc-cli-3.1.13/setup --verbose=3 build
16:42:51 <Piedro> But getting this error:
16:43:01 <Piedro> <command line>: cannot satisfy -package-id pandoc-3.1.13-LrJCHeHIiEWDW6n9PXTgaH
16:43:12 <Piedro> (use -v for more information)
16:43:21 <Piedro> /usr/bin/ghc returned ExitFailure 1
16:43:29 <Piedro> What is that? 🪓╰（‵□′）╯
16:49:55 → haritzondo joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
16:51:15 × haritz quits (~hrtz@user/haritz) (Ping timeout: 256 seconds)
16:52:24 → akshar joins (~user@209.94.142.169)
16:54:43 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:55:38 <Piedro> Ok, https://github.com/gentoo-haskell/gentoo-haskell/issues/1469 ( ╹ -╹)?
16:56:58 × billchenchina- quits (~billchenc@103.118.42.229) (Remote host closed the connection)
16:57:06 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
16:58:09 → chexum joins (~quassel@gateway/tor-sasl/chexum)
17:02:00 haritzondo is now known as haritz
17:02:01 × haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
17:02:01 → haritz joins (~hrtz@user/haritz)
17:12:10 × xdminsy quits (~xdminsy@117.147.70.233) (Quit: Konversation terminated!)
17:12:36 → xdminsy joins (~xdminsy@117.147.70.233)
17:14:14 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
17:14:50 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
17:15:58 → chexum joins (~quassel@gateway/tor-sasl/chexum)
17:16:50 → erty joins (~user@user/aeroplane)
17:31:57 → __monty__ joins (~toonn@user/toonn)
17:35:02 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
17:42:14 → titibandit joins (~titibandi@user/titibandit)
17:42:32 × imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
17:57:11 → Sgeo joins (~Sgeo@user/sgeo)
18:02:51 × califax quits (~califax@user/califx) (Remote host closed the connection)
18:05:05 → califax joins (~califax@user/califx)
18:05:46 → target_i joins (~target_i@user/target-i/x-6023099)
18:07:09 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds)
18:16:10 × internatetional_ quits (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) (Ping timeout: 245 seconds)
18:16:20 → internatetional_ joins (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20)
18:23:05 → emmanuelux joins (~emmanuelu@user/emmanuelux)
18:23:16 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
18:23:16 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
18:24:15 → chiselfuse joins (~chiselfus@user/chiselfuse)
18:24:22 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
18:25:19 → demon-cat joins (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
18:31:32 × euleritian quits (~euleritia@dynamic-176-006-185-005.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
18:31:50 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
18:45:21 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
18:45:31 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
18:46:44 → z0e joins (~z0e@pool-173-61-230-85.cmdnnj.fios.verizon.net)
18:48:54 × n8n quits (n8n@user/n8n) (Quit: WeeChat 4.2.2)
18:54:44 → imdoor joins (~imdoor@balticom-142-78-50.balticom.lv)
18:55:24 → oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
18:55:36 × imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Client Quit)
18:57:25 → philopsos joins (~caecilius@user/philopsos)
19:11:49 × xdminsy quits (~xdminsy@117.147.70.233) (Read error: Connection reset by peer)
19:21:24 × yin quits (~yin@user/zero) (Ping timeout: 260 seconds)
19:24:10 → n8n joins (n8n@user/n8n)
19:24:18 × n8n quits (n8n@user/n8n) (Client Quit)
19:24:44 → n8n joins (n8n@user/n8n)
19:25:24 → mima joins (~mmh@aftr-62-216-211-106.dynamic.mnet-online.de)
19:26:06 × notzmv quits (~daniel@user/notzmv) (Read error: Connection reset by peer)
19:30:02 ← damax parts (~damax@gateway/tor-sasl/damax) ()
19:30:45 × erty quits (~user@user/aeroplane) (Ping timeout: 245 seconds)
19:33:57 × n8n quits (n8n@user/n8n) (Quit: WeeChat 4.2.2)
19:35:26 → yin joins (~yin@user/zero)
19:37:55 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
19:38:24 → rvalue joins (~rvalue@user/rvalue)
19:39:51 → peterbecich joins (~Thunderbi@47.229.123.186)
19:41:24 → n8n joins (n8n@user/n8n)
19:41:46 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
19:53:18 × tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
19:59:18 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
20:00:16 → tri joins (~tri@ool-18bc2e74.dyn.optonline.net)
20:04:16 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
20:04:59 → pastly joins (~pastly@gateway/tor-sasl/pastly)
20:05:12 × alexherbo2 quits (~alexherbo@2a02-8440-3302-d776-5085-4da3-9df1-4a7b.rev.sfr.net) (Remote host closed the connection)
20:05:40 × peterbecich quits (~Thunderbi@47.229.123.186) (Ping timeout: 268 seconds)
20:05:46 → alexherbo2 joins (~alexherbo@2a02-8440-3302-d776-5085-4da3-9df1-4a7b.rev.sfr.net)
20:13:29 → noumenon joins (~noumenon@113.51-175-156.customer.lyse.net)
20:13:32 → puke joins (~puke@user/puke)
20:18:56 × internatetional quits (~nate@2001:448a:20a3:c2e5:71b9:a710:2866:667f) (Quit: WeeChat 4.2.1)
20:19:41 × n8n quits (n8n@user/n8n) (Quit: WeeChat 4.2.2)
20:25:13 → sawilagar joins (~sawilagar@user/sawilagar)
20:25:45 × yin quits (~yin@user/zero) (Ping timeout: 245 seconds)
20:28:27 → yin joins (~yin@user/zero)
20:44:45 → TonyStone joins (~TonyStone@user/TonyStone)
21:03:29 × Piedro quits (~Piedro@85.254.75.48) (Remote host closed the connection)
21:11:39 × pastly quits (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
21:12:11 → pastly joins (~pastly@gateway/tor-sasl/pastly)
21:12:25 × mima quits (~mmh@aftr-62-216-211-106.dynamic.mnet-online.de) (Ping timeout: 245 seconds)
21:19:36 × michalz quits (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in)
21:25:02 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
21:26:23 → madeleine-sydney joins (~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
21:30:46 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:32:58 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
21:33:51 → Square joins (~Square@user/square)
21:41:47 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
21:43:15 × philopsos quits (~caecilius@user/philopsos) (Ping timeout: 245 seconds)
21:51:07 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
21:52:36 × ph88 quits (~ph88@91.64.63.48) (Quit: Leaving)
21:54:27 × titibandit quits (~titibandi@user/titibandit) (Read error: Connection reset by peer)
21:58:37 × _________ quits (~nobody@user/noodly) (Ping timeout: 272 seconds)
21:59:02 → _________ joins (~nobody@user/noodly)
22:00:01 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:13:19 × Square quits (~Square@user/square) (Ping timeout: 268 seconds)
22:14:42 <tri> hi, im trying to just create an instance of state monad, why doesn't this work?
22:14:49 <tri> exampe :: State Int Int
22:15:02 <tri> example = State {runState = (\x -> (1,2)}
22:15:16 <tri> im just trying to newing up an instance of State
22:16:52 <geekosaur> `State` is a type alias, use `state` instead to construct a `StateT Identity` which is what `State` really is
22:17:27 <geekosaur> if you are working from an old enough document/webpage, it may be expecting you to be using mtl1 in which `State` was an actual constructor
22:17:54 → Square joins (~Square@user/square)
22:18:48 <tri> geekosaur: yea i noticed it worked with lowercase state earlier but didn't know why.
22:19:19 <tri> where did you find that information? Im looking at https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-State-Lazy.html#t:StateT
22:19:33 <tri> but don't see the lowercase state
22:20:32 <geekosaur> I know it from history 🙂 but https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-Monad-State-Class.html#v:state
22:21:04 <geekosaur> it's hidden inside the class definition
22:22:41 <tri> yea actually when i hover above the lower case state, it says it's defined in Control.Monad.State.Class
22:22:52 <tri> thank you
22:24:26 <tri> geekosaur: that's equivalen to example = do put 2; return 1 right?
22:25:05 <geekosaur> which is?
22:25:53 <tri> im comparing that to example = state (\s -> (1,2))
22:26:36 <tri> a state monad that always return 1, and modify the state to 2
22:26:47 <geekosaur> yes
22:26:52 <tri> thank you
23:02:09 → Lycurgus joins (~georg@user/Lycurgus)
23:02:10 <ski> confusion between type constructor and data constructor, due to naming them the same, strikes again
23:02:18 <ski> (i suppose, at least)
23:16:24 × madeleine-sydney quits (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
23:23:45 × xstill_ quits (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
23:24:10 × noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
23:24:35 → random-jellyfish joins (~developer@user/random-jellyfish)
23:26:39 × xsarnik quits (xsarnik@lounge.fi.muni.cz) (Ping timeout: 256 seconds)
23:32:35 × Xe quits (~cadey@perl/impostor/xe) (Quit: WeeChat 4.2.1)
23:34:00 → xsarnik joins (xsarnik@lounge.fi.muni.cz)
23:34:55 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:35:15 → xstill_ joins (xstill@fimu/xstill)
23:37:40 → Inst joins (~Inst@user/Inst)
23:39:30 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 245 seconds)
23:42:03 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
23:46:59 × myxokephale quits (~myxos@65.28.251.121) (Remote host closed the connection)
23:48:53 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 256 seconds)
23:55:00 → Xe joins (~cadey@perl/impostor/xe)
23:56:46 → titibandit joins (~titibandi@user/titibandit)

All times are in UTC on 2024-04-20.