2025/07/25

2025-07-25 00:01:44 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-25 00:02:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:02:47 +0200 <dolio> Yeah, maybe that's why it hasn't been done yet. It's basically a completely different library.
2025-07-25 00:03:17 +0200 <dolio> But, like, the current library has an expiration date.
2025-07-25 00:06:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 00:10:54 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 276 seconds)
2025-07-25 00:12:06 +0200xff0x(~xff0x@2405:6580:b080:900:8e:a5e0:94cb:b64d)
2025-07-25 00:16:21 +0200jespada(~jespada@2800:a4:2291:9400:bcdf:5144:5f9c:bc05) (Ping timeout: 248 seconds)
2025-07-25 00:16:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-25 00:17:08 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 00:18:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:19:04 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) (Remote host closed the connection)
2025-07-25 00:19:29 +0200manwithluck(~manwithlu@2a09:bac1:5bc0:20::39b:8b) manwithluck
2025-07-25 00:19:43 +0200jespada(~jespada@2800:a4:220f:c200:b95d:d857:9586:6e38) jespada
2025-07-25 00:21:13 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-07-25 00:21:41 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 00:21:58 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 00:22:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 00:28:12 +0200jreicher(~user@user/jreicher) jreicher
2025-07-25 00:30:00 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in)
2025-07-25 00:33:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:33:24 +0200xff0x_(~xff0x@2405:6580:b080:900:fa93:4f60:138f:781a)
2025-07-25 00:33:29 +0200xff0x(~xff0x@2405:6580:b080:900:8e:a5e0:94cb:b64d) (Ping timeout: 260 seconds)
2025-07-25 00:34:38 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-07-25 00:37:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 00:42:42 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-25 00:46:13 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-07-25 00:48:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 00:50:30 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3)
2025-07-25 00:51:04 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-25 00:53:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 00:55:07 +0200xff0x_(~xff0x@2405:6580:b080:900:fa93:4f60:138f:781a) (Quit: xff0x_)
2025-07-25 00:57:10 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 00:59:36 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 01:00:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 01:04:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:04:48 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-25 01:10:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 01:12:47 +0200Clint(~Clint@user/clint) (Remote host closed the connection)
2025-07-25 01:17:02 +0200Clint(~Clint@user/clint) Clint
2025-07-25 01:17:54 +0200xff0x(~xff0x@2405:6580:b080:900:a4be:8483:4313:1091)
2025-07-25 01:18:24 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-25 01:22:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:22:53 +0200sprotte24(~sprotte24@p200300d16f056400b9509f58729e6016.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-07-25 01:25:09 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:25:28 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 01:26:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 01:27:16 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-07-25 01:27:31 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:28:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:32:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-07-25 01:33:01 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-07-25 01:34:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 01:35:39 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 01:36:17 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-07-25 01:36:55 +0200xff0x_(~xff0x@2405:6580:b080:900:b0eb:a928:fdd8:ba52)
2025-07-25 01:37:21 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:39:18 +0200acidjnk(~acidjnk@p200300d6e70b66954da1f7112171ec4f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2025-07-25 01:39:21 +0200xff0x(~xff0x@2405:6580:b080:900:a4be:8483:4313:1091) (Ping timeout: 252 seconds)
2025-07-25 01:39:27 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-07-25 01:39:58 +0200arahael(~arahael@user/arahael) arahael
2025-07-25 01:41:57 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-25 01:44:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 01:44:56 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-07-25 01:46:45 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-25 01:49:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 01:50:22 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 01:50:38 +0200myfirstname(~myfirstna@178.238.150.193)
2025-07-25 01:50:48 +0200myfirstname(~myfirstna@178.238.150.193) (Remote host closed the connection)
2025-07-25 01:52:26 +0200myfirstname(~myfirstna@user/myfirstname) myfirstname
2025-07-25 01:53:21 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 01:53:52 +0200arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2025-07-25 01:55:35 +0200myfirstname(~myfirstna@user/myfirstname) (Remote host closed the connection)
2025-07-25 01:55:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-25 01:59:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:01:28 +0200pabs3(~pabs3@user/pabs3) (Ping timeout: 272 seconds)
2025-07-25 02:03:18 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
2025-07-25 02:03:34 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:03:57 +0200Square3(~Square4@user/square) Square
2025-07-25 02:04:21 +0200Square2(~Square@user/square) (Remote host closed the connection)
2025-07-25 02:04:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 02:06:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-25 02:06:33 +0200weary-traveler(~user@user/user363627) user363627
2025-07-25 02:08:11 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 02:10:23 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 02:10:50 +0200Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2025-07-25 02:11:28 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-07-25 02:12:16 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 02:13:24 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-25 02:13:33 +0200 <haskellbridge> <iqubic (she/her)> Does Cabal support GHC2024 yet?
2025-07-25 02:14:15 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:14:26 +0200Fijxu(~Fijxu@user/fijxu) fijxu
2025-07-25 02:15:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:15:28 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-07-25 02:19:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 02:23:28 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:24:51 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit)
2025-07-25 02:25:09 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:26:45 +0200 <jackdk> I don't know. What does the changelog and/or the project issue tracker say?
2025-07-25 02:27:22 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 02:27:35 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:29:01 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-25 02:29:49 +0200 <geekosaur> we added it in cabal 3.12 which corresponds to ghc 9.10.1 which is when GHC2024 was introduced
2025-07-25 02:30:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:34:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 02:38:58 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-07-25 02:40:17 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-07-25 02:42:22 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:43:42 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 02:44:52 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 02:45:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 02:46:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 02:47:13 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-07-25 02:47:25 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-07-25 02:47:49 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 02:48:43 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 245 seconds)
2025-07-25 02:49:52 +0200 <asivitz> I'm wondering if someone familiar with Windows and Haskell could help me. I have a minimal reproduction of a linker error here: https://github.com/asivitz/windows_link_error It has a github action that produces the error, so it shows a build environment in case that might be where the issue stems from.
2025-07-25 02:52:10 +0200 <asivitz> It depends on the dear-imgui library, so it's possible there's a problem with that package. But it seems strange, and involves template haskell.
2025-07-25 02:52:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 02:52:57 +0200 <geekosaur> you are either missing the imgui DLL or it's the wrong / incompatible version
2025-07-25 02:53:05 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 02:56:27 +0200 <asivitz> My understanding is the haskell lib it builds the imgui lib. The repo has a submodule reference to imgui, and the sources are listed as cxx-sources
2025-07-25 02:56:29 +0200 <geekosaur> hilfy «cabal*validate-actions$» Z$ c++filt _ZN5ImGui15StyleColorsDarkEP10ImGuiStyle
2025-07-25 02:56:29 +0200 <geekosaur> ImGui::StyleColorsDark(ImGuiStyle*)
2025-07-25 02:58:09 +0200 <asivitz> (Also, on mac at least everything works great without installing any extra library)
2025-07-25 02:59:21 +0200 <geekosaur> "could not load object code", that's TH. I wonder if there's some odd interaction there
2025-07-25 03:00:48 +0200 <asivitz> Yea the error only seems to trigger when I have that setup of file 1 uses TH, which imports something from file 2, which has a reference to imgui
2025-07-25 03:02:45 +0200 <geekosaur> this might be more of a ghc question then. but possibly also cabal; you might try it with different cabal versions (3.12, 3.14, 3.16) to see if the behavior changes
2025-07-25 03:04:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:04:24 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds)
2025-07-25 03:04:33 +0200 <asivitz> I can't get it to build with cabal < 3.16 b/c of the clean bug on windows. And I've tried a couple ghcs (9.10 and 9.12). I can ask #ghc
2025-07-25 03:04:38 +0200 <asivitz> Thanks for taking a look
2025-07-25 03:08:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 03:09:39 +0200xff0x_(~xff0x@2405:6580:b080:900:b0eb:a928:fdd8:ba52) (Ping timeout: 260 seconds)
2025-07-25 03:18:39 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-07-25 03:19:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:20:12 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-25 03:23:04 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-07-25 03:24:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 03:35:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:35:12 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.10.0 - https://znc.in)
2025-07-25 03:36:38 +0200rembo10(~rembo10@main.remulis.com) rembo10
2025-07-25 03:39:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 03:55:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 03:59:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 04:02:11 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-25 04:03:28 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-25 04:05:01 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-25 04:08:19 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!)
2025-07-25 04:10:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 04:14:58 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-25 04:15:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 04:20:14 +0200 <Square3> Haddock isn't totally obvious. Seems easy to break if you insert the wrong space/control at a certain place?
2025-07-25 04:22:05 +0200 <geekosaur> ReST is pretty similar in that respect
2025-07-25 04:22:21 +0200 <geekosaur> markdown, unfortunately, plays pretty badly with source code
2025-07-25 04:22:50 +0200 <geekosaur> (you cannot simultaneously have a .md extension for markdown tools and a source file extension for compilers)
2025-07-25 04:23:36 +0200 <geekosaur> (and neither group is willing to be flexible about extensions)
2025-07-25 04:25:54 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-25 04:26:40 +0200 <Square3> Gotcha, I guess I just need to figure it out.
2025-07-25 04:28:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 04:30:56 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-07-25 04:34:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 04:37:08 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-25 04:37:50 +0200qqe(~qqq@185.54.23.134) (Quit: Lost terminal)
2025-07-25 04:39:50 +0200Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-07-25 04:41:38 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 245 seconds)
2025-07-25 04:42:58 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
2025-07-25 04:46:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 04:50:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-25 05:01:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 05:03:06 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Remote host closed the connection)
2025-07-25 05:05:38 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp
2025-07-25 05:05:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 05:09:58 +0200fp(~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 240 seconds)
2025-07-25 05:16:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 05:20:03 +0200noctux(~noctux@user/noctux) (Read error: Connection reset by peer)
2025-07-25 05:20:12 +0200noctux(~noctux@user/noctux) noctux
2025-07-25 05:22:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 05:32:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 05:33:39 +0200aforemny(~aforemny@i59F4C6A5.versanet.de) aforemny
2025-07-25 05:33:44 +0200aforemny_(~aforemny@i59F4C78B.versanet.de) (Ping timeout: 260 seconds)
2025-07-25 05:36:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 05:41:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 05:45:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-25 05:58:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 06:03:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 06:14:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 06:18:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 06:21:58 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds)
2025-07-25 06:22:14 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-25 06:25:15 +0200califax_(~califax@user/califx) califx
2025-07-25 06:26:49 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-07-25 06:26:50 +0200califax_califax
2025-07-25 06:29:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 06:34:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 06:39:12 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-25 06:41:59 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
2025-07-25 06:42:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 06:44:29 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-07-25 06:46:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-25 06:46:19 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-07-25 06:49:41 +0200 <Square3> When using type families and let users of your library define them (mostly empty constructor types for my use case) I could not come up with a good name. type-key?
2025-07-25 06:52:44 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-07-25 06:54:38 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Remote host closed the connection)
2025-07-25 06:57:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 07:01:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 07:06:02 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-07-25 07:11:54 +0200rvalue(~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
2025-07-25 07:12:27 +0200rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-07-25 07:12:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 07:15:56 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 07:16:10 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 07:16:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 07:17:25 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-25 07:26:29 +0200michalz(~michalz@185.246.207.221)
2025-07-25 07:28:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 07:28:12 +0200Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2025-07-25 07:28:17 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-07-25 07:31:39 +0200Leary(~Leary@user/Leary/x-0910699) Leary
2025-07-25 07:35:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-25 07:38:59 +0200 <Axman6> Is there an easy way to find reverse dependencies these days? I know stackage has a way to do it, but only for packages in stackage
2025-07-25 07:43:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 07:43:23 +0200 <probie> Axman6: https://hackage.haskell.org/packages/reverse
2025-07-25 07:43:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-25 07:43:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-25 07:44:48 +0200haritz(~hrtz@user/haritz) (Remote host closed the connection)
2025-07-25 07:45:51 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 07:47:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 07:48:04 +0200 <Axman6> Hmm, well I guess the package I was looking at has no reverse deps
2025-07-25 07:54:28 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2025-07-25 07:55:18 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-25 07:58:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 08:01:58 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-25 08:02:47 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 08:03:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 08:03:28 +0200biberu(~biberu@user/biberu) biberu
2025-07-25 08:03:30 +0200 <jackdk> https://packdeps.haskellers.com/reverse/lens, but there's now also a "reverse dependencies" section and a details link on individual package pages
2025-07-25 08:07:33 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-07-25 08:13:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 08:18:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-07-25 08:23:03 +0200ft(~ft@p508db189.dip0.t-ipconnect.de) (Quit: leaving)
2025-07-25 08:25:24 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-07-25 08:27:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 08:28:11 +0200Square2(~Square@user/square) Square
2025-07-25 08:29:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 08:29:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2025-07-25 08:30:35 +0200trickard_trickard
2025-07-25 08:31:57 +0200Square3(~Square4@user/square) (Ping timeout: 244 seconds)
2025-07-25 08:32:27 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-07-25 08:32:59 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-07-25 08:33:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 08:44:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 08:48:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 08:50:55 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-07-25 08:59:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 09:00:02 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-25 09:00:44 +0200caconym74(~caconym@user/caconym) caconym
2025-07-25 09:01:00 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-07-25 09:02:36 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-25 09:02:58 +0200Square2(~Square@user/square) (Ping timeout: 268 seconds)
2025-07-25 09:04:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 09:14:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 09:17:37 +0200Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-07-25 09:20:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 09:21:50 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-25 09:28:50 +0200acidjnk(~acidjnk@p200300d6e70b6659e0f4ab876444c8a9.dip0.t-ipconnect.de) acidjnk
2025-07-25 09:30:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 09:34:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 09:36:48 +0200tromp(~textual@2001:1c00:3487:1b00:81ab:f2a8:8ff8:b6bb)
2025-07-25 09:38:24 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-07-25 09:41:21 +0200jreicher(~user@user/jreicher) jreicher
2025-07-25 09:41:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 09:43:40 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-07-25 09:46:51 +0200poscat(~poscat@user/poscat) poscat
2025-07-25 09:48:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 09:50:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 09:50:09 +0200lunaGUADECOnline(~luna@90-227-72-210-no600.tbcn.telia.com)
2025-07-25 09:50:17 +0200 <absence> I'm running into problems similar to this contrived example recently, i.e. constraints on higher-ranked types: https://play.haskell.org/saved/rGQBg9cb Are there better ways to solve them than this? https://play.haskell.org/saved/pG1IGTMm
2025-07-25 09:52:02 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-07-25 09:53:12 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 09:53:40 +0200vpan(~vpan@212.117.1.172)
2025-07-25 09:54:00 +0200vpanGuest9548
2025-07-25 09:54:46 +0200Guest9548vpan
2025-07-25 09:56:16 +0200lunaGUADECOnline(~luna@90-227-72-210-no600.tbcn.telia.com) ()
2025-07-25 09:56:39 +0200 <Leary> absence: Sure: rename `Combine` `&`.
2025-07-25 09:56:50 +0200 <Leary> Otherwise, it's what I'd do.
2025-07-25 09:57:33 +0200 <absence> Leary: Do you know if it's already defined in a common package?
2025-07-25 09:57:42 +0200 <Leary> Not that I'm aware of.
2025-07-25 09:59:48 +0200 <Leary> You can also avoid writing it out twice if you want: https://play.haskell.org/saved/pG1IGTMm
2025-07-25 10:00:05 +0200 <Leary> Err, forgot to fork it: https://play.haskell.org/saved/8fkdZkKQ
2025-07-25 10:01:32 +0200 <absence> Leary: That's a nice trick, thanks!
2025-07-25 10:02:42 +0200jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-07-25 10:04:33 +0200xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2025-07-25 10:04:34 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-25 10:04:49 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-07-25 10:06:42 +0200jreicher(~user@user/jreicher) jreicher
2025-07-25 10:08:54 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-25 10:09:28 +0200 <merijn> oh, you can do that more directly/explicitly
2025-07-25 10:09:41 +0200 <merijn> But I forgot the extension name, I might have an ancient gist of it
2025-07-25 10:10:58 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds)
2025-07-25 10:11:39 +0200 <merijn> ok, yeah, you want ConstraintKinds and TypeFamilies
2025-07-25 10:12:53 +0200 <merijn> You can simply write a type family combining your constraints straightup
2025-07-25 10:13:10 +0200 <Leary> It needs to be partially applied.
2025-07-25 10:14:04 +0200 <merijn> oh, might not even need TypeFamilies
2025-07-25 10:15:44 +0200jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-07-25 10:18:57 +0200 <lortabac> can't you apply the constraint tuple directly?
2025-07-25 10:20:03 +0200 <lortabac> oh I see
2025-07-25 10:20:08 +0200jreicher(~user@user/jreicher) jreicher
2025-07-25 10:21:11 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 10:21:15 +0200 <merijn> I was trying to make another example, but I don't understand what test is doing
2025-07-25 10:21:18 +0200 <merijn> *test1
2025-07-25 10:21:24 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 10:21:37 +0200 <merijn> it's basically const?
2025-07-25 10:22:09 +0200 <lortabac> I don't think it matters much what test1 does. IIUC the point of the example is the type application
2025-07-25 10:22:10 +0200jreicher(~user@user/jreicher) (Read error: Connection reset by peer)
2025-07-25 10:22:13 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 10:22:52 +0200 <merijn> Well it matters, because I'm trying to make an example with explicit Constraints and I dunno how to change the type because I don't understand what it's doing
2025-07-25 10:26:11 +0200 <merijn> Ah, I just discovered a fun limitation xD
2025-07-25 10:26:22 +0200 <merijn> Apparently @ application doesn't support Constraint
2025-07-25 10:26:46 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 10:27:40 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-25 10:29:50 +0200 <merijn> absence: So my idea won't save you if you wanna use TypeApplications, but just in case it happens to give you inspiration: Constraints are just type level families that you can compute with type level functions: https://gist.github.com/merijn/39dc86e345e87276c523
2025-07-25 10:30:08 +0200chele(~chele@user/chele) chele
2025-07-25 10:30:22 +0200 <merijn> Similar abuse: https://gist.github.com/merijn/6130082
2025-07-25 10:31:45 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 10:34:23 +0200 <Leary> merijn: That technique is more about escaping the unordered, open world of instances for (ordered) closed type families; I don't see how it helps here. Also, you would want to use `Unsatisfiable` for those errors these days.
2025-07-25 10:34:48 +0200__monty__(~toonn@user/toonn) toonn
2025-07-25 10:34:59 +0200 <Leary> Re type applications to constraints, it seems to work fine? https://play.haskell.org/saved/Efh4MP7v
2025-07-25 10:36:33 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-25 10:38:10 +0200jreicher(~user@user/jreicher) jreicher
2025-07-25 10:38:44 +0200 <merijn> Leary: Yes, I know about Unsatisfiable, that gist was the reason I proposed adding such a thing to GHC :p
2025-07-25 10:39:39 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-25 10:39:52 +0200ethereal_(~ethereal@user/ethereal-:30935) (Client Quit)
2025-07-25 10:40:08 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 10:40:33 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-25 10:50:23 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-25 10:57:46 +0200dhil(~dhil@5.151.29.137) dhil
2025-07-25 11:03:54 +0200dhil(~dhil@5.151.29.137) (Ping timeout: 260 seconds)
2025-07-25 11:04:13 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 11:04:43 +0200trickard_trickard
2025-07-25 11:07:00 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-07-25 11:07:00 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-07-25 11:07:00 +0200haritz(~hrtz@user/haritz) haritz
2025-07-25 11:09:15 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-07-25 11:11:17 +0200 <ethereal_> I'm currently reading through the lyah book and this is one of the examples
2025-07-25 11:11:21 +0200 <ethereal_> findKey key = foldr (\(k,v) acc -> if key == k then Just v else acc) Nothing
2025-07-25 11:11:59 +0200 <ethereal_> for finding the corresponding value to a key and wrapping it in a Maybe v
2025-07-25 11:12:20 +0200 <ethereal_> but I don't get why the author used foldr instead of perhaps foldl in this case
2025-07-25 11:12:49 +0200kuribas(~user@ptr-17d51em1891au96qoa1.18120a2.ip6.access.telenet.be) kuribas
2025-07-25 11:13:26 +0200 <ethereal_> as far as i understood list are structured 1:2:3:4:[] so it seems to me that it is much more "expensive" to go from right to left instead of the other way around
2025-07-25 11:20:55 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-07-25 11:21:57 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
2025-07-25 11:23:04 +0200 <Leary> @src foldr
2025-07-25 11:23:04 +0200 <lambdabot> foldr f z [] = z
2025-07-25 11:23:04 +0200 <lambdabot> foldr f z (x:xs) = f x (foldr f z xs)
2025-07-25 11:23:27 +0200 <Leary> ethereal_: Operationally, they both go left-to-right, just with different association.
2025-07-25 11:29:44 +0200 <ethereal_> Leary: oh, so technically it would be irrelevant whether to use foldr or foldl?
2025-07-25 11:30:43 +0200 <vpan> ethereal_: as a fellow beginner I've revisited the question of which fold to use many times. ;) For the short version read the beginning of the Conclusion section - https://wiki.haskell.org/Foldr_Foldl_Foldl%27 . For a more elaborate explanation read the whole wiki page and/or https://github.com/hasura/graphql-engine/pull/2933#discussion_r328821960 .
2025-07-25 11:32:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-07-25 11:32:05 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 248 seconds)
2025-07-25 11:32:06 +0200 <ethereal_> vpan: thanks a lot, will read
2025-07-25 11:33:02 +0200 <jreicher> The conclusion is really the most important point. The choice is actually between lazy foldr and strict foldl. A lazy foldl is pointless.
2025-07-25 11:33:18 +0200doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 244 seconds)
2025-07-25 11:33:21 +0200 <ethereal_> mhmm i see
2025-07-25 11:33:31 +0200 <jreicher> So you can usually figure out if you want lazy or strict, and then the direction is a consequence.
2025-07-25 11:34:35 +0200 <ethereal_> alright, makes sense
2025-07-25 11:40:12 +0200 <[exa]> ethereal_: btw one design decision, foldr can "stream" (i.e. you can have many maps and foldrs and filters connected together and they can work in parallel), foldl can not because it has to process the last element of the list ot be able to give out a value
2025-07-25 11:40:39 +0200 <[exa]> (in turn foldl won't work on infinite lists)
2025-07-25 11:42:42 +0200 <ethereal_> [exa]: i see. I knew about the restriction to finite lists for foldl which makes sense. but i did not know about the stream property
2025-07-25 11:43:47 +0200 <jreicher> Strictness specifies an evaluation order, whereas anything lazy can be "reordered"
2025-07-25 11:44:09 +0200 <jreicher> (Doesn't necessarily mean the reordering will be beneficial though; only that it's possible)
2025-07-25 11:44:15 +0200 <[exa]> ethereal_: it's useful to try implementing `map` and `filter` and `group` with foldr
2025-07-25 11:45:40 +0200 <ethereal_> [exa]: thanks for the tip, i will give it a try
2025-07-25 11:45:47 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-25 11:45:49 +0200 <[exa]> among other, you might notice that if you have function with the usual list recursion pattern, such as `f [] = something, f (x:xs) = otherthing x xs`, this is essentially the same as `foldr otherthing something`
2025-07-25 11:46:16 +0200 <[exa]> kinda makes foldr a "universal patternmatch" for lists
2025-07-25 11:46:39 +0200 <ethereal_> makes sense
2025-07-25 11:46:42 +0200 <[exa]> (similarly check out `maybe` or `either`)
2025-07-25 11:46:57 +0200 <[exa]> :t maybe
2025-07-25 11:46:58 +0200 <lambdabot> b -> (a -> b) -> Maybe a -> b
2025-07-25 11:47:21 +0200 <[exa]> the 1st and 2nd arguments correspond to handling of the `Nothing` and `Just a` cases, respectively
2025-07-25 11:48:18 +0200 <ethereal_> hmm
2025-07-25 11:48:55 +0200 <ethereal_> i read about it, but so far i only know that they are used to handle cases where in some edge cases there is nothing to be returned
2025-07-25 11:49:48 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 11:50:02 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 11:51:28 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds)
2025-07-25 11:52:12 +0200 <[exa]> ethereal_: ah okay no worries then
2025-07-25 11:53:04 +0200 <[exa]> ethereal_: like list definition says "either we're at end or there's this item and more", Maybe definition says "either there's nothing or there's just this one item"
2025-07-25 11:53:41 +0200trickard_trickard
2025-07-25 11:53:55 +0200 <[exa]> so wanted to kinda draw a bit of parallel how the data definitions, functions that interpret them, and the "universal patternmatch" functions (foldr, maybe) correspond to each other
2025-07-25 11:58:07 +0200 <ethereal_> [exa]: oh alr, will keep this in mind. Right now this just sounds like magic to me :D
2025-07-25 11:58:24 +0200 <ethereal_> but your explanations makes sense
2025-07-25 11:58:41 +0200 <[exa]> ah ok, hope it helps :)
2025-07-25 11:59:34 +0200 <ethereal_> [exa]: no sure does. thanks :)
2025-07-25 12:00:17 +0200 <ski> (`f (x:xs) = otherthing x (f xs)')
2025-07-25 12:01:25 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-25 12:02:11 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-07-25 12:02:24 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 12:02:39 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 12:04:02 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 248 seconds)
2025-07-25 12:04:04 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 12:07:36 +0200ethereal_(~ethereal@user/ethereal-:30935) (Quit: back to learning haskell)
2025-07-25 12:07:43 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-07-25 12:07:48 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-07-25 12:08:49 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-25 12:14:18 +0200trickard_trickard
2025-07-25 12:15:08 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-07-25 12:18:30 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) (Remote host closed the connection)
2025-07-25 12:22:03 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 12:22:08 +0200kuribas(~user@ptr-17d51em1891au96qoa1.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2025-07-25 12:22:29 +0200 <[exa]> ski: oh true, thanks
2025-07-25 12:24:41 +0200Guest64(~Guest64@141.91.18.16)
2025-07-25 12:26:00 +0200 <Guest64> hey there, I still have some probs installing ghcup on my windows work pc. I have problems with wget via ghcup, but not if I use wget standalone. ghcup with curl does not work either. here's the error: https://paste.tomsmeding.com/2T2VFqkl
2025-07-25 12:26:29 +0200jespada(~jespada@2800:a4:220f:c200:b95d:d857:9586:6e38) (Ping timeout: 248 seconds)
2025-07-25 12:26:30 +0200 <Guest64> i had to download the ghcup-0.0.9.yaml manually already
2025-07-25 12:26:43 +0200 <haskellbridge> <maerwald> Are you in China?
2025-07-25 12:27:01 +0200 <Guest64> nope
2025-07-25 12:27:21 +0200Guest64(~Guest64@141.91.18.16) (Client Quit)
2025-07-25 12:27:36 +0200 <haskellbridge> <maerwald> ok
2025-07-25 12:27:38 +0200Guest64(~Guest64@141.91.18.16)
2025-07-25 12:27:51 +0200 <haskellbridge> <maerwald> Company network?
2025-07-25 12:28:01 +0200 <Guest64> yes
2025-07-25 12:28:13 +0200 <haskellbridge> <maerwald> kinda the same thing xD
2025-07-25 12:28:19 +0200 <Guest64> hahaha thx.. but downloading via browser works
2025-07-25 12:28:29 +0200 <Guest64> when using the url
2025-07-25 12:28:29 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-25 12:28:50 +0200 <haskellbridge> <maerwald> Ask your administrator
2025-07-25 12:28:52 +0200 <haskellbridge> <maerwald> not much we can do about it
2025-07-25 12:28:57 +0200 <Guest64> ok thank you :)
2025-07-25 12:29:31 +0200puke(~puke@user/puke) (Remote host closed the connection)
2025-07-25 12:29:56 +0200puke(~puke@user/puke) puke
2025-07-25 12:30:01 +0200jespada(~jespada@2800:a4:2207:8000:b181:ffa6:1f80:edac) jespada
2025-07-25 12:30:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-25 12:39:07 +0200doyougnu(~doyougnu@38.175.72.111) doyougnu
2025-07-25 12:41:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 12:41:55 +0200FANTOM(~fantom@87.74.59.94) (Ping timeout: 252 seconds)
2025-07-25 12:43:39 +0200FANTOM(~fantom@87.74.59.94)
2025-07-25 12:48:17 +0200Guest64(~Guest64@141.91.18.16) (Ping timeout: 272 seconds)
2025-07-25 12:48:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-25 12:52:12 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 12:52:26 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 12:57:08 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 13:00:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 13:07:08 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-07-25 13:08:22 +0200doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 272 seconds)
2025-07-25 13:08:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 13:13:06 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 252 seconds)
2025-07-25 13:13:19 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-25 13:14:30 +0200doyougnu(~doyougnu@38.175.72.111)
2025-07-25 13:16:51 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-07-25 13:17:27 +0200tromp(~textual@2001:1c00:3487:1b00:81ab:f2a8:8ff8:b6bb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-25 13:18:43 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-07-25 13:19:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-07-25 13:19:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-07-25 13:20:03 +0200Lord_of_Life_Lord_of_Life
2025-07-25 13:21:11 +0200trickard_trickard
2025-07-25 13:23:54 +0200doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 260 seconds)
2025-07-25 13:27:19 +0200doyougnu(~doyougnu@38.175.72.111) doyougnu
2025-07-25 13:33:38 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2025-07-25 13:42:37 +0200polux(~polux@51-15-169-172.rev.poneytelecom.eu) polux
2025-07-25 13:42:54 +0200doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 252 seconds)
2025-07-25 13:46:58 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-25 13:47:30 +0200doyougnu(~doyougnu@38.175.72.111)
2025-07-25 13:54:27 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-07-25 13:57:28 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-07-25 13:58:34 +0200doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 252 seconds)
2025-07-25 14:01:36 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-25 14:04:10 +0200doyougnu(~doyougnu@38.175.72.111) doyougnu
2025-07-25 14:04:21 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 14:05:18 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 14:15:59 +0200doyougnu(~doyougnu@38.175.72.111) (Ping timeout: 260 seconds)
2025-07-25 14:16:38 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 14:18:50 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-07-25 14:20:03 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-07-25 14:24:29 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 14:24:43 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 14:28:47 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 14:29:05 +0200doyougnu(~doyougnu@38.175.72.111) doyougnu
2025-07-25 14:30:14 +0200tromp(~textual@2001:1c00:3487:1b00:81ab:f2a8:8ff8:b6bb)
2025-07-25 14:32:09 +0200xff0x(~xff0x@2405:6580:b080:900:982d:85df:7e3d:122a)
2025-07-25 14:37:38 +0200alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-07-25 14:38:22 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 14:38:37 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 14:46:15 +0200tromp(~textual@2001:1c00:3487:1b00:81ab:f2a8:8ff8:b6bb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-25 14:49:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 14:57:47 +0200jackdk(sid373013@cssa/life/jackdk) (Quit: Connection closed for inactivity)
2025-07-25 14:57:58 +0200Vq(~vq@81-226-147-244-no600.tbcn.telia.com) (Ping timeout: 240 seconds)
2025-07-25 15:01:28 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-25 15:03:50 +0200doyougnu(~doyougnu@38.175.72.111) (Quit: ZNC 1.8.2 - https://znc.in)
2025-07-25 15:04:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 15:04:36 +0200doyougnu(~doyougnu@38.175.72.111) doyougnu
2025-07-25 15:06:14 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 15:17:57 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-07-25 15:19:04 +0200milan(~milan@88.212.61.169)
2025-07-25 15:19:42 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-07-25 15:22:47 +0200 <milan> Hello! I have read that haskell doesn't check if instances obey typeclass laws. Why is that so? Wouldn't it be useful?
2025-07-25 15:23:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 15:27:30 +0200 <[exa]> milan: it's pretty hard to check tbh, in some cases I'd say undecidable
2025-07-25 15:28:03 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-07-25 15:29:35 +0200 <int-e> Yeah these things very quickly become undecidable, and Haskell is not a theorem proving language, it's a programming language.
2025-07-25 15:30:36 +0200 <int-e> In a theorem prover, this wouldn't happen automatically either but you'd get proof obligations. (With different terminology, e.g. locales in Isabelle.)
2025-07-25 15:31:06 +0200 <[exa]> milan: notably, the "practical" part of the laws, which is 1] checkable quite easily and 2] absolutely trashes everything if disobeyed, are the instance method types
2025-07-25 15:31:37 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 15:32:09 +0200 <[exa]> usually if people need more checking for their classes, they just try to encode the applicable checks into the types
2025-07-25 15:33:34 +0200 <[exa]> (and there's effort to encode the checks there, e.g. dependent haskell, but there's also reasons why dependent haskell is taking forever to get finished/adopted by mainstream)
2025-07-25 15:33:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 15:34:35 +0200 <[exa]> milan: did you try Agda?
2025-07-25 15:35:01 +0200 <milan> What are "the checks" here? Is this some kind of extension where I specify something like "unit tests" in other languages?
2025-07-25 15:35:07 +0200ft(~ft@p508db189.dip0.t-ipconnect.de) ft
2025-07-25 15:35:30 +0200 <milan> [exa]: No not yet.
2025-07-25 15:36:03 +0200 <[exa]> milan: "check" very generically as something that actually verifies e.g. the functor identity laws
2025-07-25 15:36:19 +0200 <[exa]> notably unit tests won't quite do it
2025-07-25 15:37:49 +0200 <milan> Yeah I get why unit tests won't solve problem. It is because I can have `fmap f (MyInt x) = if x == 1234567 then MyInt f (x+1) else MyInt (f x)`
2025-07-25 15:38:53 +0200 <[exa]> yeah, basically, extensional testing (this kind of testing where you throw values at it and see if they go right) doesn't quite cover it for infinite datatypes
2025-07-25 15:39:54 +0200 <[exa]> what some people do is that you can make a program to which you throw the required types and laws and it generates the law-obeying code for you, if specified sufficiently well (this sounds ugly lot like LLMs but they are absolutely not, there are exact methods for this)
2025-07-25 15:39:55 +0200 <milan> [exa]: Yeah and I guess there is no other alternative?
2025-07-25 15:40:28 +0200 <[exa]> see e.g. djinn, you essentially give it a type and it reports (hopefully the only most general) implementation
2025-07-25 15:40:34 +0200 <[exa]> let's check
2025-07-25 15:41:11 +0200 <[exa]> @djinn (a,b) -> (a->c) -> (b,c)
2025-07-25 15:41:12 +0200 <lambdabot> f (a, b) c = (b, c a)
2025-07-25 15:41:33 +0200 <int-e> . o O ( let's check first )
2025-07-25 15:41:35 +0200 <int-e> :t first
2025-07-25 15:41:36 +0200 <lambdabot> Arrow a => a b c -> a (b, d) (c, d)
2025-07-25 15:41:52 +0200 <int-e> (different argument order, and slightly more general)
2025-07-25 15:42:15 +0200 <int-e> oh
2025-07-25 15:42:21 +0200 <int-e> sorry, I missed the swap
2025-07-25 15:42:31 +0200 <[exa]> milan: this approach kindof prevents this issue of "programmer has smuggled an evil corner case into the program"
2025-07-25 15:42:34 +0200 <[exa]> int-e: ah np
2025-07-25 15:43:35 +0200 <milan> Hmm...
2025-07-25 15:43:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 15:44:20 +0200 <milan> THank you all for info
2025-07-25 15:44:36 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 15:44:52 +0200 <[exa]> milan: just curious, did you have any course on enumerability on complexity (mainly, halting problem)
2025-07-25 15:46:18 +0200 <[exa]> (in short, what's stupid on computer science is that most problems where you try to prove that programs have properties basically reduce to solving something of the complexity of the halting problem... which unfortunately does not solve)
2025-07-25 15:48:12 +0200 <int-e> [exa]: sorry, I saw a pun :P
2025-07-25 15:48:26 +0200 <milan> milan: I had no official courses. I am learning on my own, and yes I heard about halting problem. And I was thinking if this is the case.
2025-07-25 15:50:33 +0200 <[exa]> yeah, it's not exactly the case as halting, but very similar issue indeed
2025-07-25 15:50:53 +0200 <[exa]> https://en.wikipedia.org/wiki/Rice%27s_theorem
2025-07-25 15:51:13 +0200 <milan> The idea is funny. I understand it like there can't be "process" by which you can analyze some "description of calculation" and find what result it will produce. Yet! We humans look at "source code of factorial program" and see that it will or will not produce correct result.
2025-07-25 15:51:57 +0200 <[exa]> yeah, the borderline there is cloudy
2025-07-25 15:52:04 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-07-25 15:52:54 +0200 <[exa]> some properties are indeed trivial, e.g. in Haskell "the program can't access IO" implies "the program won't write files" ("... unless the runtime does a mistake")
2025-07-25 15:54:13 +0200 <[exa]> the typesystems are actually an example of such properties which are quite practical, relatively useful and easy to prove
2025-07-25 15:58:26 +0200Digit(~user@user/digit) Digit
2025-07-25 15:59:37 +0200 <milan> Guyz... which language should I learn after I get bored with haskell? Isabelle, Agda maybe others?
2025-07-25 16:00:06 +0200 <glguy> C++ - go for the other extreme
2025-07-25 16:01:28 +0200 <milan> I am affraid of C++ when I read about it I feel "feature creep" and it evokes "javascript" feeling in me. I hate Javascript..to be honest.
2025-07-25 16:04:11 +0200weary-traveler(~user@user/user363627) user363627
2025-07-25 16:05:10 +0200 <milan> I did my fair share of programming in imperative languages. They all have some rough corners but Javascript is trully an abomination. Its amalgamation of bad decisions to the point I classify it as eso lang.
2025-07-25 16:05:35 +0200 <milan> C++ is probably of same kind.
2025-07-25 16:06:10 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-07-25 16:07:12 +0200 <lxsameer> hey friends, I have a type like this `newtype Result t = Result {getResult :: Either ErrorList t}` in order to create a ResultT, which declaration is correct? `data ResultT m a = Result {getResultT :: Either ErrorList (m a)}` vs `data ResultT m a = Result {getResultT :: m (Either ErrorList a)}`?
2025-07-25 16:08:35 +0200 <[exa]> milan: some assembly never bad, nasm is great with macros ;)
2025-07-25 16:08:54 +0200 <[exa]> milan: do you know prolog?
2025-07-25 16:09:05 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 268 seconds)
2025-07-25 16:09:27 +0200 <[exa]> anyway c++ is completely different from javascript, the fact that the syntax looks alike is.....deceiving
2025-07-25 16:10:27 +0200 <[exa]> lxsameer: it's useful to name the accessors of transformers with "run" because then it clicks that you're supposed to "run it in the other monad"
2025-07-25 16:12:15 +0200__monty__(~toonn@user/toonn) (Ping timeout: 276 seconds)
2025-07-25 16:12:45 +0200 <[exa]> lxsameer: in this case, can you get the ErrorList without executing a single action in the `m` ?
2025-07-25 16:13:03 +0200 <milan> [exa]: I heard about it.. no sadly only imparative languages, and my first functional is Haskell, I heard about Lisp (not sure if I should spent time on it)
2025-07-25 16:13:57 +0200 <[exa]> milan: lisp (or scheme) is nice to see... recommend this https://docs.scheme.org/tyscheme/index-Z-H-1.html
2025-07-25 16:15:03 +0200__monty__(~toonn@user/toonn) toonn
2025-07-25 16:17:47 +0200[exa]-> afk
2025-07-25 16:19:01 +0200 <lxsameer> [exa]: thank you, noted. good question, hmmm errorlist would be a possible result of that action
2025-07-25 16:20:34 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 244 seconds)
2025-07-25 16:27:52 +0200trickard_trickard
2025-07-25 16:30:40 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-07-25 16:54:49 +0200LainIwakura38(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 16:57:11 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-25 17:02:04 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-25 17:06:28 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 240 seconds)
2025-07-25 17:09:13 +0200LainIwakura38(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-25 17:11:26 +0200inline_inline
2025-07-25 17:14:58 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-25 17:16:36 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-25 17:17:38 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 17:18:35 +0200 <lxsameer> for someone with very little experience with effect systems, which one do you recommend? effectful or bluefin?
2025-07-25 17:18:51 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 17:21:07 +0200xff0x_(~xff0x@2405:6580:b080:900:9fb0:920e:4345:532f)
2025-07-25 17:22:52 +0200 <haskellbridge> <magic_rb> I think theyre equivalent in usage complexity
2025-07-25 17:23:29 +0200 <haskellbridge> <magic_rb> If you want to implement your own effects than idk how that looks in bluefin, but in effectful it can go from easy to really hard
2025-07-25 17:23:42 +0200xff0x(~xff0x@2405:6580:b080:900:982d:85df:7e3d:122a) (Ping timeout: 268 seconds)
2025-07-25 17:25:48 +0200 <lxsameer> magic_rb: ahhhh, that's what I'm trying to avoid
2025-07-25 17:28:15 +0200ethereal_(~ethereal@user/ethereal-:30935) ethereal_
2025-07-25 17:28:44 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-07-25 17:29:34 +0200milan(~milan@88.212.61.169) (Quit: WeeChat 4.5.2)
2025-07-25 17:31:21 +0200jespada_(~jespada@2800:a4:2207:8000:d5db:6cbf:f604:8b75) jespada
2025-07-25 17:32:49 +0200jespada(~jespada@2800:a4:2207:8000:b181:ffa6:1f80:edac) (Ping timeout: 265 seconds)
2025-07-25 17:36:19 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-07-25 17:38:46 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-07-25 17:43:44 +0200ethereal_(~ethereal@user/ethereal-:30935) (Quit: inactive)
2025-07-25 17:49:49 +0200Square2(~Square@user/square) Square
2025-07-25 17:51:00 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-07-25 17:58:41 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-07-25 18:08:16 +0200jmcantrell_jmcantrell
2025-07-25 18:17:26 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-25 18:19:20 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-07-25 18:26:53 +0200chele(~chele@user/chele) (Remote host closed the connection)
2025-07-25 18:28:51 +0200Vq(~vq@81-226-147-244-no600.tbcn.telia.com) Vq
2025-07-25 18:29:32 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 18:30:55 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-25 18:32:03 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2025-07-25 18:34:14 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-25 18:37:34 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-07-25 18:45:20 +0200xff0x_(~xff0x@2405:6580:b080:900:9fb0:920e:4345:532f) (Quit: xff0x_)
2025-07-25 18:45:27 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-07-25 18:46:03 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-07-25 18:48:13 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 18:56:48 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-07-25 18:58:52 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-25 18:59:12 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 18:59:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-25 19:00:19 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-07-25 19:00:32 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-07-25 19:00:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 19:02:50 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-07-25 19:03:43 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 245 seconds)
2025-07-25 19:07:03 +0200jespada(~jespada@2800:a4:2207:8000:c948:c75:6f75:378b) jespada
2025-07-25 19:10:06 +0200tromp(~textual@2001:1c00:3487:1b00:81ab:f2a8:8ff8:b6bb)
2025-07-25 19:10:38 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-25 19:10:56 +0200jespada_(~jespada@2800:a4:2207:8000:d5db:6cbf:f604:8b75) (Ping timeout: 265 seconds)
2025-07-25 19:13:31 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-07-25 19:15:14 +0200 <carbolymer> hackage choking atm?
2025-07-25 19:15:14 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
2025-07-25 19:15:34 +0200 <carbolymer> cabal update seems to be stuck for me
2025-07-25 19:15:34 +0200xff0x(~xff0x@2405:6580:b080:900:b481:5caf:ffc4:ee6b)
2025-07-25 19:15:34 +0200milan(~milan@88.212.61.169)
2025-07-25 19:18:47 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-25 19:20:38 +0200 <geekosaur> it succeeded for me a few minutes ago fwiw
2025-07-25 19:20:51 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-25 19:21:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-25 19:23:36 +0200xff0x(~xff0x@2405:6580:b080:900:b481:5caf:ffc4:ee6b) (Quit: xff0x)
2025-07-25 19:27:49 +0200euphores(~SASL_euph@user/euphores) euphores
2025-07-25 19:35:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 19:39:18 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 19:40:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 19:48:42 +0200 <monochrom> Belated about two different languages/semantics having the same syntax: I taught both Haskell and Curry in the same course so they have the same syntax but opposite semantics. >:)
2025-07-25 19:49:10 +0200 <monochrom> (The real reason is that I wanted to teach both FP and LP but I couldn't be bothered with Prolog.)
2025-07-25 19:51:12 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-25 19:51:25 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.6.3)
2025-07-25 19:52:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 19:52:56 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek
2025-07-25 19:53:41 +0200tromp(~textual@2001:1c00:3487:1b00:81ab:f2a8:8ff8:b6bb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-25 19:57:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-07-25 19:59:55 +0200tromp(~textual@2001:1c00:3487:1b00:4059:cbda:6945:971f)
2025-07-25 20:00:17 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-07-25 20:09:50 +0200milan(~milan@88.212.61.169) (Quit: WeeChat 4.5.2)
2025-07-25 20:10:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 20:18:04 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-07-25 20:23:21 +0200Square2(~Square@user/square) Square
2025-07-25 20:26:45 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-07-25 20:27:21 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 20:29:44 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Quit: Client closed)
2025-07-25 20:30:07 +0200trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-25 20:30:21 +0200trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-07-25 20:31:13 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-07-25 20:32:15 +0200Square2(~Square@user/square) (Ping timeout: 276 seconds)
2025-07-25 20:32:58 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-07-25 20:34:56 +0200 <__monty__> How different is Prolog from Curry?
2025-07-25 20:35:35 +0200APic(apic@apic.name) (Quit: Reconnecting)
2025-07-25 20:36:57 +0200 <monochrom> I would not be proud of teaching Prolog. I would be proud of teaching Curry.
2025-07-25 20:37:03 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-07-25 20:37:08 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-25 20:37:36 +0200tromp(~textual@2001:1c00:3487:1b00:4059:cbda:6945:971f) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-07-25 20:37:40 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-25 20:39:26 +0200tromp(~textual@2001:1c00:3487:1b00:4059:cbda:6945:971f)
2025-07-25 20:39:55 +0200sprotte24(~sprotte24@p200300d16f08e300e810df2cd5250b84.dip0.t-ipconnect.de)
2025-07-25 20:42:14 +0200APic(apic@chiptune.apic.name) APic
2025-07-25 20:42:41 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-25 20:44:54 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 20:46:38 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-25 20:46:38 +0200ljdarj1ljdarj
2025-07-25 20:46:59 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-07-25 20:47:14 +0200ouilemur(~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3)
2025-07-25 20:50:44 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2025-07-25 20:53:31 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 248 seconds)
2025-07-25 20:54:09 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-25 20:54:23 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-07-25 21:00:05 +0200caconym74(~caconym@user/caconym) (Quit: bye)
2025-07-25 21:00:47 +0200caconym74(~caconym@user/caconym) caconym
2025-07-25 21:05:39 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-07-25 21:08:07 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 21:08:22 +0200prdak(~Thunderbi@user/prdak) prdak
2025-07-25 21:09:53 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 272 seconds)
2025-07-25 21:12:49 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
2025-07-25 21:12:54 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-25 21:23:14 +0200jespada_(~jespada@2800:a4:2207:8000:34fc:68e6:8a6d:8760) jespada
2025-07-25 21:24:22 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-07-25 21:25:18 +0200jespada(~jespada@2800:a4:2207:8000:c948:c75:6f75:378b) (Ping timeout: 265 seconds)
2025-07-25 21:25:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-07-25 21:26:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 21:30:22 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2025-07-25 21:30:46 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
2025-07-25 21:33:49 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-07-25 21:37:12 +0200ouilemur(~jgmerritt@user/ouilemur) ouilemur
2025-07-25 21:43:59 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-07-25 21:50:34 +0200trickard_trickard
2025-07-25 21:52:44 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
2025-07-25 21:58:26 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2025-07-25 22:00:13 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 22:05:06 +0200caubert(~caubert@user/caubert) (Ping timeout: 248 seconds)
2025-07-25 22:05:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-25 22:06:13 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds)
2025-07-25 22:08:25 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-07-25 22:13:09 +0200perro(~aaron@syn-072-178-186-089.res.spectrum.com) (Ping timeout: 260 seconds)
2025-07-25 22:14:05 +0200perro(~aaron@syn-072-178-186-089.res.spectrum.com)
2025-07-25 22:15:17 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-07-25 22:17:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 22:18:00 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Quit: Client closed)
2025-07-25 22:18:09 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr)
2025-07-25 22:21:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 22:23:01 +0200Square2(~Square@user/square) Square
2025-07-25 22:24:33 +0200 <drlkf> hey, would anyone be willing to give me a hackage endorsement? i can provide my github profile and a package i'd like to upload
2025-07-25 22:27:41 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 22:29:17 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 22:29:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-07-25 22:32:29 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 22:34:39 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-07-25 22:36:23 +0200jespada_(~jespada@2800:a4:2207:8000:34fc:68e6:8a6d:8760) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-07-25 22:36:40 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 22:36:41 +0200pavonia(~user@user/siracusa) siracusa
2025-07-25 22:37:30 +0200jespada(~jespada@2800:a4:2207:8000:e588:340d:5790:7d6c) jespada
2025-07-25 22:41:31 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 22:41:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 22:42:11 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Remote host closed the connection)
2025-07-25 22:43:58 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-07-25 22:44:27 +0200 <[exa]> drlkf: any issue sharing the package publicly? (#haskell crowd grabs popcorn)
2025-07-25 22:48:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-25 22:51:06 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 22:53:02 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-07-25 22:55:51 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 22:56:19 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-25 22:59:04 +0200tromp(~textual@2001:1c00:3487:1b00:4059:cbda:6945:971f) (Ping timeout: 260 seconds)
2025-07-25 22:59:30 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2025-07-25 22:59:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 23:04:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-25 23:09:07 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 23:15:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 23:16:34 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-25 23:17:24 +0200EvanRlooks around at the "crowd"
2025-07-25 23:20:31 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2025-07-25 23:20:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-25 23:20:56 +0200puke(~puke@user/puke) puke
2025-07-25 23:21:23 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 23:25:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-25 23:27:34 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2025-07-25 23:29:58 +0200caubert(~caubert@user/caubert) (Ping timeout: 240 seconds)
2025-07-25 23:30:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 23:31:33 +0200 <[exa]> EvanR: everyone's got their mouths full of popcorn, they can't talk
2025-07-25 23:31:59 +0200EvanRputs phone on silent
2025-07-25 23:31:59 +0200 <monochrom> haha
2025-07-25 23:34:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-25 23:35:45 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-07-25 23:37:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-07-25 23:40:51 +0200caubert(~caubert@user/caubert) caubert
2025-07-25 23:44:02 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-07-25 23:44:41 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-07-25 23:44:44 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-07-25 23:46:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-25 23:47:27 +0200tcard__(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-07-25 23:49:29 +0200sdrfan123(~sdrfan123@lfbn-ann-1-216-143.w86-200.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2025-07-25 23:50:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)