Newest at the top
2024-10-18 23:27:49 +0200 | <int-e> | I still expect that the compiler would fall flat on its nose if you allowed this, because suddenly you'll have to deal with constraints like Functor (\a -> Foo a b) => ... and ultimately deal at least with some of the messier complications of higher order unification. |
2024-10-18 23:26:40 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 23:26:34 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2024-10-18 23:24:11 +0200 | <dmj`> | or allow type synonyms to rearrange the variables so kind inference would pass |
2024-10-18 23:21:59 +0200 | <dmj`> | supposedly it does |
2024-10-18 23:21:51 +0200 | <int-e> | "expose" - does the compiler actually have that internally now? |
2024-10-18 23:20:49 +0200 | <dmj`> | instance Functor (\a -> Foo a b) where |
2024-10-18 23:20:21 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 248 seconds) |
2024-10-18 23:19:59 +0200 | <dmj`> | would be nice to expose type level lambda syntax in instance heads |
2024-10-18 23:19:55 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 23:17:30 +0200 | dcoutts_ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 252 seconds) |
2024-10-18 23:14:08 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
2024-10-18 23:13:37 +0200 | supercode | (~supercode@user/supercode) supercode |
2024-10-18 23:10:06 +0200 | hgolden__ | (~hgolden@23.162.40.110) (Ping timeout: 265 seconds) |
2024-10-18 23:09:09 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-18 23:07:22 +0200 | hgolden_ | (~hgolden@146.70.173.229) hgolden |
2024-10-18 23:04:32 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 23:02:44 +0200 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
2024-10-18 23:02:21 +0200 | kimiamania | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
2024-10-18 23:01:48 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:75::e014) (Quit: Client closed) |
2024-10-18 22:58:59 +0200 | mima | (~mmh@user/mima) mima |
2024-10-18 22:57:14 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
2024-10-18 22:56:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-10-18 22:54:38 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 265 seconds) |
2024-10-18 22:53:36 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-18 22:51:39 +0200 | dcoutts_ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
2024-10-18 22:50:07 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-18 22:49:10 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 22:49:05 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2024-10-18 22:48:33 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
2024-10-18 22:48:07 +0200 | mima | (~mmh@user/mima) (Ping timeout: 264 seconds) |
2024-10-18 22:41:11 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-10-18 22:40:51 +0200 | Feuermagier_ | Feuermagier |
2024-10-18 22:40:51 +0200 | Guest844 | (~Feuermagi@user/feuermagier) (Killed (molybdenum.libera.chat (Nickname regained by services))) |
2024-10-18 22:40:51 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
2024-10-18 22:40:51 +0200 | Feuermagier | Guest844 |
2024-10-18 22:39:20 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2024-10-18 22:38:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-18 22:31:39 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
2024-10-18 22:29:29 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 22:28:46 +0200 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
2024-10-18 22:19:20 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2024-10-18 22:18:54 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-10-18 22:18:06 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 22:15:30 +0200 | BolzmannPain2 | (~BolzmannP@2a02:3035:668:c2f2:123c:65dd:8f14:88e4) (Quit: Client closed) |
2024-10-18 22:13:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 22:06:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-10-18 22:05:32 +0200 | alp | (~alp@2001:861:e3d6:8f80:5390:64ff:457d:f218) |
2024-10-18 22:04:31 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 252 seconds) |
2024-10-18 22:03:48 +0200 | euleritian | (~euleritia@ip92340bd4.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |