Newest at the top
2024-10-14 06:15:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-14 06:10:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-14 06:10:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 06:08:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
2024-10-14 06:02:48 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
2024-10-14 05:59:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 05:54:15 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:52:06 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-10-14 05:50:45 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-10-14 05:50:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
2024-10-14 05:43:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-14 05:42:08 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) fun-safe-math |
2024-10-14 05:38:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:35:28 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-14 05:33:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-10-14 05:32:03 +0200 | aforemny_ | (~aforemny@i577BEEEB.versanet.de) (Ping timeout: 245 seconds) |
2024-10-14 05:31:11 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:9f00:9304:f095:b881:d5be) aforemny |
2024-10-14 05:27:35 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 05:22:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:20:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 05:15:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 05:12:43 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
2024-10-14 05:03:45 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-10-14 05:01:46 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-10-14 04:58:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-14 04:58:48 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 246 seconds) |
2024-10-14 04:52:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 04:40:18 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 04:35:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 04:30:21 +0200 | Sciencentistguy3 | Sciencentistguy |
2024-10-14 04:30:20 +0200 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 265 seconds) |
2024-10-14 04:28:14 +0200 | Sciencentistguy3 | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
2024-10-14 04:24:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-14 04:24:21 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
2024-10-14 04:19:30 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 04:09:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-14 04:07:49 +0200 | td_ | (~td@83.135.9.1) td_ |
2024-10-14 04:05:50 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 252 seconds) |
2024-10-14 04:04:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 03:51:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-10-14 03:46:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 03:38:43 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-14 03:35:48 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-10-14 03:28:39 +0200 | <geekosaur> | (I will grant that Backpack was always on the losing side of that one: it requires an actual language change, it can't be simulated the way simply parameterizing modules sort-of can be) |
2024-10-14 03:27:31 +0200 | <geekosaur> | I specifically did not limit it to parameterization |
2024-10-14 03:27:05 +0200 | <geekosaur> | I didn't say either of those. I said it does not emulate ML functors. The MLish concept of functor includes first-class-ness, including local instantiation. |
2024-10-14 03:26:12 +0200 | <monochrom> | I don't know, here is what I think, maybe too extreme: Nevermind paramtrizing. Would this make sense: "Haskell claims to have modules, but there is no open so it doesn't count". |
2024-10-14 03:25:52 +0200 | <dolio> | But they are parameterized. |
2024-10-14 03:25:24 +0200 | <geekosaur> | let's put it this way: they're not first class if you cant' do that |
2024-10-14 03:25:07 +0200 | <geekosaur> | exactly |