Newest at the top
2024-10-24 19:16:52 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
2024-10-24 19:16:27 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
2024-10-24 19:16:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-24 19:11:39 +0200 | <zzz> | can't forget that minBound is 1000... and maxBound is 01111... |
2024-10-24 19:10:34 +0200 | <zzz> | sigh i'll just use IntMap and be mindful |
2024-10-24 19:10:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-24 19:09:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-24 19:07:06 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
2024-10-24 19:06:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-10-24 18:59:34 +0200 | euleritian | (~euleritia@dynamic-176-007-144-063.176.7.pool.telefonica.de) |
2024-10-24 18:59:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-10-24 18:58:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-24 18:58:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-24 18:57:14 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
2024-10-24 18:57:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-10-24 18:55:39 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 276 seconds) |
2024-10-24 18:53:13 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-24 18:49:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-24 18:49:09 +0200 | euleritian | (~euleritia@176.2.4.100) (Ping timeout: 260 seconds) |
2024-10-24 18:47:55 +0200 | <EvanR> | in a type safe way |
2024-10-24 18:47:48 +0200 | <EvanR> | normal use of newtype unwrapping gets optimized away as I understand it, but you can also coerce between newtypes that have the same underlying representation |
2024-10-24 18:47:34 +0200 | spew | (~spew@201.141.99.170) spew |
2024-10-24 18:46:57 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-24 18:46:53 +0200 | <zzz> | EvanR: how so? with no performance costs? |
2024-10-24 18:45:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-10-24 18:45:11 +0200 | <EvanR> | with a newtype over Int you could use safe coercions instead of unsafeCoerce |
2024-10-24 18:44:21 +0200 | euleritian | (~euleritia@176.2.4.100) |
2024-10-24 18:43:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-10-24 18:41:34 +0200 | <EvanR> | (if you literally wanted to use Word for its own sake, which has additional values that Int doesn't, that's another story) |
2024-10-24 18:40:55 +0200 | <EvanR> | but this is a data point in a more general situation where you want to use a subset of Int somewhere without paying performance costs |
2024-10-24 18:39:49 +0200 | <EvanR> | oh I'm late |
2024-10-24 18:39:33 +0200 | <EvanR> | and then there's an Enum-based Map |
2024-10-24 18:39:18 +0200 | <EvanR> | you can use a newtype around Int which is guarded with the module system to not allow negatives |
2024-10-24 18:34:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-24 18:34:11 +0200 | euleritian | (~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-24 18:32:56 +0200 | srazkvt | (~sarah@user/srazkvt) (Ping timeout: 272 seconds) |
2024-10-24 18:32:20 +0200 | <zzz> | dolio: yes, i also came to the conclusion that Enum is not ideal |
2024-10-24 18:31:39 +0200 | <dolio> | I've written my own partial wrapper using a 'things that can be represented as Int' class (didn't use Enum, because I don't think it's ideal for this). I don't know of any packaged version. |
2024-10-24 18:31:02 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
2024-10-24 18:29:11 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-10-24 18:26:28 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-10-24 18:24:38 +0200 | <zzz> | i'm trying to make negative keys unrepresentable |
2024-10-24 18:22:47 +0200 | <geekosaur> | if you're absolutely hell-bent on premature optimization, just unsafeCoerce everything |
2024-10-24 18:22:20 +0200 | <geekosaur> | not that I'm aware of |
2024-10-24 18:21:24 +0200 | <zzz> | i'm obviously trying to avoid Word/Int conversion overhead |
2024-10-24 18:19:16 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-10-24 18:16:04 +0200 | <zzz> | is there something like a WordMap that works with Word intead of Int in a way that is as efficient as IntMap? |
2024-10-24 18:13:46 +0200 | euleritian | (~euleritia@dynamic-176-002-004-100.176.2.pool.telefonica.de) |
2024-10-24 18:12:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-10-24 18:11:26 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |