| 2025-01-09 00:00:02 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 00:00:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 00:00:37 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 00:00:42 +0000 | lol_ | (~lol@2603:3016:1e01:b9c0:794b:ce9f:2a3d:41ae) |
| 2025-01-09 00:00:47 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 00:01:19 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 00:01:20 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 00:03:48 +0000 | <haskellbridge> | <magic_rb> Oh i made the repo private, damn |
| 2025-01-09 00:03:49 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-09 00:04:26 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-09 00:04:55 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:480:d3aa:2a9:c319) (Ping timeout: 264 seconds) |
| 2025-01-09 00:10:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 00:18:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-09 00:29:42 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 00:30:50 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-09 00:32:50 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-09 00:34:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 00:37:19 +0000 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-09 00:40:41 +0000 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-09 00:41:03 +0000 | alist | (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) (Remote host closed the connection) |
| 2025-01-09 00:43:17 +0000 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-09 00:45:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 00:46:56 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f68a1608a41cd6a32b2.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-09 00:47:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:6d94:dd0b:4250:b8b3) (Ping timeout: 252 seconds) |
| 2025-01-09 00:47:58 +0000 | sprotte24 | (~sprotte24@p200300d16f1e660091235e642331973a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-09 00:51:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 00:59:36 +0000 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-09 01:01:42 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 01:01:44 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 01:02:19 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 01:02:20 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 01:02:54 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 01:02:54 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 01:03:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 01:07:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 01:12:12 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-01-09 01:18:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 01:20:36 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 2025-01-09 01:22:42 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 265 seconds) |
| 2025-01-09 01:22:48 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 01:24:10 +0000 | m5zs7k | (aquares@web10.mydevil.net) m5zs7k |
| 2025-01-09 01:25:24 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-09 01:26:51 +0000 | agent314 | (~quassel@37.19.210.25) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-09 01:33:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 01:35:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-09 01:36:05 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-09 01:37:52 +0000 | califax | (~califax@user/califx) califx |
| 2025-01-09 01:38:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 01:38:40 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-09 01:39:51 +0000 | otto_s | (~user@p4ff2701d.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-01-09 01:41:18 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-01-09 01:41:32 +0000 | otto_s | (~user@p4ff270f4.dip0.t-ipconnect.de) |
| 2025-01-09 01:48:40 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 260 seconds) |
| 2025-01-09 01:48:52 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-09 01:49:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 01:51:07 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-09 01:51:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-09 01:51:35 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 2025-01-09 01:51:45 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-01-09 01:52:52 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-09 01:53:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 01:54:28 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-09 02:03:17 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 02:03:26 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 02:03:43 +0000 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-09 02:03:43 +0000 | ChanServ | +v haskellbridge |
| 2025-01-09 02:03:59 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 02:04:00 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 02:04:33 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 02:04:34 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 02:04:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 02:08:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 02:11:31 +0000 | Square2 | (~Square4@user/square) Square |
| 2025-01-09 02:14:00 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-09 02:14:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-01-09 02:15:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 02:19:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 02:25:03 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-09 02:26:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 02:26:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 02:34:00 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2025-01-09 02:38:13 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-09 02:44:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 02:48:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 02:52:06 +0000 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) (Quit: The Lounge - https://thelounge.github.io) |
| 2025-01-09 02:52:49 +0000 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-09 02:54:24 +0000 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (Client Quit) |
| 2025-01-09 02:54:55 +0000 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-01-09 02:59:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:02:28 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-09 03:04:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 03:04:34 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-09 03:04:56 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 03:04:58 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 03:05:32 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 03:05:41 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-09 03:05:42 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-135.cust.tzulo.com) (Client Quit) |
| 2025-01-09 03:06:14 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-09 03:15:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:19:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 03:20:05 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-01-09 03:22:12 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 03:25:28 +0000 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-09 03:30:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:35:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 03:36:33 +0000 | <hololeap> | how to handle case statements where two of the three branches share most of the same code, but not all? |
| 2025-01-09 03:37:09 +0000 | <hololeap> | I could shove the shared code into some function, or add another inner case statements with a redundant extra branch |
| 2025-01-09 03:38:54 +0000 | <glguy> | hololeap: shared function is a good default |
| 2025-01-09 03:42:10 +0000 | <ephemient> | speaking of which, I'm a little amazed it took so long for this to arrive, but it finally did: https://downloads.haskell.org/ghc/9.12.1/docs/users_guide/exts/or_patterns.html |
| 2025-01-09 03:42:34 +0000 | <jle`> | hyped for or patterns |
| 2025-01-09 03:42:37 +0000 | <jle`> | also hyped for multiline strings |
| 2025-01-09 03:42:50 +0000 | <hololeap> | that would be perfect for this |
| 2025-01-09 03:42:55 +0000 | <hololeap> | (or patterns) |
| 2025-01-09 03:42:56 +0000 | <jle`> | er hyped as in hyped to migrate lol |
| 2025-01-09 03:44:30 +0000 | <hololeap> | in this code I'm working on, the two branches that share code have different types attached to their constructors, so now my shared function needs to take an Either |
| 2025-01-09 03:45:14 +0000 | <hololeap> | which is just really clunky |
| 2025-01-09 03:45:26 +0000 | gdr3941 | (~user@50.234.116.5) gdr3941 |
| 2025-01-09 03:45:28 +0000 | <glguy> | then or-patterns probably wouldn't have helped |
| 2025-01-09 03:46:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 03:46:12 +0000 | glguy | . o O (or-patterns combined with view patterns) |
| 2025-01-09 03:48:24 +0000 | <hololeap> | I just need to separate the two constructors that share common logic into their own type, I think, so I can do a nested case statement without the final `_ -> undefined` redundant catchall |
| 2025-01-09 03:48:50 +0000 | <hololeap> | or turn off -Wincomplete-patterns (boo) |
| 2025-01-09 03:50:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 03:55:02 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2025-01-09 03:55:50 +0000 | gdr3941` | (~user@50.234.116.5) |
| 2025-01-09 03:56:20 +0000 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-09 03:57:03 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-09 03:57:40 +0000 | nkatte | (~nkatte@user/nkatte) nkatte |
| 2025-01-09 03:58:45 +0000 | gdr3941 | (~user@50.234.116.5) (Ping timeout: 248 seconds) |
| 2025-01-09 04:00:53 +0000 | user363627 | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-01-09 04:01:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:01:42 +0000 | housemate | (~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 04:08:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 04:08:59 +0000 | gdr3941` | (~user@50.234.116.5) (Quit: done) |
| 2025-01-09 04:09:13 +0000 | nkatte | (~nkatte@user/nkatte) (Quit: nkatte) |
| 2025-01-09 04:13:15 +0000 | <hololeap> | I think I see now what to do here (use a shared function but normalize the two types so there is no Either) |
| 2025-01-09 04:13:27 +0000 | <hololeap> | kind of a duh moment |
| 2025-01-09 04:15:01 +0000 | <hololeap> | it's also a desugared version of what OrPatterns+ViewPatterns would do |
| 2025-01-09 04:15:56 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-01-09 04:19:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:24:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-09 04:26:14 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-01-09 04:26:45 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-09 04:29:30 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-09 04:30:15 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-09 04:31:29 +0000 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-01-09 04:35:17 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-01-09 04:48:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 04:52:38 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-09 04:53:26 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 04:59:27 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-09 05:03:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:08:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-09 05:11:26 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-01-09 05:16:25 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-09 05:19:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:24:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 05:24:37 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-01-09 05:24:58 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:cec4:708e:faa4:70c5) youngfrog |
| 2025-01-09 05:28:54 +0000 | michalz | (~michalz@185.246.207.221) |
| 2025-01-09 05:30:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:30:43 +0000 | housemate | (~housemate@pa49-185-55-223.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2025-01-09 05:38:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 05:49:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 05:56:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 05:57:03 +0000 | <EvanR> | this kind of stuff really bleeds into your norms of what to do in imperative languages where that code duplication comes up a lot |
| 2025-01-09 05:57:42 +0000 | <EvanR> | where it's like, not as inconvenient to just write almost the same code over again, and less people complain about it XD |
| 2025-01-09 05:58:07 +0000 | <EvanR> | or there's some kind of language feature to kind of help like mutable variables |
| 2025-01-09 06:08:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:09:37 +0000 | housemate | (~housemate@pa49-199-197-80.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 06:12:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 06:18:27 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-09 06:23:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:28:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 06:31:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:40:42 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
| 2025-01-09 06:40:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 06:42:12 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2025-01-09 06:48:49 +0000 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-09 06:51:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 06:55:15 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f4469bf750ee24b39bc.dip0.t-ipconnect.de) |
| 2025-01-09 06:56:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-09 06:57:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-09 07:01:41 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-01-09 07:03:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 07:04:56 +0000 | hawer | (~newyear@2.219.56.221) |
| 2025-01-09 07:06:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:08:54 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-09 07:10:28 +0000 | CiaoSen | (~Jura@46.167.29.227) CiaoSen |
| 2025-01-09 07:10:31 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-09 07:10:55 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-09 07:10:57 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-09 07:11:39 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-09 07:16:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-09 07:17:40 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-01-09 07:19:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-09 07:21:16 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-01-09 07:21:59 +0000 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-09 07:25:13 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 07:26:10 +0000 | <haskellbridge> | <maerwald> hololeap: Either is fine |
| 2025-01-09 07:26:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:27:02 +0000 | <haskellbridge> | <maerwald> if you have more than one or it comes up all the time, then there's time to abstract |
| 2025-01-09 07:27:27 +0000 | <haskellbridge> | <maerwald> I abstract when I see recurring patterns, not when something feels off at the start |
| 2025-01-09 07:27:36 +0000 | <haskellbridge> | <maerwald> otherwise there's no way to finish anything |
| 2025-01-09 07:31:07 +0000 | <haskellbridge> | <magic_rb> The enemy of progress, refactoring |
| 2025-01-09 07:31:11 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 07:31:50 +0000 | <haskellbridge> | <maerwald> yeah, prototyping first... finish it, then think about the mess you created |
| 2025-01-09 07:32:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:33:56 +0000 | HappyNewYear2025 | (~newyear@2.219.56.221) |
| 2025-01-09 07:34:46 +0000 | <hololeap> | true. this has just come up in the past so I figured I would ask |
| 2025-01-09 07:36:21 +0000 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-09 07:36:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 07:45:36 +0000 | jjnkn | (~jjnkn@45.12.27.165) |
| 2025-01-09 07:49:15 +0000 | alist | (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) |
| 2025-01-09 07:53:06 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 07:57:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 08:00:00 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-09 08:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-09 08:05:41 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-09 08:10:12 +0000 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-09 08:12:19 +0000 | vpan | (~vpan@212.117.1.172) |
| 2025-01-09 08:16:39 +0000 | agent314 | (~quassel@37.19.210.25) (Ping timeout: 244 seconds) |
| 2025-01-09 08:18:32 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-09 08:27:13 +0000 | dnerchm^ | (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2025-01-09 08:30:08 +0000 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-09 08:41:12 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-09 08:46:55 +0000 | dtman34 | (~dtman34@2601:447:d080:1a3c:6104:fe1a:e15b:6312) (Ping timeout: 260 seconds) |
| 2025-01-09 08:49:08 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 08:57:16 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-09 08:59:19 +0000 | Guest62 | (~Guest62@212.233.194.115) |
| 2025-01-09 09:00:12 +0000 | Guest62 | (~Guest62@212.233.194.115) (Write error: Broken pipe) |
| 2025-01-09 09:02:23 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-09 09:06:41 +0000 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-09 09:06:56 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-09 09:22:39 +0000 | vpan | (~vpan@212.117.1.172) (Ping timeout: 265 seconds) |
| 2025-01-09 09:24:35 +0000 | vpan | (~vpan@212.117.1.172) |
| 2025-01-09 09:26:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 09:27:24 +0000 | housemate | (~housemate@pa49-199-197-80.pa.vic.optusnet.com.au) (Ping timeout: 276 seconds) |
| 2025-01-09 09:35:24 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-09 09:40:14 +0000 | jespada | (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) jespada |
| 2025-01-09 09:44:24 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-09 09:48:53 +0000 | rynite | (~bwkam@user/rynite) rynite |
| 2025-01-09 09:52:14 +0000 | JamesMowery439 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 244 seconds) |
| 2025-01-09 09:52:48 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-09 09:59:40 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2025-01-09 10:01:02 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-09 10:05:29 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 10:06:56 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:5e7:9f65:befb:1c46) ubert |
| 2025-01-09 10:14:17 +0000 | sprotte24 | (~sprotte24@p200300d16f253600814d8e598f05b539.dip0.t-ipconnect.de) |
| 2025-01-09 10:17:05 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-09 10:24:46 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 10:26:33 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-01-09 10:27:39 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-01-09 10:39:13 +0000 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-09 10:39:42 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-09 10:39:48 +0000 | <haskellbridge> | <hellwolf> make it compile, git commit, refactor, git commit |
| 2025-01-09 10:39:58 +0000 | <haskellbridge> | <hellwolf> Haskell is great for this flow |
| 2025-01-09 10:40:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 10:40:08 +0000 | jespada | (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-09 10:40:50 +0000 | <haskellbridge> | <hellwolf> (oh, I should say, even better, to have a test framework and test before git commit) |
| 2025-01-09 10:42:03 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-09 10:42:55 +0000 | <haskellbridge> | <maerwald> most of the Haskell companies I've worked at didn't have an acutal test suite... I think IOG was the exception |
| 2025-01-09 10:44:26 +0000 | <orangeFlu> | what other haskell companies are out there? |
| 2025-01-09 10:44:38 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) alexherbo2 |
| 2025-01-09 10:44:48 +0000 | <hellwolf> | maerwald: that's surprising to hear |
| 2025-01-09 10:44:54 +0000 | <hellwolf> | Mercury |
| 2025-01-09 10:45:01 +0000 | <hellwolf> | Scrive |
| 2025-01-09 10:45:02 +0000 | <hellwolf> | etc. |
| 2025-01-09 10:46:13 +0000 | <hellwolf> | may I start a new topic, has it ever been discussed about having operators for `quot, rem, div, mod` |
| 2025-01-09 10:46:21 +0000 | <hellwolf> | ? |
| 2025-01-09 10:47:08 +0000 | <hellwolf> | say `//, //_, %, %_' where the variants without "_" matches the behaviour you would most likely encounter in other languages (truncating towards zero) |
| 2025-01-09 10:47:13 +0000 | <mari-estel> | i guess it has. Finding the conv is a different matter |
| 2025-01-09 10:47:41 +0000 | <mari-estel> | @hoogle % |
| 2025-01-09 10:47:42 +0000 | <lambdabot> | Data.Ratio (%) :: Integral a => a -> a -> Ratio a |
| 2025-01-09 10:47:42 +0000 | <lambdabot> | GHC.Real (%) :: Integral a => a -> a -> Ratio a |
| 2025-01-09 10:47:42 +0000 | <lambdabot> | Protolude (%) :: Integral a => a -> a -> Ratio a |
| 2025-01-09 10:48:03 +0000 | <mari-estel> | @hoogle // |
| 2025-01-09 10:48:05 +0000 | <hellwolf> | ones with "_" truncating towards negative infinity |
| 2025-01-09 10:48:10 +0000 | <lambdabot> | GHC.Arr (//) :: Ix i => Array i e -> [(i, e)] -> Array i e |
| 2025-01-09 10:48:10 +0000 | <lambdabot> | Data.Vector (//) :: Vector a -> [(Int, a)] -> Vector a |
| 2025-01-09 10:48:10 +0000 | <lambdabot> | Data.Vector.Generic (//) :: Vector v a => v a -> [(Int, a)] -> v a |
| 2025-01-09 10:48:40 +0000 | <mari-estel> | hm _ conventionally means "discard returned" |
| 2025-01-09 10:48:43 +0000 | <hellwolf> | incidentally, I didn't know that recent Python and Java uses "//" to mean integral divisions. |
| 2025-01-09 10:48:58 +0000 | <hellwolf> | 01-09 12:48 <mari-estel> hm _ conventionally means "discard returned" |
| 2025-01-09 10:48:58 +0000 | <hellwolf> | I know, but I dont' know what better variant to use. |
| 2025-01-09 10:49:05 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2025-01-09 10:49:16 +0000 | <hellwolf> | //- ? |
| 2025-01-09 10:49:23 +0000 | <mari-estel> | maybe they do not need to become operators |
| 2025-01-09 10:49:35 +0000 | <hellwolf> | could be an option. |
| 2025-01-09 10:49:57 +0000 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2025-01-09 10:53:56 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 2025-01-09 10:54:14 +0000 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-01-09 10:55:02 +0000 | byorgey | (~byorgey@user/byorgey) (Ping timeout: 252 seconds) |
| 2025-01-09 10:55:09 +0000 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2025-01-09 10:55:49 +0000 | <orangeFlu> | Java does not have // afaik |
| 2025-01-09 10:57:01 +0000 | <hellwolf> | am I being scammed by ChatGPT? |
| 2025-01-09 10:57:02 +0000 | <__monty__> | Alternatively, if you don't want to define them for yourself, you could add conceals (or whatever your editor calls them) for `div` et al. if you think it reads better or whatever. |
| 2025-01-09 10:57:23 +0000 | <__monty__> | Isn't that a line comment in Java? |
| 2025-01-09 10:57:35 +0000 | <hellwolf> | ya... :D |
| 2025-01-09 10:58:22 +0000 | <hellwolf> | > 2. **Integer or Floor Division**: Denoted by "//" in Python and Java 8 onwards, '%' in Swift or the `div` function in Pascal. This operator rounds the result down to the nearest whole number. For example, in Python, 5//2 will result in 2. |
| 2025-01-09 10:58:23 +0000 | <lambdabot> | <hint>:1:4: error: parse error on input ‘**’ |
| 2025-01-09 10:58:31 +0000 | <hellwolf> | nix-shell$ echo "Does Java not have // integer division operator, with two slashes" | chatgpt |
| 2025-01-09 10:58:31 +0000 | <hellwolf> | No, Java does not have a "//" operator for integer division. It uses the single "/" operator for both integer and floating point division. The type of division it performs (integer or floating point) depends on the types of the operands. If both operands are integers, it will perform integer division. If either or both operands are floating points, it will perform floating point division. |
| 2025-01-09 10:58:39 +0000 | <hellwolf> | I should stop using gpt for serious stuff. |
| 2025-01-09 10:59:24 +0000 | <enikar> | indeed ;) |
| 2025-01-09 10:59:57 +0000 | <hellwolf> | A cut and smart parrot is a parrot, after all. |
| 2025-01-09 11:00:45 +0000 | <enikar> | :) |
| 2025-01-09 11:03:50 +0000 | <__monty__> | The lack of operators encouraging the use of divMod and quotRem is actually kind of a feature. |
| 2025-01-09 11:04:47 +0000 | <hellwolf> | I already find two semantics for "//" in two different languages |
| 2025-01-09 11:04:50 +0000 | <hellwolf> | not a good start :) |
| 2025-01-09 11:04:56 +0000 | <hellwolf> | one for div one for quot |
| 2025-01-09 11:05:11 +0000 | <hellwolf> | in python, it is `div` |
| 2025-01-09 11:08:59 +0000 | CiaoSen | (~Jura@46.167.29.227) (Ping timeout: 265 seconds) |
| 2025-01-09 11:13:00 +0000 | <[exa]> | hellwolf: in julia the // is the rational % |
| 2025-01-09 11:13:14 +0000 | traxex | (traxex@user/traxex) traxex |
| 2025-01-09 11:13:40 +0000 | <[exa]> | (and many other languages are sufficiently lucky to have inherited the // comments from C to avoid this issue. :D) |
| 2025-01-09 11:14:30 +0000 | <haskellbridge> | <hellwolf> okay, you guys convinced me that I should shove "divMod" "quotRem" to people's throat. |
| 2025-01-09 11:16:29 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-01-09 11:21:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) |
| 2025-01-09 11:29:40 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2025-01-09 11:33:45 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) alexherbo2 |
| 2025-01-09 11:41:10 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 11:44:19 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-e9e7-2f9d-7370-79e4.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-09 11:49:55 +0000 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2025-01-09 11:50:02 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2025-01-09 11:57:43 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-09 11:58:13 +0000 | forell | (~forell@user/forell) (Ping timeout: 248 seconds) |
| 2025-01-09 11:59:36 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-09 12:00:04 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-09 12:01:06 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-09 12:02:17 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-09 12:03:50 +0000 | hseg | (~gesh@46.120.21.249) |
| 2025-01-09 12:04:12 +0000 | yin | (~z@user/zero) (Read error: Connection reset by peer) |
| 2025-01-09 12:07:17 +0000 | jespada | (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) jespada |
| 2025-01-09 12:07:49 +0000 | zero | (~z@user/zero) zero |
| 2025-01-09 12:17:34 +0000 | CiaoSen | (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-09 12:30:23 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) alexherbo2 |
| 2025-01-09 12:32:07 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-09 12:32:18 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-09 12:33:26 +0000 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-01-09 12:33:59 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-09 12:41:49 +0000 | forell | (~forell@user/forell) forell |
| 2025-01-09 12:47:31 +0000 | nkatte | (~nkatte@user/nkatte) nkatte |
| 2025-01-09 12:52:22 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-01-09 12:53:04 +0000 | Digitteknohippie | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-01-09 12:55:19 +0000 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-01-09 12:55:52 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2025-01-09 12:57:29 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 252 seconds) |
| 2025-01-09 12:57:41 +0000 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2025-01-09 12:57:41 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-09 13:01:27 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) pja |
| 2025-01-09 13:06:28 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-09 13:07:45 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 252 seconds) |
| 2025-01-09 13:09:03 +0000 | Digit | (~user@user/digit) Digit |
| 2025-01-09 13:09:44 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) pja |
| 2025-01-09 13:16:01 +0000 | CiaoSen | (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-09 13:18:42 +0000 | sprotte24 | (~sprotte24@p200300d16f253600814d8e598f05b539.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-09 13:31:46 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-09 13:32:16 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) (Ping timeout: 252 seconds) |
| 2025-01-09 13:34:28 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) alexherbo2 |
| 2025-01-09 13:34:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-09 13:35:18 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) |
| 2025-01-09 13:35:30 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 13:43:55 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 14:01:33 +0000 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-01-09 14:04:09 +0000 | Pixi__ | (~Pixi@user/pixi) Pixi |
| 2025-01-09 14:04:23 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-01-09 14:04:50 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 2025-01-09 14:06:39 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.4.4) |
| 2025-01-09 14:07:00 +0000 | Pixi` | (~Pixi@user/pixi) (Ping timeout: 246 seconds) |
| 2025-01-09 14:08:03 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-01-09 14:10:32 +0000 | hseg | (~gesh@46.120.21.249) (Quit: WeeChat 4.5.1) |
| 2025-01-09 14:12:23 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2025-01-09 14:15:08 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-01-09 14:18:40 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-09 14:20:47 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-01-09 14:21:02 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2025-01-09 14:21:05 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2025-01-09 14:21:05 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-09 14:22:24 +0000 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-09 14:37:19 +0000 | <hellwolf> | Can you reexport exposed-modules from an internal library without having to duplicate that listing? |
| 2025-01-09 14:37:22 +0000 | <hellwolf> | (cabal question) |
| 2025-01-09 14:37:54 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2025-01-09 14:38:57 +0000 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-01-09 14:39:25 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-09 14:39:57 +0000 | CiaoSen | (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-09 14:40:48 +0000 | cheater | (~Username@user/cheater) cheater |
| 2025-01-09 14:49:45 +0000 | CiaoSen | (~Jura@2a05:5800:226:eb00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-01-09 15:02:17 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-09 15:03:08 +0000 | Guest55 | (~Guest55@2a00:23c8:8d83:f901:879:abcb:e464:33a2) |
| 2025-01-09 15:03:39 +0000 | Guest55 | (~Guest55@2a00:23c8:8d83:f901:879:abcb:e464:33a2) (Client Quit) |
| 2025-01-09 15:13:53 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-01-09 15:15:16 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-09 15:16:27 +0000 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2025-01-09 15:18:19 +0000 | lol_ | jcarpenter2 |
| 2025-01-09 15:19:09 +0000 | <merijn> | reexporting is always gonna involve a duplicate listing |
| 2025-01-09 15:19:21 +0000 | <merijn> | because you have to write down what to reexport |
| 2025-01-09 15:19:56 +0000 | <merijn> | hellwolf: You can re-export them from the public library too |
| 2025-01-09 15:20:02 +0000 | <merijn> | (in the source, I mean) |
| 2025-01-09 15:20:05 +0000 | <merijn> | depending on what makes sense |
| 2025-01-09 15:21:33 +0000 | Digitteknohippie | Digit |
| 2025-01-09 15:24:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 15:25:17 +0000 | <tomsmeding> | hellwolf: have you tried a 'common' stanza? Not sure if it works for exposed-modules, but worth a try https://cabal.readthedocs.io/en/stable/cabal-package-description-file.html#common-stanzas |
| 2025-01-09 15:27:13 +0000 | <mari-estel> | nice, i want to recall to simplify some cabal files with lot of repetitions |
| 2025-01-09 15:27:44 +0000 | <tomsmeding> | the `cabal init` default cabal file actually uses a 'common' stanza already, to share `ghc-options: -Wall` |
| 2025-01-09 15:27:56 +0000 | <haskellbridge> | <hellwolf> oh, I do use common stanza |
| 2025-01-09 15:28:01 +0000 | <haskellbridge> | <hellwolf> but I haven't realized that I could use that |
| 2025-01-09 15:28:10 +0000 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-09 15:28:12 +0000 | <tomsmeding> | well I don't know if it works for exposed-modules too :p |
| 2025-01-09 15:28:17 +0000 | <haskellbridge> | <hellwolf> but I am not sure I like that approach for module listing |
| 2025-01-09 15:28:21 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-09 15:28:27 +0000 | <haskellbridge> | <hellwolf> it feels like distorting the structure of cabal file |
| 2025-01-09 15:28:34 +0000 | <haskellbridge> | <hellwolf> (if it work) |
| 2025-01-09 15:28:35 +0000 | <tomsmeding> | if you don't want this, then indeed the only recourse is re-listing |
| 2025-01-09 15:28:49 +0000 | housemate | (~housemate@pa49-185-147-81.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 15:30:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2025-01-09 15:30:57 +0000 | alexherbo2 | (~alexherbo@2a02-8440-e505-36d8-5418-ab3c-fe52-b949.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-09 15:32:54 +0000 | <tomsmeding> | exposed-modules is not in the right section of the cabal docs, makes me suspect it doesn't work with 'common' |
| 2025-01-09 15:33:03 +0000 | <tomsmeding> | (perhaps for good reason) |
| 2025-01-09 15:33:46 +0000 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-01-09 15:33:56 +0000 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-09 15:34:33 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 15:35:15 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-01-09 15:35:31 +0000 | housemate | (~housemate@pa49-185-147-81.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 2025-01-09 15:36:20 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-09 15:37:53 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Ping timeout: 248 seconds) |
| 2025-01-09 15:37:59 +0000 | housemate | (~housemate@pa49-185-123-160.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 15:38:38 +0000 | <hellwolf> | | Warning: yul-dsl.cabal:36:3: Unknown field: "exposed-modules" |
| 2025-01-09 15:39:01 +0000 | <hellwolf> | kinda expected |
| 2025-01-09 15:39:04 +0000 | <hellwolf> | logically |
| 2025-01-09 15:40:03 +0000 | Square | (~Square@user/square) Square |
| 2025-01-09 15:45:21 +0000 | housemate_ | (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 15:46:37 +0000 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-09 15:47:15 +0000 | housemate | (~housemate@pa49-185-123-160.pa.vic.optusnet.com.au) (Ping timeout: 252 seconds) |
| 2025-01-09 15:47:23 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-09 15:47:23 +0000 | tnt2 | tnt1 |
| 2025-01-09 15:48:02 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-09 15:49:24 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-09 15:49:39 +0000 | housemate_ | (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-09 15:49:44 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 15:51:27 +0000 | housemate | (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 15:51:49 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds) |
| 2025-01-09 15:54:35 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-09 15:54:50 +0000 | housemate | (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-09 15:55:10 +0000 | housemate | (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 15:56:40 +0000 | Everything | (~Everythin@195.138.86.118) Everything |
| 2025-01-09 15:59:45 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-09 16:01:34 +0000 | <mari-estel> | saw your post from haskell weekly, hellwolf. Cool project! |
| 2025-01-09 16:03:56 +0000 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-09 16:05:25 +0000 | jespada | (~jespada@2800:a4:12d:ab00:b8c0:591c:43dd:ac7f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-09 16:06:03 +0000 | <hellwolf> | mari-estel: cool :) I didn't know it got published there, me very happy. Anything particularly interests you? |
| 2025-01-09 16:11:35 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) oo_miguel |
| 2025-01-09 16:12:38 +0000 | <mari-estel> | well there are several interesting aspects. I am not familiar with ethereum but i am glad that there are more safe tools to work with contracts |
| 2025-01-09 16:14:54 +0000 | Everythi1g | (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 2025-01-09 16:15:13 +0000 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2025-01-09 16:15:15 +0000 | Everythi1g | (~Everythin@static.208.206.21.65.clients.your-server.de) (Client Quit) |
| 2025-01-09 16:15:34 +0000 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) Everything |
| 2025-01-09 16:16:38 +0000 | <hellwolf> | I try to make that case. |
| 2025-01-09 16:17:43 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-01-09 16:20:10 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f4469bf750ee24b39bc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-09 16:36:51 +0000 | sprotte24 | (~sprotte24@p200300d16f253600c5a38787ced491fd.dip0.t-ipconnect.de) |
| 2025-01-09 16:38:10 +0000 | jespada | (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) jespada |
| 2025-01-09 16:42:29 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-09 16:44:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f445c3b9e2aa830e6c1.dip0.t-ipconnect.de) |
| 2025-01-09 16:45:12 +0000 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-09 16:46:02 +0000 | housemate_ | (~housemate@pa49-199-91-123.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 16:47:48 +0000 | housemate | (~housemate@pa49-184-15-137.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2025-01-09 16:54:21 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-09 17:08:58 +0000 | ft | (~ft@p4fc2a354.dip0.t-ipconnect.de) ft |
| 2025-01-09 17:10:04 +0000 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-09 17:11:13 +0000 | housemate_ | (~housemate@pa49-199-91-123.pa.vic.optusnet.com.au) (Ping timeout: 248 seconds) |
| 2025-01-09 17:11:16 +0000 | hueso | (~root@user/hueso) hueso |
| 2025-01-09 17:13:57 +0000 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:5e7:9f65:befb:1c46) (Read error: Connection reset by peer) |
| 2025-01-09 17:15:15 +0000 | rynite | (~bwkam@user/rynite) (Quit: WeeChat 4.4.1) |
| 2025-01-09 17:16:28 +0000 | haritz | (~hrtz@user/haritz) (Read error: Connection reset by peer) |
| 2025-01-09 17:18:56 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2025-01-09 17:18:58 +0000 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2025-01-09 17:18:58 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-01-09 17:30:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 17:35:30 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-09 17:41:05 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f445c3b9e2aa830e6c1.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-09 17:44:04 +0000 | dsrt^ | (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2025-01-09 17:44:11 +0000 | dnerchm^ | (dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2025-01-09 17:46:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) |
| 2025-01-09 17:53:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 17:58:36 +0000 | oo_miguel | (~Thunderbi@78.10.206.35) (Quit: oo_miguel) |
| 2025-01-09 18:00:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 18:02:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-09 18:06:21 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-09 18:07:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-01-09 18:08:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-09 18:08:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-09 18:11:26 +0000 | jespada | (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-09 18:14:07 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-09 18:14:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 18:20:30 +0000 | mari-estel | (~mari-este@user/mari-estel) () |
| 2025-01-09 18:22:42 +0000 | housemate | (~housemate@pa49-183-34-52.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 18:24:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 18:25:48 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-01-09 18:26:27 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-09 18:28:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 18:30:06 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-09 18:32:31 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 18:34:03 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-09 18:35:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-01-09 18:35:27 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-09 18:39:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-09 18:41:52 +0000 | noctuks | (mBZ68nSsKe@user/noctux) (Ping timeout: 265 seconds) |
| 2025-01-09 18:43:48 +0000 | s4msung | (~s4msung@user/s4msung) (Ping timeout: 265 seconds) |
| 2025-01-09 18:45:17 +0000 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-09 18:45:34 +0000 | <euouae> | Hello, on debian I installed everything with ghcup and set it at recommended versions. |
| 2025-01-09 18:45:46 +0000 | <euouae> | On Emacs I've tried to use lsp, lsp-haskell & haskell-mode all together but I get: "Executable names we failed to find: haskell-language-server-9.8.4,haskell-language-server" |
| 2025-01-09 18:47:07 +0000 | <euouae> | I don't understand this error. ghcup list says my hls is 2.9.0.1 'latest,recommended'. |
| 2025-01-09 18:50:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 18:53:04 +0000 | <enikar> | PATH issue? |
| 2025-01-09 18:53:24 +0000 | <euouae> | I set my $PATH in .profile to source ~/.ghcup/env |
| 2025-01-09 18:53:54 +0000 | <cheater> | hello |
| 2025-01-09 18:53:59 +0000 | <cheater> | is anyone rewriting ghc in rust |
| 2025-01-09 18:54:01 +0000 | <mauke> | does it list "✔✔ ghc 9.4.8 recommended,base-4.17.2.1 hls-powered"? |
| 2025-01-09 18:54:18 +0000 | <euouae> | mauke |
| 2025-01-09 18:54:19 +0000 | <euouae> | yes |
| 2025-01-09 18:54:47 +0000 | <mauke> | huh, why is emacs looking for 9.8.4, then |
| 2025-01-09 18:55:13 +0000 | <euouae> | I'm not sure what that is about mauke. |
| 2025-01-09 18:55:20 +0000 | <mauke> | oh, are you editing a project that specifies ghc 9.8.4 (maybe indirectly, through a stackage resolver or base version)? |
| 2025-01-09 18:55:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 18:55:48 +0000 | <euouae> | maybe, let me check |
| 2025-01-09 18:56:32 +0000 | <euouae> | ah you're genius mauke |
| 2025-01-09 18:56:46 +0000 | <euouae> | I had an older `stack upgrade` before I went with ghcup (I had forgotten) so it bumped me on to 3.3.1 |
| 2025-01-09 18:56:56 +0000 | <euouae> | and then ghcup took me down to 3.1.1 |
| 2025-01-09 19:04:06 +0000 | P1RATEZ | (~piratez@user/p1ratez) P1RATEZ |
| 2025-01-09 19:05:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 19:05:59 +0000 | saulosilva | (~saulosilv@181.216.220.21) saulosilva |
| 2025-01-09 19:08:19 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-09 19:09:27 +0000 | housemate | (~housemate@pa49-183-34-52.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-09 19:10:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 19:13:10 +0000 | yushyin | (~yushyin@mail.karif.server-speed.net) (Read error: Connection reset by peer) |
| 2025-01-09 19:13:14 +0000 | noctuks | (MR7CNKXm0J@user/noctux) noctux |
| 2025-01-09 19:13:15 +0000 | s4msung | (wBrkYH9KHh@user/s4msung) s4msung |
| 2025-01-09 19:13:15 +0000 | yushyin2 | (CinQEuz8mT@mail.karif.server-speed.net) yushyin |
| 2025-01-09 19:13:16 +0000 | visilii | (~visilii@188.254.110.9) |
| 2025-01-09 19:13:20 +0000 | visilii_ | (~visilii@188.254.110.9) (Ping timeout: 252 seconds) |
| 2025-01-09 19:14:16 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-09 19:15:39 +0000 | yushyin2 | yushyin |
| 2025-01-09 19:21:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 19:24:19 +0000 | P1RATEZ | (~piratez@user/p1ratez) (Remote host closed the connection) |
| 2025-01-09 19:25:44 +0000 | jespada | (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) jespada |
| 2025-01-09 19:28:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 19:30:52 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 19:34:50 +0000 | jespada | (~jespada@r167-63-19-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-09 19:34:54 +0000 | OftenFaded1 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-09 19:38:22 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-09 19:38:46 +0000 | housemate | (~housemate@pa49-184-10-32.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 19:41:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 19:46:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-09 19:48:52 +0000 | housemate_ | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 19:49:35 +0000 | housemate_ | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-09 19:51:14 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-09 19:51:28 +0000 | housemate | (~housemate@pa49-184-10-32.pa.vic.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2025-01-09 19:53:59 +0000 | homo | (~homo@user/homo) homo |
| 2025-01-09 19:56:35 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 252 seconds) |
| 2025-01-09 19:57:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 20:00:06 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-09 20:00:33 +0000 | saulosilva | (~saulosilv@181.216.220.21) (Quit: Client closed) |
| 2025-01-09 20:00:44 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-09 20:01:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 20:09:31 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 20:10:55 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-01-09 20:12:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 20:17:40 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2025-01-09 20:19:49 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 20:26:48 +0000 | <euouae> | is there a ghci command to search by type, e.g. if I want to find functions that have 'Rational' in them? |
| 2025-01-09 20:26:52 +0000 | <euouae> | in thier signautres |
| 2025-01-09 20:27:06 +0000 | <mauke> | don't think so |
| 2025-01-09 20:27:51 +0000 | <tomsmeding> | euouae: in haddocks you can search inside a particular package for stuff like that |
| 2025-01-09 20:28:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f44e10a42b706ab358a.dip0.t-ipconnect.de) acidjnk |
| 2025-01-09 20:28:23 +0000 | <tomsmeding> | e.g. go here https://hackage.haskell.org/package/base and press 's' (or click the "Quick Jump" link) |
| 2025-01-09 20:28:28 +0000 | <tomsmeding> | it doesn't quite find everything, though |
| 2025-01-09 20:29:02 +0000 | <euouae> | alright thank you |
| 2025-01-09 20:30:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 20:34:22 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-01-09 20:35:27 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 20:36:04 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-01-09 20:40:52 +0000 | agent314 | (~quassel@37.19.210.25) (Ping timeout: 244 seconds) |
| 2025-01-09 20:43:07 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-09 20:43:20 +0000 | jjnkn | (~jjnkn@45.12.27.165) (Ping timeout: 264 seconds) |
| 2025-01-09 20:51:10 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 20:54:17 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-09 20:55:50 +0000 | <euouae> | I'm trying to use inits1 <https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-List.html#v:inits1> but I'm getting complaints that inits1 is not exported by Data.List |
| 2025-01-09 20:55:59 +0000 | <euouae> | what am I doing wrong? |
| 2025-01-09 20:56:09 +0000 | <euouae> | I'm using Haskell2010 |
| 2025-01-09 20:57:40 +0000 | <tomsmeding> | euouae: says "since base-4.21.0.0" |
| 2025-01-09 20:57:51 +0000 | <tomsmeding> | that's ghc 9.12 |
| 2025-01-09 20:58:11 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 20:58:29 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-09 20:59:10 +0000 | <euouae> | tomsmeding: ah got it. thank you. I thought I saw `inits` also being base-4.21 ... not too familiar with the versions |
| 2025-01-09 20:59:40 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 20:59:54 +0000 | <tomsmeding> | you're on 9.4.8, right? here's your base: https://hackage.haskell.org/package/base-4.17.2.1 |
| 2025-01-09 21:01:42 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-09 21:02:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-09 21:02:49 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2025-01-09 21:03:01 +0000 | <tomsmeding> | (you can find the relation between ghc and base versions using `ghcup tui`) |
| 2025-01-09 21:03:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-09 21:03:40 +0000 | <tomsmeding> | soon (tm) base may be decoupled from ghc version, but not yet |
| 2025-01-09 21:08:39 +0000 | <euouae> | nice thank you |
| 2025-01-09 21:08:44 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-09 21:09:12 +0000 | <euouae> | I did not realize ghcup list/tui lists the coupling of ghc with base |
| 2025-01-09 21:09:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-09 21:10:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 21:10:47 +0000 | <euouae> | I'm thinking of disabling -Wtype-defaults, is it a bad idea? |
| 2025-01-09 21:12:25 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 21:15:49 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-09 21:15:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-09 21:16:18 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 21:23:03 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Ping timeout: 252 seconds) |
| 2025-01-09 21:24:42 +0000 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) pja |
| 2025-01-09 21:26:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 21:30:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 21:31:43 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-09 21:39:57 +0000 | dtman34 | (~dtman34@2601:447:d080:1a3c:18d7:3d42:6693:9459) dtman34 |
| 2025-01-09 21:40:11 +0000 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-01-09 21:41:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 21:42:29 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 21:46:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-09 21:47:41 +0000 | <haskellbridge> | <magic_rb> for my CI/CD thing if someone remembers from yesterday, i tried hasql, but its nowhere near as nice as persistent+esqueleto, those two together seem like magic |
| 2025-01-09 21:48:26 +0000 | <haskellbridge> | <magic_rb> it could be as nice, but not having a full eDSL and not having it auto generate all the selects and stuff from the haskell data types is bothersome |
| 2025-01-09 21:48:56 +0000 | <haskellbridge> | <magic_rb> i want to change the name of a column now and nothing will yell at me at compile time "hey you changed it, but not everywhere" :/ |
| 2025-01-09 21:53:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2025-01-09 21:54:37 +0000 | <EvanR> | only change names of columns via a migration |
| 2025-01-09 21:54:59 +0000 | <EvanR> | and database versions can be tracked in the filesystem ... at some cost to your sanity |
| 2025-01-09 21:55:12 +0000 | <EvanR> | by filesystem I mean type system |
| 2025-01-09 21:55:18 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-01-09 21:57:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 22:01:56 +0000 | housemate | (~housemate@pa49-185-156-132.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 2025-01-09 22:04:05 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 22:07:12 +0000 | dtman34 | (~dtman34@2601:447:d080:1a3c:18d7:3d42:6693:9459) (Ping timeout: 246 seconds) |
| 2025-01-09 22:08:45 +0000 | <haskellbridge> | <magic_rb> Still, migrations wort help the fact that the queries as you write them with hasql-th arent column matched against some definition of the table |
| 2025-01-09 22:08:55 +0000 | <haskellbridge> | <magic_rb> (I also couldnt figure out how to use the migrations package) |
| 2025-01-09 22:15:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 22:16:10 +0000 | euouae | (~euouae@user/euouae) () |
| 2025-01-09 22:19:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-09 22:20:31 +0000 | dtman34 | (~dtman34@2601:447:d080:1a3c:ea66:e6de:89d7:22da) dtman34 |
| 2025-01-09 22:21:13 +0000 | g00gler | (uid125351@id-125351.uxbridge.irccloud.com) |
| 2025-01-09 22:23:41 +0000 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) (Quit: leaving) |
| 2025-01-09 22:24:46 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2025-01-09 22:25:03 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-01-09 22:30:30 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 22:30:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 22:30:49 +0000 | housemate | (~housemate@pa49-183-78-10.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 22:31:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2025-01-09 22:34:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-09 22:36:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-09 22:45:43 +0000 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 264 seconds) |
| 2025-01-09 22:45:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 22:50:23 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 22:51:09 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-09 22:54:12 +0000 | agent314 | (~quassel@37.19.210.25) agent314 |
| 2025-01-09 22:55:15 +0000 | alist | (~alist@108-224-153-186.lightspeed.cicril.sbcglobal.net) (Remote host closed the connection) |
| 2025-01-09 23:01:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 23:01:37 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-01-09 23:03:00 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-09 23:06:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 23:07:38 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Ping timeout: 252 seconds) |
| 2025-01-09 23:09:17 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-01-09 23:10:13 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-01-09 23:10:49 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-01-09 23:11:11 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-01-09 23:11:40 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-01-09 23:12:33 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f740:949c:e296:8382) (Quit: xff0x) |
| 2025-01-09 23:13:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-01-09 23:16:38 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 23:21:14 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-09 23:21:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-09 23:22:49 +0000 | housemate_ | (~housemate@pa49-185-168-48.pa.vic.optusnet.com.au) housemate |
| 2025-01-09 23:23:08 +0000 | housemate_ | (~housemate@pa49-185-168-48.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 2025-01-09 23:24:57 +0000 | housemate | (~housemate@pa49-183-78-10.pa.vic.optusnet.com.au) (Ping timeout: 244 seconds) |
| 2025-01-09 23:30:02 +0000 | euphores | (~SASL_euph@user/euphores) (Read error: Connection reset by peer) |
| 2025-01-09 23:30:47 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-09 23:32:01 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 23:38:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-09 23:42:45 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2025-01-09 23:44:11 +0000 | xff0x | (~xff0x@2405:6580:b080:900:fcda:45c6:b5b3:4ead) |
| 2025-01-09 23:50:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-09 23:51:59 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-09 23:54:56 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-09 23:55:45 +0000 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |