2024-09-25 00:00:08 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2024-09-25 00:00:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-09-25 00:01:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-25 00:09:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-09-25 00:09:59 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-09-25 00:11:18 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
2024-09-25 00:12:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 00:13:55 +0200 | itaipu | (~itaipu@168.121.98.63) (Ping timeout: 264 seconds) |
2024-09-25 00:15:06 +0200 | demcgovern | (~demcgover@216.106.58.132.reverse.socket.net) (Quit: Client closed) |
2024-09-25 00:22:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-25 00:23:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 00:27:03 +0200 | itaipu | (~itaipu@168.121.99.42) itaipu |
2024-09-25 00:28:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-25 00:29:03 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-25 00:38:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-25 00:39:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 00:43:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-25 00:44:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-25 00:46:14 +0200 | athan | (~athan@108.147.188.33) (Ping timeout: 260 seconds) |
2024-09-25 00:50:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-25 00:54:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 01:00:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-25 01:03:07 +0200 | marcux | (~marcux@177.139.77.85) |
2024-09-25 01:03:35 +0200 | marcux | (~marcux@177.139.77.85) (Changing host) |
2024-09-25 01:03:35 +0200 | marcux | (~marcux@user/marcux) marcux |
2024-09-25 01:08:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-25 01:10:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 01:13:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-25 01:14:08 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-25 01:15:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-25 01:16:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2024-09-25 01:16:56 +0200 | ljdarj1 | ljdarj |
2024-09-25 01:17:35 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb5784448b270f7e5b02.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-09-25 01:20:50 +0200 | marcux | (~marcux@user/marcux) (Remote host closed the connection) |
2024-09-25 01:20:52 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-25 01:21:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2024-09-25 01:23:46 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:3e09:7111:c63e:2d47) |
2024-09-25 01:25:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:dc1b:498c:28de:28be) (Ping timeout: 276 seconds) |
2024-09-25 01:26:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 01:28:49 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-09-25 01:30:28 +0200 | krei-se- | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-09-25 01:31:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-25 01:32:40 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
2024-09-25 01:36:24 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
2024-09-25 01:39:35 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
2024-09-25 01:40:20 +0200 | euandreh | (~Thunderbi@189.6.105.228) (Ping timeout: 255 seconds) |
2024-09-25 01:40:53 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
2024-09-25 01:42:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 01:42:36 +0200 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
2024-09-25 01:42:52 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2024-09-25 01:44:35 +0200 | krei-se | (~krei-se@p57af2362.dip0.t-ipconnect.de) krei-se |
2024-09-25 01:45:21 +0200 | <raehik> | Is there a way to force a type variable to be inferred, in a `data` declaration? |
2024-09-25 01:45:59 +0200 | <raehik> | I have `data Magic (a :: k) = Magic`, which is fine, but `:t Magic` gives `Magic :: forall k (a :: k). Magic a` |
2024-09-25 01:47:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-25 01:47:18 +0200 | <raehik> | Alternatively, can I do what I want with a pattern synonym? |
2024-09-25 01:47:33 +0200 | <geekosaur> | I'm not even sure what you want |
2024-09-25 01:47:35 +0200 | <Lears> | What /do/ you want, though? |
2024-09-25 01:47:50 +0200 | <geekosaur> | ^5 |
2024-09-25 01:48:14 +0200 | <raehik> | I want `Magic :: forall {k} (a :: k). Magic a` |
2024-09-25 01:48:36 +0200 | <raehik> | I want to force `k` to be inferred (because for my uses it will be) |
2024-09-25 01:48:45 +0200 | <Lears> | Perhaps GADTSyntax will allow it? |
2024-09-25 01:49:39 +0200 | <raehik> | hmm not sure how I would write it with GADT syntax (I don't use them much) |
2024-09-25 01:50:11 +0200 | <Lears> | `data Magic a where Magic :: forall {k} (a :: k). Magic a` |
2024-09-25 01:50:39 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 246 seconds) |
2024-09-25 01:50:44 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/type_applications.html#manually-def… which confirms it's only supported with GADTSyntax |
2024-09-25 01:52:06 +0200 | <geekosaur> | and gives an example thereof |
2024-09-25 01:52:33 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-25 01:53:38 +0200 | <raehik> | thank you very much Lears , geekosaur ! I simply never knew that and didn't find it with my googling |
2024-09-25 01:54:46 +0200 | <geekosaur> | it is kinda unfortunate that this isn't what one normally thinks of with "inferred" (type inference being the usual thing) |
2024-09-25 01:55:20 +0200 | <raehik> | the pattern synonym worked as well, I didn't know they were fine with foralls |
2024-09-25 01:55:40 +0200 | <geekosaur> | I personally think more of "visibility" than "inference" here |
2024-09-25 01:55:41 +0200 | <raehik> | but the GADT is perfect |
2024-09-25 01:55:57 +0200 | <raehik> | geekosaur: Yeah, agreed. I went by the name in the docs |
2024-09-25 01:57:22 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-09-25 01:57:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 01:58:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-25 01:58:59 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 265 seconds) |
2024-09-25 02:00:50 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-25 02:03:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-25 02:05:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
2024-09-25 02:06:35 +0200 | Guest93 | (~Guest93@5.195.226.142) |
2024-09-25 02:08:14 +0200 | lucy | (~lucy@user/lucy) (Ping timeout: 255 seconds) |
2024-09-25 02:10:08 +0200 | lucy | (~lucy@user/lucy) lucy |
2024-09-25 02:10:20 +0200 | Guest93 | (~Guest93@5.195.226.142) (Client Quit) |
2024-09-25 02:13:51 +0200 | ubert1 | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
2024-09-25 02:14:27 +0200 | ubert | (~Thunderbi@77.119.174.223.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
2024-09-25 02:14:28 +0200 | ubert1 | ubert |
2024-09-25 02:15:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-25 02:19:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-25 02:28:02 +0200 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) (Read error: Connection reset by peer) |
2024-09-25 02:28:08 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-25 02:28:48 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:3e09:7111:c63e:2d47) (Ping timeout: 246 seconds) |
2024-09-25 02:29:28 +0200 | synchromesh | (~john@2406:5a00:241a:5600:b8f8:7fb4:fdd7:b64d) synchromesh |
2024-09-25 02:30:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |