Newest at the top
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 |
2024-10-14 03:24:52 +0200 | <dolio> | It does, but you still can't only import a module in a where clause or something. |
2024-10-14 03:24:33 +0200 | <dolio> | I don't understand what you mean by "it doesn't." |
2024-10-14 03:24:27 +0200 | <monochrom> | If you instantiate Map two ways, you write two files, one per instantiation. In a third file---the user file---you import both. |
2024-10-14 03:24:06 +0200 | <geekosaur> | that was my point. backpack claims to add parameterized modules, but it doesn't and can't provide this so it's not anywhere near as useful as it should be |
2024-10-14 03:24:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-14 03:23:40 +0200 | <monochrom> | So with backpack you have to split code into more files than SML requires, but you can still import multiple instantiations into the same user file. |
2024-10-14 03:23:03 +0200 | <dolio> | Yeah. |
2024-10-14 03:22:34 +0200 | <monochrom> | Haskell doesn't have local open, not even for unparametrized 0th-order modules. Let's not talk about local open. |
2024-10-14 03:22:07 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-ddfb-d52c-f0fd-2cc2.rev.sfr.net) (Remote host closed the connection) |
2024-10-14 03:22:02 +0200 | tonyday567 | (~tonyday56@user/tonyday567) tonyday567 |
2024-10-14 03:22:02 +0200 | tonyday567 | (~tonyday56@125-63-10-162.ip4.superloop.au) (Changing host) |
2024-10-14 03:21:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-14 03:21:33 +0200 | <dolio> | Only like, 'this module uses multiple map implementations, which happen to be two different instantiations of the same functor.' |
2024-10-14 03:20:48 +0200 | <geekosaur> | I thought that was what `open` was for? |
2024-10-14 03:20:13 +0200 | <dolio> | Like, not within a definition in a module, certainly. |
2024-10-14 03:19:37 +0200 | <dolio> | Oh. Well, you can parameterize the map functor multiple ways, I think. But it's not going to happen very locally. |
2024-10-14 03:18:46 +0200 | <geekosaur> | within the same module |
2024-10-14 03:18:39 +0200 | <geekosaur> | local open, I think, so you can parameteerize different maps differently? |
2024-10-14 03:18:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3108-bfa0-ddfb-d52c-f0fd-2cc2.rev.sfr.net) alexherbo2 |
2024-10-14 03:18:04 +0200 | <dolio> | What part can't backpack do? Not that it's nice to do this. |