Newest at the top
| 2024-09-27 13:24:45 +0200 | <lambdabot> | (Functor f, ?f::b -> c) => (b, f b) -> (c, f c) |
| 2024-09-27 13:24:43 +0200 | <int-e> | :t fmap (fmap ?f) . first ?f |
| 2024-09-27 13:23:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 13:21:08 +0200 | <opqdonut> | nevermind |
| 2024-09-27 13:21:07 +0200 | <opqdonut> | right, it wouldn't even type |
| 2024-09-27 13:20:59 +0200 | shapr | (~user@2601:19c:417e:5434:bdc6:ec2e:c291:3d0a) shapr |
| 2024-09-27 13:19:51 +0200 | <opqdonut> | hmm, I'm wrong, the derived functor instance is actually ok. it's not using the Functor (,) a instance |
| 2024-09-27 13:19:19 +0200 | <Inst> | i suspect newtype Silly = MkSilly Silly was the definition of Void at some hypothetical stage of haskell where nullary data declarations didn't exist |
| 2024-09-27 13:18:33 +0200 | <Inst> | what is it? |
| 2024-09-27 13:17:47 +0200 | <opqdonut> | the derived functor instance for newtype Stream a = MkStream (a, Stream a) is pretty funny though |
| 2024-09-27 13:15:28 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Client Quit) |
| 2024-09-27 13:14:21 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-27 13:07:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-27 13:07:01 +0200 | <mauke> | Silly ~ Void |
| 2024-09-27 13:03:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:56:56 +0200 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 12:56:33 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 12:54:44 +0200 | <Rembane> | That `a` makes it a functor and then only the sky is the limit |
| 2024-09-27 12:54:27 +0200 | <Rembane> | That's Haskell at its finest |
| 2024-09-27 12:53:39 +0200 | <Inst> | so not that useless! |
| 2024-09-27 12:53:06 +0200 | <Inst> | newtype Stream a = MkStream (a, Stream a) |
| 2024-09-27 12:52:47 +0200 | <Inst> | but you can also define a stream as a newtype |
| 2024-09-27 12:52:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 12:51:41 +0200 | <Inst> | newtype Silly = MkSilly Silly |
| 2024-09-27 12:51:29 +0200 | <Inst> | wow, this is silly |
| 2024-09-27 12:50:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-09-27 12:48:48 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 244 seconds) |
| 2024-09-27 12:47:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:47:13 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Quit: ubert) |
| 2024-09-27 12:46:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 12:43:54 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-09-27 12:39:23 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 2024-09-27 12:35:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-27 12:33:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-09-27 12:32:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 12:26:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 12:26:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-27 12:25:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-27 12:22:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-09-27 12:22:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-09-27 12:22:00 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 12:21:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-09-27 12:21:05 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-27 12:16:15 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2024-09-27 12:13:58 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-27 12:13:54 +0200 | CiaoSen | (~Jura@2a05:5800:2ec:5e00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-09-27 12:13:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-27 12:11:58 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2024-09-27 12:09:49 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-27 12:09:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |