Newest at the top
2024-10-19 01:31:38 +0200 | euleritian | (~euleritia@146.52.11.212) (Ping timeout: 272 seconds) |
2024-10-19 01:28:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-19 01:24:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-19 01:21:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-19 01:19:06 +0200 | arahael_ | arahael |
2024-10-19 01:19:01 +0200 | arahael | (~arahael@user/arahael) (Quit: Switching Machines) |
2024-10-19 01:17:46 +0200 | fireking04 | (~user@36-227-66-185.dynamic-ip.hinet.net) |
2024-10-19 01:16:43 +0200 | arahael_ | (~arahael@user/arahael) arahael |
2024-10-19 01:14:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb56ac585057b67fefcd.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2024-10-19 01:13:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-19 01:13:31 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2024-10-19 01:08:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-19 01:07:17 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
2024-10-19 01:06:42 +0200 | euleritian | (~euleritia@146.52.11.212) |
2024-10-19 00:52:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-19 00:47:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-19 00:40:27 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2024-10-19 00:36:33 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-19 00:32:40 +0200 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
2024-10-19 00:32:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-19 00:31:17 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
2024-10-19 00:25:24 +0200 | gawen | (~gawen@user/gawen) gawen |
2024-10-19 00:21:57 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-19 00:21:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-19 00:20:06 +0200 | druchan | (uid567859@id-567859.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-19 00:19:38 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-19 00:19:16 +0200 | fmira | (~user@user/fmira) (Remote host closed the connection) |
2024-10-19 00:17:34 +0200 | fmira | (~user@user/fmira) fmira |
2024-10-19 00:16:52 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
2024-10-19 00:16:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-19 00:15:39 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 276 seconds) |
2024-10-19 00:07:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-10-19 00:05:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 23:58:08 +0200 | <dmj`> | pretty sure microhs does this |
2024-10-18 23:57:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 23:57:41 +0200 | <dmj`> | it could be added technically, and then its usage would be restricted, so end users couldn't express higher order functions in type families |
2024-10-18 23:56:40 +0200 | <dmj`> | Ok we do have KindApp, we'd need TypeLam, which would be problematic |
2024-10-18 23:55:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-18 23:53:53 +0200 | <int-e> | and so are type synonyms (which can't be partially applied) |
2024-10-18 23:53:20 +0200 | <dmj`> | that's the restriction on type families, they're not higher order. |
2024-10-18 23:52:19 +0200 | <dmj`> | you're right it would require higher order unification |
2024-10-18 23:51:30 +0200 | <dmj`> | we just have KindFun |
2024-10-18 23:51:09 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
2024-10-18 23:50:34 +0200 | <dmj`> | we'd need to add a KindApp constructor |
2024-10-18 23:50:20 +0200 | <int-e> | Which I think is something GHC is trying very hard to avoid. |
2024-10-18 23:49:43 +0200 | <int-e> | well until things become fully dependently typed |
2024-10-18 23:49:25 +0200 | <int-e> | nobody's unifying terms |
2024-10-18 23:49:16 +0200 | <int-e> | dmj`: but yours are at the type level |
2024-10-18 23:48:29 +0200 | <dmj`> | int-e: term level lambdas don't require higher order unification so |
2024-10-18 23:47:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |