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