Newest at the top
| 2024-09-28 01:17:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 01:14:21 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-09-28 01:11:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 01:11:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-28 01:11:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-09-28 01:09:44 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 255 seconds) |
| 2024-09-28 01:06:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 01:00:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-28 00:58:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-28 00:55:03 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-28 00:54:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-09-28 00:54:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 00:52:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 00:41:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-28 00:40:39 +0200 | symdrome | (~user@2804:1e78:2202:2220::416) (Remote host closed the connection) |
| 2024-09-28 00:40:20 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
| 2024-09-28 00:38:27 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2024-09-28 00:36:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 00:35:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-28 00:35:45 +0200 | <int-e> | all you need for memoization (that wheel must have been reinvented a million times) |
| 2024-09-28 00:34:24 +0200 | <monochrom> | or simply code on hackage: https://hackage.haskell.org/package/naperian or https://hackage.haskell.org/package/Naperian |
| 2024-09-28 00:33:12 +0200 | <monochrom> | https://www.cs.ox.ac.uk/publications/publication10857-abstract.html is a paper I particularly like about this (and some other stuff). |
| 2024-09-28 00:31:49 +0200 | <monochrom> | But in practice, people use the special name "Naperian" to emphasize that they also provide you with the type I and the functions going between F X and I->X. |
| 2024-09-28 00:31:37 +0200 | <EvanR> | dependency injection functor |
| 2024-09-28 00:30:02 +0200 | <monochrom> | If you say "but that's just Reader" or "but that's just representable functor", you're right. :) |
| 2024-09-28 00:29:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 00:29:29 +0200 | symdrome | (~user@2804:1e78:2202:2220::416) symdrome |
| 2024-09-28 00:29:26 +0200 | <monochrom> | or in general, given F X, you ask what's I, and the answer is log(F X) = log(X^I) = I. |
| 2024-09-28 00:29:07 +0200 | <EvanR> | ok there's an index type or space |
| 2024-09-28 00:27:53 +0200 | <monochrom> | Err no, going from Bool->X to Bool is logarithm. |
| 2024-09-28 00:26:56 +0200 | <monochrom> | Bool->X (for example) is like X^Bool, exponentiation, so going from Bool->X to X is like logarithm. Logarithm is from Napier, so "Naperian". |
| 2024-09-28 00:24:10 +0200 | <monochrom> | A functor F that is isomorphic to (->)I for some index set/type I. The most familiar example is Stream as (->)ℕ. Another one is a finite example like "data Pair a = P a a" being (->)Bool. |
| 2024-09-28 00:23:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-28 00:21:09 +0200 | irssi | Rembane |
| 2024-09-28 00:20:06 +0200 | irssi | (~Rembane@user/Rembane) Rembane |
| 2024-09-28 00:19:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-28 00:19:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-28 00:16:11 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.2) |
| 2024-09-28 00:15:45 +0200 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
| 2024-09-28 00:12:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-28 00:12:43 +0200 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-09-28 00:09:53 +0200 | ski | . o O ( "What is a Naperian Container?" by Peter Hancock in 2005-06-19 at <https://web.archive.org/web/20170313140037/http://sneezy.cs.nott.ac.uk/containers/blog/?p=14> ) |
| 2024-09-28 00:09:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-28 00:06:46 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-28 00:06:03 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
| 2024-09-28 00:05:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-28 00:03:12 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2024-09-28 00:01:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-27 23:58:56 +0200 | <EvanR> | what's a Naperian Functor again |
| 2024-09-27 23:56:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |