Newest at the top
| 2024-10-24 19:31:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-10-24 19:27:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-24 19:26:59 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2024-10-24 19:24:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 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 |