| 2025-01-03 00:00:34 +0100 | some02 | sudden |
| 2025-01-03 00:02:01 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-01-03 00:02:32 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-01-03 00:02:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:05:24 +0100 | ubert1 | (~Thunderbi@p200300ecdf117c9c085b78743ebe2cd2.dip0.t-ipconnect.de) ubert |
| 2025-01-03 00:05:41 +0100 | ubert | (~Thunderbi@p200300ecdf117c29e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-03 00:05:41 +0100 | ubert1 | ubert |
| 2025-01-03 00:07:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-03 00:11:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-01-03 00:14:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-03 00:17:45 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-01-03 00:18:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:18:21 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-01-03 00:20:40 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-03 00:25:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 00:30:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-03 00:36:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:40:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 00:40:57 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-03 00:51:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 00:51:42 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 00:53:42 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-03 00:56:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 00:57:33 +0100 | itscaleb | (~itscaleb@user/itscaleb) itscaleb |
| 2025-01-03 00:58:57 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-01-03 01:02:02 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 272 seconds) |
| 2025-01-03 01:05:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-01-03 01:06:07 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2025-01-03 01:06:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:07:37 +0100 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2025-01-03 01:07:37 +0100 | ChanServ | +v haskellbridge |
| 2025-01-03 01:11:06 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 265 seconds) |
| 2025-01-03 01:11:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-03 01:13:54 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-01-03 01:15:52 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-03 01:22:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:27:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 01:30:28 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 252 seconds) |
| 2025-01-03 01:31:30 +0100 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-01-03 01:31:34 +0100 | mekeor | (~user@2001:a61:2430:1:c1ba:b095:314c:2638) (Quit: towards emacs as interface to cybernetic council communism) |
| 2025-01-03 01:32:48 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-03 01:37:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:37:45 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 01:39:49 +0100 | <hellwolf> | Probably I should ask here. Is there an opposite to Typeable, say Untypeable... Meaning that I would like that type variable to be bind to a phantom type such as Proxy, that has no runtime information. I can't use role annotation, because it is rather a constraint, not about the type variable itself. |
| 2025-01-03 01:41:06 +0100 | <hellwolf> | e.g. data F eff a b, and I like that eff to be total phantom, since I sometimes to unsafeCoerce to convert between different effs. |
| 2025-01-03 01:42:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-03 01:48:54 +0100 | <geekosaur> | I think at the moment the answer is no; iirc you can't use either type roles or required type arguments (which I think can "fake it"?) on `data` |
| 2025-01-03 01:52:13 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2025-01-03 01:54:45 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 248 seconds) |
| 2025-01-03 01:55:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 01:56:40 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) orangeFlu |
| 2025-01-03 01:56:49 +0100 | sprotte24 | (~sprotte24@p200300d16f364900cdf0214719d60c58.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-03 01:57:12 +0100 | <hellwolf> | and on nth sort, the actual thing that brought me down is that I carried a constraint for the type, which broke all my unsafe practice. |
| 2025-01-03 01:57:22 +0100 | <hellwolf> | *thought |
| 2025-01-03 01:58:06 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-03 01:58:23 +0100 | <hellwolf> | rolled back, painfully. learned some lesson playing with fire. |
| 2025-01-03 02:02:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-03 02:08:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-03 02:10:55 +0100 | orangeFlu | (~orangeFlu@159.67.5.85.dynamic.cust.swisscom.net) (Ping timeout: 264 seconds) |
| 2025-01-03 02:12:01 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-03 02:13:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 02:14:19 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-03 02:15:02 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) dtman34 |
| 2025-01-03 02:15:17 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 02:16:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-03 02:17:24 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-03 02:19:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-03 02:19:43 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-03 02:21:47 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::45) (Ping timeout: 252 seconds) |
| 2025-01-03 02:29:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 02:29:57 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-01-03 02:30:17 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-03 02:30:42 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-03 02:31:57 +0100 | pandeyan | (~pandeyan@135-180-52-227.fiber.dynamic.sonic.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-03 02:36:04 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2025-01-03 02:36:17 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-01-03 02:36:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 02:37:22 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-03 02:41:55 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 260 seconds) |
| 2025-01-03 02:45:25 +0100 | otto_s | (~user@p5de2f94b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-03 02:45:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-03 02:47:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 02:47:21 +0100 | otto_s | (~user@p4ff27e6d.dip0.t-ipconnect.de) |
| 2025-01-03 02:48:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-03 02:51:26 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-03 02:51:34 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 02:51:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-03 03:02:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 03:03:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-03 03:06:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 03:08:43 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 245 seconds) |
| 2025-01-03 03:09:06 +0100 | ft | (~ft@p3e9bc62d.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-03 03:11:07 +0100 | ft | (~ft@p3e9bcb80.dip0.t-ipconnect.de) ft |
| 2025-01-03 03:12:23 +0100 | OftenFaded | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-01-03 03:17:47 +0100 | billchenchina | (~billchenc@103.152.35.21) billchenchina |
| 2025-01-03 03:17:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 03:20:12 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2025-01-03 03:20:35 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-03 03:22:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 03:24:44 +0100 | <haskellbridge> | <Bowuigi> hellwolf the typeclass Absurd from https://hackage.haskell.org/package/boring seems to be close enough to what you're looking for |
| 2025-01-03 03:29:27 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-03 03:29:50 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2025-01-03 03:33:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 03:37:09 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f110d9e6e69048fea1c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-03 03:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 03:47:49 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 248 seconds) |
| 2025-01-03 03:51:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 03:53:41 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-112.cust.tzulo.com) (Ping timeout: 248 seconds) |
| 2025-01-03 03:55:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 03:56:11 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-03 03:58:35 +0100 | artu | (~artu@li90-184.members.linode.com) artu |
| 2025-01-03 04:01:54 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-01-03 04:02:16 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) dtman34 |
| 2025-01-03 04:06:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 04:11:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 04:11:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-03 04:12:41 +0100 | artu | (~artu@li90-184.members.linode.com) (Ping timeout: 272 seconds) |
| 2025-01-03 04:17:59 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-01-03 04:18:20 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:611d:ec74:d692:92d4) dtman34 |
| 2025-01-03 04:22:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 04:22:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-01-03 04:23:45 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-01-03 04:24:02 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 04:26:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 04:30:46 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-01-03 04:36:17 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2025-01-03 04:36:40 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 252 seconds) |
| 2025-01-03 04:37:13 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-03 04:37:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 04:38:14 +0100 | Guest19 | (~Guest19@39.46.128.74) |
| 2025-01-03 04:39:36 +0100 | Guest19 | (~Guest19@39.46.128.74) (Client Quit) |
| 2025-01-03 04:39:59 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) artu |
| 2025-01-03 04:42:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 04:47:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-03 04:51:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 04:55:46 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-01-03 04:56:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 05:07:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 05:12:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-03 05:13:43 +0100 | aforemny | (~aforemny@i59F4C5A2.versanet.de) aforemny |
| 2025-01-03 05:15:11 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce6:6100:dea6:831c:52d:f2f8) (Ping timeout: 265 seconds) |
| 2025-01-03 05:16:00 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-03 05:16:23 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-03 05:23:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 05:28:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 05:28:06 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-03 05:32:58 +0100 | newyear2025 | (~newyear@2.219.56.221) |
| 2025-01-03 05:38:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 05:43:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 05:54:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 06:02:11 +0100 | rockingcool | (~rockingco@user/rockingcool) (Quit: Leaving) |
| 2025-01-03 06:02:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 06:09:58 +0100 | artu | (artu@2600:3c01::f03c:92ff:fecc:1d32) (Ping timeout: 245 seconds) |
| 2025-01-03 06:14:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 06:15:49 +0100 | rekahsoft | (~rekahsoft@76.69.85.220) (Ping timeout: 260 seconds) |
| 2025-01-03 06:18:54 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-01-03 06:19:17 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 2025-01-03 06:19:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 06:27:10 +0100 | rvalue- | rvalue |
| 2025-01-03 06:29:07 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-03 06:30:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 06:34:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 06:38:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-01-03 06:45:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 06:50:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 06:52:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 06:59:00 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2025-01-03 06:59:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 07:09:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 07:14:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-03 07:20:37 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-03 07:21:49 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-01-03 07:24:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-03 07:25:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 07:28:09 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-03 07:29:51 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-03 07:30:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-03 07:32:05 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-03 07:35:24 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-03 07:37:50 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-03 07:39:34 +0100 | michalz | (~michalz@185.246.207.201) |
| 2025-01-03 07:42:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 07:45:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-03 07:46:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 07:47:21 +0100 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2025-01-03 07:49:25 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-01-03 07:50:20 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-03 07:52:21 +0100 | Square | (~Square@user/square) Square |
| 2025-01-03 07:52:32 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-03 07:52:50 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-03 07:53:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 08:00:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-03 08:02:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-03 08:04:09 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2025-01-03 08:04:29 +0100 | talismanick | Guest5449 |
| 2025-01-03 08:08:11 +0100 | Guest5449 | (~user@2601:644:937c:ed10::ae5) (Client Quit) |
| 2025-01-03 08:08:55 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-01-03 08:13:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 08:14:22 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-03 08:18:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 08:29:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 08:32:43 +0100 | CiaoSen | (~Jura@2a05:5800:2e3:9a00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-03 08:33:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-03 08:34:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-03 08:44:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 08:49:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-03 08:51:26 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-03 08:54:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 08:59:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-03 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-03 09:00:37 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-03 09:14:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 09:16:00 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-03 09:18:43 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-03 09:19:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 09:21:06 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-03 09:28:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-03 09:30:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 09:31:52 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-03 09:32:15 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-01-03 09:32:37 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-03 09:33:39 +0100 | CiaoSen | (~Jura@2a05:5800:2e3:9a00:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-03 09:34:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-03 09:35:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 09:51:51 +0100 | Square | (~Square@user/square) (Quit: Leaving) |
| 2025-01-03 09:58:15 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-03 10:00:48 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-03 10:11:11 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-03 10:19:18 +0100 | jespada | (~jespada@2800:a4:1f2:4500:d80a:39f0:267f:dcc5) jespada |
| 2025-01-03 10:25:17 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-03 10:28:22 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-03 10:28:44 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-03 10:40:07 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-03 10:40:15 +0100 | CiaoSen | (~Jura@2a05:5800:2e3:9a00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-03 10:40:58 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-03 10:47:01 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 10:47:43 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Client Quit) |
| 2025-01-03 10:48:43 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-03 10:49:57 +0100 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-01-03 11:00:49 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-01-03 11:03:06 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 11:18:34 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f650d9e6e69048fea1c.dip0.t-ipconnect.de) acidjnk |
| 2025-01-03 11:21:04 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-03 11:22:26 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Quit: dysthesis) |
| 2025-01-03 11:22:38 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 11:25:35 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Client Quit) |
| 2025-01-03 11:25:47 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 11:29:15 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Client Quit) |
| 2025-01-03 11:29:27 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 11:34:52 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-01-03 11:37:39 +0100 | jespada | (~jespada@2800:a4:1f2:4500:d80a:39f0:267f:dcc5) (Ping timeout: 252 seconds) |
| 2025-01-03 11:40:36 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-03 11:41:30 +0100 | CiaoSen | (~Jura@2a05:5800:2e3:9a00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-01-03 11:59:44 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-03 12:01:11 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-03 12:04:30 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 12:05:04 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-03 12:08:19 +0100 | CiaoSen | (~Jura@2a05:5800:2e3:9a00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-03 12:17:48 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-03 12:21:06 +0100 | <mari-estel> | haskell weekly more interesting than usual |
| 2025-01-03 12:21:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-03 12:27:46 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-03 12:32:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 12:33:13 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 12:38:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-03 12:50:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 12:55:08 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: overflow) |
| 2025-01-03 12:55:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-03 12:56:02 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2025-01-03 13:00:46 +0100 | <bwe> | Does infix notation support multiple arguments (on the left side)? |
| 2025-01-03 13:01:15 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
| 2025-01-03 13:04:36 +0100 | <geekosaur> | that's a very confused question |
| 2025-01-03 13:05:10 +0100 | <geekosaur> | it's an expression on both sides. said expression may be a function application. "multiple arguments" is incompatible with this |
| 2025-01-03 13:05:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 13:06:35 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-03 13:06:43 +0100 | <homo> | sounds like someone wants x ? y : z from c |
| 2025-01-03 13:09:46 +0100 | jespada | (~jespada@2800:a4:1f2:4500:c84e:22e7:b76a:e9c1) jespada |
| 2025-01-03 13:14:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 13:19:14 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 252 seconds) |
| 2025-01-03 13:26:32 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-03 13:27:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 13:28:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-03 13:30:32 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-03 13:30:40 +0100 | <[exa]> | bwe: you can do some trickery to make it kinda work, but I wouldn't say it's recommendable |
| 2025-01-03 13:32:10 +0100 | <[exa]> | (you need to "pack" the arguments somehow, e.g. by smashing more operators inside or by applying weird typelevel tricks, e.g. what the `printf` does to support varargs) |
| 2025-01-03 13:32:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-03 13:36:40 +0100 | athan | (~athan@syn-075-137-062-163.biz.spectrum.com) athan |
| 2025-01-03 13:38:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 13:46:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-03 13:52:50 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 265 seconds) |
| 2025-01-03 13:56:01 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-01-03 13:58:28 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-03 14:03:08 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-03 14:04:45 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-03 14:05:29 +0100 | <bwe> | [exa]: alright, I'll don't try it. thanks for your take anyways. |
| 2025-01-03 14:08:43 +0100 | CiaoSen | (~Jura@2a05:5800:2e3:9a00:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2025-01-03 14:12:39 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-03 14:12:55 +0100 | xdminsy | (~xdminsy@117.147.71.240) xdminsy |
| 2025-01-03 14:14:46 +0100 | mari-estel | (~mari-este@user/mari-estel) (Client Quit) |
| 2025-01-03 14:17:03 +0100 | alfiee | (alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-03 14:18:49 +0100 | alfiee | (alfiee@user/alfiee) alfiee |
| 2025-01-03 14:21:46 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-03 14:29:01 +0100 | athan | (~athan@syn-075-137-062-163.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-03 14:31:26 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-03 14:31:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-03 14:35:42 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2025-01-03 14:37:18 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 2025-01-03 14:37:18 +0100 | ash3en1 | ash3en |
| 2025-01-03 14:37:50 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:8dba:5fff:72fd:7f7d) (Read error: Connection reset by peer) |
| 2025-01-03 14:38:14 +0100 | iamsleepy | (~weechat@2a01:4f9:3070:feff:e108:469f:fb3b:55a7) iamsleepy |
| 2025-01-03 15:00:01 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2025-01-03 15:03:27 +0100 | ft | (~ft@p3e9bcb80.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-03 15:06:03 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2025-01-03 15:15:31 +0100 | AlexZenon | (~alzenon@5.139.233.96) (Ping timeout: 244 seconds) |
| 2025-01-03 15:19:05 +0100 | AlexZenon | (~alzenon@5.139.233.96) |
| 2025-01-03 15:19:08 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-03 15:27:05 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-01-03 15:32:57 +0100 | <int-e> | . o O ( Why is "Real" a superclass of RealFrac? ) |
| 2025-01-03 15:35:24 +0100 | <int-e> | (Purely rhetorical; I know this is an old topic, and I have nothing useful to add. I only just ran into this because I was implementing class instances for some Q[sqrt(n)] field.) |
| 2025-01-03 15:38:47 +0100 | <merijn> | int-e: So people can also make non-real Fractions? xD |
| 2025-01-03 15:39:10 +0100 | <homo> | non-real like complex numbers? |
| 2025-01-03 15:39:29 +0100 | <homo> | or just imaginary numbers? |
| 2025-01-03 15:39:29 +0100 | <merijn> | Incidentally, there is a Fractional instance for Complex, so yes |
| 2025-01-03 15:39:52 +0100 | <homo> | well, fraction doesn't have to be real... |
| 2025-01-03 15:39:52 +0100 | <int-e> | the sole method of Real is toRational and there's nothing rational about real fields. |
| 2025-01-03 15:40:23 +0100 | <int-e> | ironically toRational + fromRational is enough to implement all of RealFrac. |
| 2025-01-03 15:40:31 +0100 | <merijn> | ssshhh baby, don't think about it ;) |
| 2025-01-03 15:41:09 +0100 | <homo> | haskell breaks terminology of mathematics |
| 2025-01-03 15:41:12 +0100 | <int-e> | I'll get over it. Again. Maybe I'll go full 1984 on this and decide tnat I love implementing class methods as `undefined`. |
| 2025-01-03 15:41:18 +0100 | taleseeker | (~taleseeke@user/taleseeker) taleseeker |
| 2025-01-03 15:43:57 +0100 | <int-e> | merijn: So the "fix" here would be Fractional -> RealFrac -> Fractional. Not going to happen and yeah I'm thinking too much about this :) |
| 2025-01-03 15:44:07 +0100 | <int-e> | s/->/=>/g |
| 2025-01-03 15:46:21 +0100 | <int-e> | that last one was supposed to be `Real` |
| 2025-01-03 15:46:39 +0100 | <int-e> | As you can see, my brain is already shutting off again. :) |
| 2025-01-03 15:46:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-03 15:47:38 +0100 | ft | (~ft@p3e9bcb80.dip0.t-ipconnect.de) ft |
| 2025-01-03 15:52:07 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-01-03 15:52:17 +0100 | Square | (~Square@user/square) Square |
| 2025-01-03 15:54:26 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-03 16:17:15 +0100 | jespada | (~jespada@2800:a4:1f2:4500:c84e:22e7:b76a:e9c1) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-01-03 16:19:24 +0100 | jespada | (~jespada@2800:a4:1f2:4500:114:70:226a:1bac) jespada |
| 2025-01-03 16:25:42 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-01-03 16:34:20 +0100 | jespada | (~jespada@2800:a4:1f2:4500:114:70:226a:1bac) (Ping timeout: 260 seconds) |
| 2025-01-03 16:38:03 +0100 | jespada | (~jespada@2800:a4:c:5c00:1882:1e5a:8af0:7350) jespada |
| 2025-01-03 16:44:54 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-03 16:57:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-03 16:58:16 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-03 17:11:16 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f650d9e6e69048fea1c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-03 17:21:36 +0100 | Guest4 | (~Guest4@2001:41d0:801:2000::5f57) |
| 2025-01-03 17:23:49 +0100 | Guest4 | (~Guest4@2001:41d0:801:2000::5f57) (Client Quit) |
| 2025-01-03 17:24:44 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-03 17:26:51 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-03 17:27:31 +0100 | <lxsameer> | hey folks, have you tried Lean4? if yes, how do compare it to Haskell? Would you recommend it as a more modern replacement? |
| 2025-01-03 17:28:32 +0100 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2025-01-03 17:28:52 +0100 | <merijn> | lxsameer: eh I haven't tried it, but how I would compare it to Haskell is "not" |
| 2025-01-03 17:28:52 +0100 | <geekosaur> | isn't Lean4 dependently typed? so they're not really in the same ballpark |
| 2025-01-03 17:29:20 +0100 | <merijn> | geekosaur: Lean is also, afaik/afaict, very focussed on being a theorem prover |
| 2025-01-03 17:30:01 +0100 | <merijn> | lxsameer: Haskell is very much a "general purpose programming language" (that people sometimes abuse to do theorem proving in) |
| 2025-01-03 17:30:14 +0100 | kimiamania | (~65804703@user/kimiamania) kimiamania |
| 2025-01-03 17:30:33 +0100 | <merijn> | lxsameer: Whereas Lean (afaik, not having used it, but knowing it exists) is more like Coq and Agda. That is "a theorem prover" (that people sometimes abuse to do programming in) |
| 2025-01-03 17:31:11 +0100 | <lxsameer> | merijn: i'm reading the book, it seems like a general purpose lang as well. at least among all the theromprovers I looked at, it is certainly the one that we can label it as general purpose |
| 2025-01-03 17:31:58 +0100 | <geekosaur> | maybe monochrom can say a bit more |
| 2025-01-03 17:32:00 +0100 | <lxsameer> | geekosaur: sure, but the fact that there are attempts to bring dependant types to haskell make them comparable IMHO |
| 2025-01-03 17:32:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-03 17:32:48 +0100 | <merijn> | I suppose that Lean (looking over their docs) is perhaps more like Idris |
| 2025-01-03 17:32:55 +0100 | <merijn> | (than Coq or Agda) |
| 2025-01-03 17:33:17 +0100 | <merijn> | lxsameer: I guess the real question is "modern replacement for what?" |
| 2025-01-03 17:35:04 +0100 | <lxsameer> | good question. As rookie haskeller, I have to say, I struggled a lot with the tooling and so on |
| 2025-01-03 17:35:22 +0100 | <merijn> | lxsameer: I mean, lean doesn't seem to have any tooling for packages/etc. |
| 2025-01-03 17:35:36 +0100 | <lxsameer> | merijn: it ships with one called lake |
| 2025-01-03 17:35:59 +0100 | <lxsameer> | I'm pretty knew to it hence the question |
| 2025-01-03 17:36:04 +0100 | <merijn> | What tooling did you struggle with? |
| 2025-01-03 17:36:30 +0100 | <geekosaur> | I've had less trouble with cabal than cargo, and let's not even get started on rust-analyzer |
| 2025-01-03 17:36:51 +0100 | <lxsameer> | geekosaur: Amen to that |
| 2025-01-03 17:37:15 +0100 | <lxsameer> | merijn: Cabal, GHC |
| 2025-01-03 17:37:31 +0100 | <merijn> | lxsameer: What OS? How did you install them? |
| 2025-01-03 17:37:39 +0100 | <lxsameer> | i'm ok with them right now since I had my battle with them :D |
| 2025-01-03 17:37:45 +0100 | <lxsameer> | NixOS |
| 2025-01-03 17:38:11 +0100 | <merijn> | ah |
| 2025-01-03 17:38:33 +0100 | <merijn> | I like Nix *conceptually* I'm not at all sold on the UX it has :p |
| 2025-01-03 17:38:58 +0100 | <merijn> | lxsameer: Did you try ghcup? (Not sure how well that works on Nix) |
| 2025-01-03 17:39:06 +0100 | <lxsameer> | merijn: I love to be honest even though it took me a long time to admit it |
| 2025-01-03 17:39:37 +0100 | <lxsameer> | merijn: yeah I tried that too. it's ok right now |
| 2025-01-03 17:41:33 +0100 | xdminsy | (~xdminsy@117.147.71.240) (Read error: Connection reset by peer) |
| 2025-01-03 17:42:04 +0100 | xdminsy | (~xdminsy@117.147.71.240) xdminsy |
| 2025-01-03 17:53:13 +0100 | <int-e> | . o O ( Nix is the solution to a problem that almost nobody has? ) |
| 2025-01-03 17:54:09 +0100 | <mari-estel> | except cabal, with bin dependencies sometimes missing |
| 2025-01-03 17:56:41 +0100 | <lxsameer> | int-e: and what is that problem :D |
| 2025-01-03 17:59:00 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: overflow) |
| 2025-01-03 18:00:52 +0100 | <int-e> | lxsameer: conflicting versions of packages coexisting in one space... there's always somebody who finds a use for such things. stuff like (oh god that TLD) https://nixos.pro/posts/why-nixos-is-revolutionizing-the-way-we-manage-operating-systems/ |
| 2025-01-03 18:01:29 +0100 | <int-e> | Which I googled... I just wanted *one* example of the inevitable blog post that portrays NixOS as THE solution for something. |
| 2025-01-03 18:02:23 +0100 | <geekosaur> | practically every nix/nixos kool-aid drinker I've ever encountered |
| 2025-01-03 18:02:25 +0100 | <int-e> | (there's a huge overlap between this one and people juggling VM images/containers) |
| 2025-01-03 18:02:29 +0100 | <lxsameer> | int-e: ah i see, I have to say, Nix and NixOS is one of those things that you'll appriciate only after when you experienced it. |
| 2025-01-03 18:02:56 +0100 | <homo> | guix is better than nixos, because it is fsdg-compliant (respects your freedom), reproducible and bootstrappable |
| 2025-01-03 18:02:58 +0100 | <int-e> | . o O ( aka Stockholm syndrome ) |
| 2025-01-03 18:03:07 +0100 | <lxsameer> | We have/had a huuuuuge build pipeline for a really complicated software written mostly in C++ using Conan |
| 2025-01-03 18:03:21 +0100 | <lxsameer> | and every build used to take 9 hours. |
| 2025-01-03 18:03:43 +0100 | <int-e> | lxsameer: I seriously believe that I haven't yet encountered a problem that would justify the leap. And I suspect that I'm not alone in this :-P |
| 2025-01-03 18:04:09 +0100 | <lxsameer> | We literally packaged every dependency and our toolchain was pretty outdated just because we couldn't migrate it to the newer version thanks to conan |
| 2025-01-03 18:04:20 +0100 | <int-e> | I tend to have a problem that NixOS makes worse... running out of disk space. |
| 2025-01-03 18:04:41 +0100 | <lxsameer> | but using nix, OMG everything is very smooth, dependency management is not a nightmare any more |
| 2025-01-03 18:05:09 +0100 | <lxsameer> | int-e: yeah disk can be an issue, but I'm 3T and my store is like 200G |
| 2025-01-03 18:05:25 +0100 | <lxsameer> | beside that, one otherthing that I love is OS as a function |
| 2025-01-03 18:05:26 +0100 | <yushyin> | nix has its quirks, annoyances and such but i do like it for the nixos modules (cfgmgmt), i tried other solutions (puppet, ansible) but I ended up with nixos |
| 2025-01-03 18:05:43 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-03 18:05:58 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-03 18:06:06 +0100 | <lxsameer> | oh yeah, i bootstrap a new node in a deterministic way, essentially git for my os |
| 2025-01-03 18:06:40 +0100 | <lxsameer> | my OS never breaks, if I screw, I just rollback one generation and baaam! all good |
| 2025-01-03 18:11:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-03 18:12:21 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 2025-01-03 18:12:44 +0100 | <yushyin> | i cannot say the same, i have complex enough configurations that were 'broken' after updates and due to state (which nixos is terrible at managing) I couldn't just rollback to an older generation ... |
| 2025-01-03 18:12:58 +0100 | <yushyin> | (still my favorite cfgmgmt for personal use) |
| 2025-01-03 18:13:32 +0100 | <lxsameer> | yushyin: you couldn't rollback at boot |
| 2025-01-03 18:13:34 +0100 | <lxsameer> | ? |
| 2025-01-03 18:16:40 +0100 | <yushyin> | i certainly could have started an older generation, but the system would still be 'broken', i would also have had to restore the state (in /var/lib) from a backup (that didn't exist) |
| 2025-01-03 18:17:07 +0100 | <lxsameer> | yushyin: ah got it |
| 2025-01-03 18:23:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 18:28:57 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-03 18:29:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-03 18:31:30 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-01-03 18:31:45 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-01-03 18:32:14 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-01-03 18:32:38 +0100 | ubert | (~Thunderbi@p200300ecdf117c9c085b78743ebe2cd2.dip0.t-ipconnect.de) (Quit: ubert) |
| 2025-01-03 18:32:42 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) |
| 2025-01-03 18:32:53 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-03 18:33:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-03 18:36:21 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Client Quit) |
| 2025-01-03 18:36:43 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-01-03 18:37:21 +0100 | Square | (~Square@user/square) Square |
| 2025-01-03 18:39:08 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-03 18:41:20 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-176.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-03 18:41:34 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f650d9e6e69048fea1c.dip0.t-ipconnect.de) acidjnk |
| 2025-01-03 18:42:24 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-01-03 18:45:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-03 18:46:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-03 18:50:25 +0100 | sprotte24 | (~sprotte24@p200300d16f1ef200acc092aad64c3103.dip0.t-ipconnect.de) |
| 2025-01-03 18:56:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-03 19:00:16 +0100 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2025-01-03 19:00:21 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-03 19:00:33 +0100 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-01-03 19:03:55 +0100 | Digit | (~user@user/digit) Digit |
| 2025-01-03 19:09:12 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-176.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-03 19:09:37 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-176.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-01-03 19:25:49 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-01-03 19:26:48 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-03 19:30:28 +0100 | <bwe> | how do I pattern match for a single member NonEmpty? |
| 2025-01-03 19:30:43 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-03 19:31:03 +0100 | <geekosaur> | (x:|[]) ? |
| 2025-01-03 19:31:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-01-03 19:32:35 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-03 19:33:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-03 19:33:39 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-03 19:33:54 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-03 19:35:54 +0100 | liveuser | (~liveuser@2001:16a2:45d5:c500:2712:e2f3:cfe:4fae) |
| 2025-01-03 19:36:09 +0100 | bsima | (~bsima@143.198.118.179) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-03 19:36:37 +0100 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) bsima |
| 2025-01-03 19:44:24 +0100 | liveuser | (~liveuser@2001:16a2:45d5:c500:2712:e2f3:cfe:4fae) (Quit: Leaving) |
| 2025-01-03 19:50:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-03 19:52:06 +0100 | _xor4 | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |