| 2025-09-08 00:04:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 00:15:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 00:16:50 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 00:20:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 00:20:54 +0200 | sonolin | (~michael@user/sonolin) sonolin |
| 2025-09-08 00:31:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 00:33:03 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-08 00:36:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 00:40:15 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-08 00:40:26 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-09-08 00:47:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 00:48:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jksdnbvkb) |
| 2025-09-08 00:51:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 00:54:44 +0200 | sindu | (~sindu@176.75.108.200) (Ping timeout: 265 seconds) |
| 2025-09-08 00:55:46 +0200 | sprotte24 | (~sprotte24@p200300d16f24190058efc57a119b71f1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-08 01:01:50 +0200 | DavidSch__ | (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2025-09-08 01:02:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:03:46 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-08 01:05:49 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2025-09-08 01:06:30 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-08 01:06:30 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-08 01:07:30 +0200 | Digit | (~user@user/digit) Digit |
| 2025-09-08 01:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 01:15:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-08 01:15:54 +0200 | sprotte24 | (~sprotte24@p200300d16f24190058efc57a119b71f1.dip0.t-ipconnect.de) |
| 2025-09-08 01:15:55 +0200 | sprotte24 | (~sprotte24@p200300d16f24190058efc57a119b71f1.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-09-08 01:20:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:25:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 01:36:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:36:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 250 seconds) |
| 2025-09-08 01:41:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 01:44:18 +0200 | sonolin | (~michael@user/sonolin) (Ping timeout: 260 seconds) |
| 2025-09-08 01:45:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-09-08 01:46:56 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-08 01:47:13 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 01:47:26 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 01:51:17 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 265 seconds) |
| 2025-09-08 01:51:36 +0200 | trickard_ | trickard |
| 2025-09-08 01:52:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 01:53:42 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-09-08 01:57:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-08 02:00:00 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-08 02:07:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 02:12:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 02:16:09 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-08 02:17:23 +0200 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 265 seconds) |
| 2025-09-08 02:18:19 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Quit: 'network maintenance') |
| 2025-09-08 02:19:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 02:21:17 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-08 02:22:19 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-09-08 02:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 02:24:18 +0200 | otto_s | (~user@p5b044af8.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-08 02:28:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 02:33:53 +0200 | otto_s | (~user@p5de2f137.dip0.t-ipconnect.de) |
| 2025-09-08 02:39:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 02:41:18 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-09-08 02:46:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 02:57:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:02:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 03:06:41 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-08 03:07:21 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-08 03:08:48 +0200 | jespada | (~jespada@2800:a4:229e:8e00:868:318d:53e8:5122) (Ping timeout: 252 seconds) |
| 2025-09-08 03:11:49 +0200 | jespada | (~jespada@2800:a4:2294:f600:c8cb:b2ed:49d6:a2cf) jespada |
| 2025-09-08 03:13:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:18:36 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-08 03:21:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:36e4:fe9c:2e27:247a) (Ping timeout: 260 seconds) |
| 2025-09-08 03:23:01 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-09-08 03:23:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 03:30:41 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 03:30:41 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 03:30:41 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 03:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:38:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 03:42:04 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-08 03:42:08 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:50f:e40a:ea8d:7aa7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-08 03:42:22 +0200 | Athas | (athas@sigkill.dk) |
| 2025-09-08 03:49:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 03:54:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 03:56:58 +0200 | jxsmty | (~dyno@user/jxsmty) jxsmty |
| 2025-09-08 04:05:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:10:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 04:15:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-09-08 04:16:10 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-08 04:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:21:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-08 04:24:45 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-08 04:26:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 04:31:45 +0200 | acidjnk | (~acidjnk@p200300d6e7171913b85d875ab8253342.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-09-08 04:36:40 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 2025-09-08 04:36:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:40:59 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-08 04:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 04:52:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 04:57:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-08 05:01:56 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 05:02:10 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 05:08:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 05:13:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 05:15:19 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-09-08 05:20:56 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:b600:26b8:ba8a:bff5:bad) aforemny |
| 2025-09-08 05:22:30 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc9:300:3eaa:97ed:8ab3:fe4d) (Ping timeout: 265 seconds) |
| 2025-09-08 05:22:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-08 05:24:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 05:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 05:39:16 +0200 | srandomizer | (~user@50.219.86.2) |
| 2025-09-08 05:41:09 +0200 | srandomizer999 | (~user@50.219.86.2) |
| 2025-09-08 05:42:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 05:43:13 +0200 | srandomizer999 | (~user@50.219.86.2) (Client Quit) |
| 2025-09-08 05:43:46 +0200 | srandomizer | (~user@50.219.86.2) (Ping timeout: 256 seconds) |
| 2025-09-08 05:45:12 +0200 | dyno | (dyno@user/dyno) dyno |
| 2025-09-08 05:45:32 +0200 | jxsmty | (~dyno@user/jxsmty) (Quit: Leaving) |
| 2025-09-08 05:45:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-08 05:47:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 05:47:53 +0200 | qqe | (~qqq@185.54.23.136) |
| 2025-09-08 05:55:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 06:00:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 06:11:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 06:13:37 +0200 | Square3 | (~Square4@user/square) Square |
| 2025-09-08 06:15:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 06:17:12 +0200 | trickard_ | trickard |
| 2025-09-08 06:17:12 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-09-08 06:17:59 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 06:19:18 +0200 | img | (~img@user/img) img |
| 2025-09-08 06:26:34 +0200 | michalz | (~michalz@185.246.207.218) |
| 2025-09-08 06:26:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 06:29:59 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 06:31:15 +0200 | img | (~img@user/img) img |
| 2025-09-08 06:31:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 06:48:51 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-09-08 06:56:19 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-08 06:57:53 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-08 06:58:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:00:55 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-08 07:03:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 07:14:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:18:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 07:27:00 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-08 07:29:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:34:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 07:34:50 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-08 07:37:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 07:48:04 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-09-08 07:48:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-09-08 07:52:58 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 07:58:15 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 07:58:15 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 07:58:15 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 08:04:47 +0200 | Guest8 | (~Guest50@50.219.86.2) |
| 2025-09-08 08:14:24 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-09-08 08:14:46 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-09-08 08:16:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 08:17:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 08:20:32 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-08 08:21:58 +0200 | raym | (~ray@user/raym) raym |
| 2025-09-08 08:22:12 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 08:22:26 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 08:32:04 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-08 08:41:11 +0200 | Guest8 | (~Guest50@50.219.86.2) (Quit: Client closed) |
| 2025-09-08 08:49:00 +0200 | qqe | (~qqq@185.54.23.136) (Quit: Lost terminal) |
| 2025-09-08 08:49:06 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-09-08 08:50:46 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 08:56:57 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-08 09:00:05 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-08 09:00:46 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-08 09:09:52 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 09:11:03 +0200 | img | (~img@user/img) img |
| 2025-09-08 09:11:06 +0200 | acidjnk | (~acidjnk@p200300d6e7171966303ea6658b591e68.dip0.t-ipconnect.de) acidjnk |
| 2025-09-08 09:11:29 +0200 | fp | (~Thunderbi@dhcp-101-136.eduroam.aalto.fi) fp |
| 2025-09-08 09:11:45 +0200 | forell | (~forell@user/forell) (Ping timeout: 248 seconds) |
| 2025-09-08 09:13:26 +0200 | <Square3> | Why does `Proxy :: Proxy Foo` in GHCI yield a a value that has a Typeable instance, even if Foo doesn't have one? |
| 2025-09-08 09:13:34 +0200 | akegalj | (~akegalj@213.202.92.55) akegalj |
| 2025-09-08 09:15:42 +0200 | <tomsmeding> | Square3: are you sure that Foo doesn't have a Typeable instance? |
| 2025-09-08 09:16:18 +0200 | <tomsmeding> | GHC magically generates Typeable instances for all data type declarations these days |
| 2025-09-08 09:20:37 +0200 | <tomsmeding> | Square3: if you generate Core for this https://play.haskell.org/saved/3XxgXHMy you'll see the Eq stuff is generated, but also Typeable |
| 2025-09-08 09:21:32 +0200 | <Square3> | tomsmeding, yes. I'm sure it doesn't derive Typeable |
| 2025-09-08 09:21:40 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 09:22:01 +0200 | <Square3> | i can do `typeRep (Proxy :: Proxy Foo)` at least. *shrug* |
| 2025-09-08 09:22:24 +0200 | <tomsmeding> | I'm fairly sure your Foo does have a Typeable instance |
| 2025-09-08 09:22:35 +0200 | <tomsmeding> | it's just not being shown in the :i output, and I'm not sure why |
| 2025-09-08 09:23:00 +0200 | <mauke> | should be easy to test with Foo directly |
| 2025-09-08 09:23:01 +0200 | <tomsmeding> | I don't think it is possible to define a data type in ghc haskell that does _not_ implement Typeable |
| 2025-09-08 09:27:16 +0200 | <Square3> | so ghci automatically adds it? |
| 2025-09-08 09:27:52 +0200 | <tomsmeding> | ghc automatically adds it |
| 2025-09-08 09:27:57 +0200 | <tomsmeding> | ghci is just an interactive interface to ghc |
| 2025-09-08 09:28:22 +0200 | qqe | (~qqq@185.54.23.136) |
| 2025-09-08 09:28:34 +0200 | <tomsmeding> | and it seems GHC also blindly assumes it's there |
| 2025-09-08 09:28:47 +0200 | <tomsmeding> | there is a flag to GHC that tells it to not generate Typeable instances: -dno-typeable-binds |
| 2025-09-08 09:29:07 +0200 | <tomsmeding> | if you do that and then proceed to use Typeable stuff, GHC raises an internal error, lol |
| 2025-09-08 09:29:32 +0200 | img | (~img@user/img) img |
| 2025-09-08 09:34:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 09:35:25 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 09:35:35 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 09:38:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-08 09:38:44 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 09:40:36 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 09:42:53 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 09:43:53 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-08 09:44:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 09:44:53 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 09:45:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-08 09:56:12 +0200 | <Square3> | tomsmeding, (sorry had a meeting) thanks. Well that explains it. |
| 2025-09-08 09:58:05 +0200 | <Square3> | > Since GHC 7.10, all types automatically have Typeable instances derived. This is in contrast to previous releases where Typeable had to be explicitly derived using the DeriveDataTypeable language extension. |
| 2025-09-08 09:58:06 +0200 | <lambdabot> | <hint>:1:15: error: parse error on input ‘,’ |
| 2025-09-08 10:06:53 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-08 10:16:49 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-08 10:17:00 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-08 10:17:00 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-08 10:17:00 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-08 10:19:22 +0200 | img | (~img@user/img) img |
| 2025-09-08 10:20:15 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-08 10:20:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-08 10:24:26 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 10:25:42 +0200 | img | (~img@user/img) img |
| 2025-09-08 10:30:30 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-08 10:31:15 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-08 10:41:13 +0200 | trickard_ | trickard |
| 2025-09-08 10:44:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 10:44:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 10:48:59 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 10:50:12 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 272 seconds) |
| 2025-09-08 10:51:30 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-08 10:53:21 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-08 10:55:13 +0200 | fp | (~Thunderbi@dhcp-101-136.eduroam.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-09-08 10:57:51 +0200 | ubert | (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) ubert |
| 2025-09-08 10:58:01 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 10:59:17 +0200 | img | (~img@user/img) img |
| 2025-09-08 11:01:21 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-08 11:11:47 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-08 11:16:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 11:16:39 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 11:16:39 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 11:18:21 +0200 | fp | (~Thunderbi@wireless-86-50-141-227.open.aalto.fi) fp |
| 2025-09-08 11:21:30 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 11:33:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 11:33:47 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 11:33:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 11:37:35 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-09-08 11:40:07 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-08 11:41:51 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-09-08 11:42:37 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-08 11:50:04 +0200 | <Franciman> | Lycurgus: thanks a lot . Neat AF |
| 2025-09-08 11:50:18 +0200 | <Lycurgus> | yw |
| 2025-09-08 11:50:27 +0200 | <Franciman> | i'll try curry |
| 2025-09-08 11:50:52 +0200 | <Franciman> | re. switch from lisp to java, reason is: make industry look at you and like you |
| 2025-09-08 11:50:54 +0200 | <Franciman> | imho |
| 2025-09-08 11:51:10 +0200 | <Lycurgus> | yeah, actually most onto stuffs are java |
| 2025-09-08 11:51:22 +0200 | <Lycurgus> | for enterprise reasons |
| 2025-09-08 11:51:35 +0200 | FragByte_ | (~christian@user/fragbyte) FragByte |
| 2025-09-08 11:51:48 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 256 seconds) |
| 2025-09-08 11:51:49 +0200 | FragByte_ | FragByte |
| 2025-09-08 11:52:00 +0200 | <Lycurgus> | altho most of the older stuff like LOOM was lisp or prolog |
| 2025-09-08 11:52:14 +0200 | <Lycurgus> | ontosaurus and the like |
| 2025-09-08 11:55:26 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-09-08 11:56:35 +0200 | sindu | (~sindu@176.75.108.200) |
| 2025-09-08 11:56:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2025-09-08 12:11:43 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 12:11:59 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 12:12:50 +0200 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 12:13:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-09-08 12:21:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 12:23:51 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-08 12:28:43 +0200 | FANTOM | (~fantom@87.74.59.94) (Ping timeout: 248 seconds) |
| 2025-09-08 12:33:55 +0200 | ski | . o O ( OpenCyc ) |
| 2025-09-08 12:36:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-08 12:38:00 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 12:39:40 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 258 seconds) |
| 2025-09-08 12:43:06 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-08 12:43:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-08 12:44:03 +0200 | FANTOM | (~fantom@90.244.128.25) |
| 2025-09-08 12:47:00 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 12:50:51 +0200 | kaotika | (~user@user/d4q) d4q |
| 2025-09-08 12:52:25 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 12:52:25 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 12:52:25 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 12:53:22 +0200 | a_fantom | (~fantom@90.244.128.25) |
| 2025-09-08 12:54:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-08 12:55:34 +0200 | FANTOM | (~fantom@90.244.128.25) (Ping timeout: 256 seconds) |
| 2025-09-08 12:56:00 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-09-08 13:00:15 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-08 13:00:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-08 13:10:51 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 13:12:25 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-09-08 13:12:34 +0200 | akegalj | (~akegalj@213.202.92.55) (Ping timeout: 256 seconds) |
| 2025-09-08 13:16:45 +0200 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-08 13:17:18 +0200 | michalz | (~michalz@185.246.207.218) (Ping timeout: 260 seconds) |
| 2025-09-08 13:18:28 +0200 | inline | (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-08 13:19:35 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-08 13:21:06 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-09-08 13:21:40 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 13:21:42 +0200 | michalz | (~michalz@185.246.207.193) |
| 2025-09-08 13:21:53 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 13:24:37 +0200 | akegalj | (~akegalj@78-1-67-84.adsl.net.t-com.hr) |
| 2025-09-08 13:25:02 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2025-09-08 13:25:59 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-08 13:28:48 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-08 13:28:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2025-09-08 13:28:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-08 13:30:07 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-08 13:37:02 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f298:c20:d961:98c7) |
| 2025-09-08 13:41:36 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-08 13:43:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 13:53:53 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-08 13:54:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 13:55:57 +0200 | trickard_ | trickard |
| 2025-09-08 14:13:18 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-08 14:21:32 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 14:21:32 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 14:21:32 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 14:25:28 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-08 14:29:00 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-09-08 14:35:18 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-09-08 14:38:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 14:39:31 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 14:39:35 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-09-08 14:39:46 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 14:40:23 +0200 | srk | (~sorki@user/srk) (Ping timeout: 256 seconds) |
| 2025-09-08 14:40:54 +0200 | DavidSch__ | (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 2025-09-08 14:53:49 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-08 14:54:00 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Remote host closed the connection) |
| 2025-09-08 14:54:27 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-08 14:58:11 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
| 2025-09-08 15:00:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 15:07:50 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-08 15:08:05 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 15:09:18 +0200 | ubert | (~Thunderbi@178.165.187.121.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2025-09-08 15:09:40 +0200 | ubert | (~Thunderbi@178.165.161.196.wireless.dyn.drei.com) ubert |
| 2025-09-08 15:12:30 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-08 15:12:55 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-08 15:17:10 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 15:17:23 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 15:18:03 +0200 | jespada | (~jespada@2800:a4:2294:f600:c8cb:b2ed:49d6:a2cf) (Ping timeout: 260 seconds) |
| 2025-09-08 15:18:54 +0200 | qqe | (~qqq@185.54.23.136) (Remote host closed the connection) |
| 2025-09-08 15:19:22 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-08 15:21:46 +0200 | jespada | (~jespada@2800:a4:22cd:2900:5991:e5fd:66d0:ba7f) jespada |
| 2025-09-08 15:25:44 +0200 | trickard_ | trickard |
| 2025-09-08 15:42:56 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-08 15:53:00 +0200 | inline | (~inline@ip-005-146-196-246.um05.pools.vodafone-ip.de) Inline |
| 2025-09-08 15:55:03 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-08 15:55:30 +0200 | comerijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-09-08 16:00:52 +0200 | sindu | (~sindu@176.75.108.200) (Ping timeout: 256 seconds) |
| 2025-09-08 16:03:30 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 16:03:43 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 16:09:37 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-08 16:15:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 16:15:28 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 16:15:28 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 16:16:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 16:20:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 16:28:10 +0200 | krei-se | (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-08 16:33:11 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 16:33:11 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 16:33:11 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 16:34:20 +0200 | fp | (~Thunderbi@wireless-86-50-141-227.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2025-09-08 16:36:13 +0200 | krei-se | (~krei-se@p200300f1cfff1648915f43887404f7ca.dip0.t-ipconnect.de) krei-se |
| 2025-09-08 16:37:42 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 16:39:14 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-09-08 16:39:32 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-09-08 16:39:38 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 2025-09-08 16:42:03 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 16:42:16 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 16:43:00 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Client Quit) |
| 2025-09-08 16:43:17 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-09-08 16:49:22 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 16:49:22 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 16:49:22 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 16:51:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 16:52:23 +0200 | krei-se | (~krei-se@p200300f1cfff1648915f43887404f7ca.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-09-08 16:52:49 +0200 | krei-se | (~krei-se@p200300f1cfff1648915f43887404f7ca.dip0.t-ipconnect.de) krei-se |
| 2025-09-08 16:54:08 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 16:57:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-08 16:58:40 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-08 16:58:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 16:59:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 16:59:28 +0200 | <ncf> | which language extension is responsible for the following syntax: x :: Foo = bar ? |
| 2025-09-08 17:00:22 +0200 | <ncf> | ah, ScopedTypeVariables |
| 2025-09-08 17:03:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 17:09:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 17:10:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 17:10:51 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 17:10:51 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 17:14:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 17:14:54 +0200 | dfg | (~dfg@user/dfg) (Ping timeout: 258 seconds) |
| 2025-09-08 17:16:14 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-08 17:20:34 +0200 | akegalj | (~akegalj@78-1-67-84.adsl.net.t-com.hr) (Quit: leaving) |
| 2025-09-08 17:24:01 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 17:24:14 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 17:25:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 17:27:25 +0200 | dfg | (~dfg@user/dfg) dfg |
| 2025-09-08 17:30:03 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 17:30:03 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 17:30:03 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 17:30:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 17:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 17:41:49 +0200 | srk | (~sorki@user/srk) srk |
| 2025-09-08 17:41:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-09-08 17:46:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-08 17:50:51 +0200 | eron | (~eron@2804:1b1:fa41:4d27:91a:19f3:6f3c:cf5c) lidenbrock |
| 2025-09-08 17:57:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 17:57:40 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-08 17:58:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-08 18:01:32 +0200 | eron | (~eron@2804:1b1:fa41:4d27:91a:19f3:6f3c:cf5c) (Quit: Client closed) |
| 2025-09-08 18:02:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 18:03:15 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 256 seconds) |
| 2025-09-08 18:09:00 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-09-08 18:10:34 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-08 18:12:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 18:18:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 18:20:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 18:20:41 +0200 | ski | kinda would like a separate `PatternSignatures' |
| 2025-09-08 18:27:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 18:28:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 18:31:22 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-08 18:33:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 18:36:40 +0200 | trickard_ | trickard |
| 2025-09-08 18:37:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 18:38:19 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) |
| 2025-09-08 18:38:19 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:14ed:23c3:ff86:b0dc) (Changing host) |
| 2025-09-08 18:38:19 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-08 18:38:31 +0200 | <haskellbridge> | <geekosaur> Originally it was |
| 2025-09-08 18:42:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 18:44:03 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-08 18:44:19 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-08 18:53:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 18:54:33 +0200 | <ski> | yea, i know |
| 2025-09-08 18:55:48 +0200 | <ski> | .. also waiting for `id @a (x :: a) :: a = x' / `\ @a (x :: a) -> x :: a' |
| 2025-09-08 18:58:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 18:59:03 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-08 18:59:20 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-08 19:00:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 19:04:04 +0200 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-09-08 19:04:22 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-08 19:08:14 +0200 | sindu | (~sindu@176.75.108.200) |
| 2025-09-08 19:08:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 19:09:06 +0200 | gorignak | (~gorignak@user/gorignak) (Client Quit) |
| 2025-09-08 19:09:21 +0200 | mari16947 | (~mari-este@user/mari-estel) mari-estel |
| 2025-09-08 19:09:42 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-08 19:10:35 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 2025-09-08 19:13:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 19:13:49 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-08 19:19:44 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-08 19:24:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 19:29:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-08 19:31:06 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-08 19:34:55 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-08 19:37:18 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
| 2025-09-08 19:38:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 19:39:29 +0200 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 250 seconds) |
| 2025-09-08 19:40:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-08 19:41:16 +0200 | myxos | (~myxos@syn-065-025-110-175.res.spectrum.com) myxokephale |
| 2025-09-08 19:43:57 +0200 | mari16947 | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-08 19:45:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 19:47:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-08 19:54:15 +0200 | DavidSch1_ | (~ds__38@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 2025-09-08 19:58:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 19:59:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 20:00:25 +0200 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 20:00:38 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 20:05:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 20:07:26 +0200 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 4.6.3) |
| 2025-09-08 20:09:07 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2025-09-08 20:15:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 20:16:57 +0200 | <monochrom> | ScopedAndPatternTypeSignatures :) |
| 2025-09-08 20:17:51 +0200 | <monochrom> | SystemFSyntax >:) |
| 2025-09-08 20:20:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 20:21:25 +0200 | <tomsmeding> | if you supply a type signature, you can already do something like the second |
| 2025-09-08 20:21:25 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 20:21:35 +0200 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: a) = x |
| 2025-09-08 20:21:35 +0200 | <yahb2> | <interactive>:55:21: error: [GHC-78249] ; Illegal invisible type pattern: a ; Suggested fix: ; Perhaps you intended to use the ‘TypeAbstractions’ extension ; You may enable this... |
| 2025-09-08 20:21:41 +0200 | <tomsmeding> | % :seti -XTypeAbstractions |
| 2025-09-08 20:21:41 +0200 | <yahb2> | <no output> |
| 2025-09-08 20:21:43 +0200 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: a) = x |
| 2025-09-08 20:21:43 +0200 | <yahb2> | <no output> |
| 2025-09-08 20:21:48 +0200 | <tomsmeding> | % foo :: a -> a ; foo @a (x :: b) = x |
| 2025-09-08 20:21:48 +0200 | <yahb2> | <no output> |
| 2025-09-08 20:21:50 +0200 | <tomsmeding> | oh |
| 2025-09-08 20:22:05 +0200 | <monochrom> | "no news is good news" :) |
| 2025-09-08 20:22:10 +0200 | <monochrom> | % foo 4 |
| 2025-09-08 20:22:11 +0200 | <yahb2> | 4 |
| 2025-09-08 20:22:16 +0200 | img | (~img@user/img) img |
| 2025-09-08 20:22:46 +0200 | <[exa]> | Franciman: btw what are you doing with ontologies? (curious, /me gonna hit that issue later this year) |
| 2025-09-08 20:23:10 +0200 | <tomsmeding> | bah both the @a and the ::a bind a in the RHS |
| 2025-09-08 20:23:36 +0200 | <tomsmeding> | but the `\@a (x :: a) -> x :: a` syntax that ski was asking for would be highly ambiguous in haskell where you have automatic generalisation :) |
| 2025-09-08 20:24:14 +0200 | <tomsmeding> | (if you write `foo @a (x :: b) = RHS` then both a and b are in scope in RHS, and are equal) |
| 2025-09-08 20:24:20 +0200 | sprotte24 | (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) |
| 2025-09-08 20:24:20 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-08 20:24:43 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-08 20:26:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-08 20:27:25 +0200 | OftenFaded86 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 20:30:35 +0200 | OftenFaded28 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 20:31:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 20:32:28 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 20:32:41 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 20:34:31 +0200 | OftenFaded86 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 20:36:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-08 20:39:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 20:41:15 +0200 | OftenFaded49 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 20:44:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 20:44:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-09-08 20:44:55 +0200 | OftenFaded28 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 20:47:08 +0200 | OftenFaded34 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 20:51:25 +0200 | OftenFaded49 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 20:53:07 +0200 | sprotte24_ | (~sprotte24@p200300d16f2d2900183abb7ac521596f.dip0.t-ipconnect.de) |
| 2025-09-08 20:54:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 20:59:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 21:00:01 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-08 21:00:43 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-09-08 21:07:27 +0200 | OftenFaded34 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 21:08:06 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-08 21:10:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 21:15:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-08 21:16:56 +0200 | OftenFaded30 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 21:18:20 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 21:19:36 +0200 | img | (~img@user/img) img |
| 2025-09-08 21:26:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-08 21:26:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 21:26:59 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-08 21:28:13 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 21:28:27 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 21:32:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-08 21:40:10 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 258 seconds) |
| 2025-09-08 21:40:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 21:40:18 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-08 21:40:32 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-09-08 21:41:00 +0200 | <ski> | "if you supply a type signature, you can already do something like the second" -- i tried this, recently, didn't look good in that case |
| 2025-09-08 21:41:28 +0200 | <ski> | oh, and i don't necessarily want plain `PatternSignatures' to bind tyvars, really |
| 2025-09-08 21:42:01 +0200 | <ski> | (the `\ @a ..a.. -> ..a..' obviously would, though) |
| 2025-09-08 21:42:07 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-09-08 21:42:12 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-09-08 21:44:41 +0200 | <ski> | % let foo :: Int -> Bool; foo (n :: a) = n == (0 :: a) in foo 42 |
| 2025-09-08 21:44:41 +0200 | <yahb2> | False |
| 2025-09-08 21:45:14 +0200 | <ski> | this is kinda confusing. istr something similar being discussed in some ML |
| 2025-09-08 21:45:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 21:45:45 +0200 | <geekosaur> | looks like pre-6.4 scoped tyvars |
| 2025-09-08 21:46:09 +0200 | <ski> | mm |
| 2025-09-08 21:46:55 +0200 | <ski> | hm |
| 2025-09-08 21:46:57 +0200 | <ski> | fun foo (m : int) (n : 'a) = m <> n; |
| 2025-09-08 21:46:59 +0200 | <tomsmeding> | I also think binding type variables via a type annotation in a pattern is a bit odd, but that's what the extension does now |
| 2025-09-08 21:47:03 +0200 | <ski> | in SML gives type error |
| 2025-09-08 21:47:27 +0200 | <tomsmeding> | and, to be honest, it's useful sometimes |
| 2025-09-08 21:47:59 +0200 | <tomsmeding> | (though typically one would be able to get away with a type application to a constructor pattern) |
| 2025-09-08 21:48:40 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-08 21:48:57 +0200 | <tomsmeding> | % foo (Just @a x) = x :: a -- ski: do you also think this is bad? |
| 2025-09-08 21:48:57 +0200 | <yahb2> | <no output> |
| 2025-09-08 21:50:18 +0200 | <ski> | fun ('a,'b) map f [] = [] | map f (x::xs) = f x :: map f xs; |
| 2025-09-08 21:50:21 +0200 | <ski> | works |
| 2025-09-08 21:51:03 +0200 | <ski> | tomsmeding : yea, that would be my preferred way, for existentials |
| 2025-09-08 21:52:07 +0200 | <ski> | tomsmeding : no, since `a' there is skolem |
| 2025-09-08 21:52:55 +0200 | <ski> | hm |
| 2025-09-08 21:52:57 +0200 | <ski> | let foo (m : int) (n : 'a) = m <> n;; |
| 2025-09-08 21:53:03 +0200 | <haskellbridge> | <magic_rb> tomsmeding still don't have my irc bridge, but quickie question. Are you at all familiar with implementing the STG? I want to try to implement a nix evaluator using an STG |
| 2025-09-08 21:53:16 +0200 | <ski> | in OCaml (similarly confusingly) works |
| 2025-09-08 21:53:24 +0200 | <ski> | that's probably the one i was thinking of |
| 2025-09-08 21:53:26 +0200 | <tomsmeding> | ski: to me, `foo (Just @a x) = x :: a` and `foo (Just x :: Maybe a) = x :: a` feel about the same in terms of "weird scoping" |
| 2025-09-08 21:53:49 +0200 | <tomsmeding> | with `foo @a (Just x) = x :: a` being materially different |
| 2025-09-08 21:54:13 +0200 | <ski> | tomsmeding : i agree |
| 2025-09-08 21:54:20 +0200 | <tomsmeding> | magic_rb: I have 0.0001 idea of how STG works |
| 2025-09-08 21:54:35 +0200 | <tomsmeding> | magic_rb: check this https://github.com/quchen/stgi |
| 2025-09-08 21:54:46 +0200 | <ski> | but what i was on about was having a type variable that didn't stand for a skolem, there, but some specific type |
| 2025-09-08 21:55:01 +0200 | <tomsmeding> | not sure how up to date it is with the latest version of STG in GHC, but when I found it long ago I thought it was a neat way to at least illustrate the ideas |
| 2025-09-08 21:55:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-08 21:55:08 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2025-09-08 21:55:41 +0200 | <tomsmeding> | ski: right, my first two examples work just fine with ghc even if `foo :: Maybe Int -> Int` |
| 2025-09-08 21:55:58 +0200 | <ski> | right |
| 2025-09-08 21:56:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 21:56:10 +0200 | <tomsmeding> | is that what you mean? |
| 2025-09-08 21:56:10 +0200 | <haskellbridge> | <magic_rb> tomsmeding im reading the original paper and its very readable. But ill try stgi once I actually start putting down rust code |
| 2025-09-08 21:56:15 +0200 | <ski> | i wouldn't object to it, if `_a' was used instead of `a' |
| 2025-09-08 21:56:54 +0200 | <tomsmeding> | is that like Agda's `.a' syntax, a pattern that doesn't match but is fully determined by other patterns? |
| 2025-09-08 21:57:17 +0200 | <ski> | idea being that `_a' is an arbitrary meta-variable (/ logic variable / dataflow variable), which can stand for some specific type |
| 2025-09-08 21:57:24 +0200 | <ski> | no |
| 2025-09-08 21:57:36 +0200 | chele_ | (~chele@user/chele) chele |
| 2025-09-08 21:58:01 +0200 | <tomsmeding> | but would you then not also want the syntax to really be `foo (Just @_a _x) = x :: a`? |
| 2025-09-08 21:58:14 +0200 | <tomsmeding> | because that _x is also a pattern variable that stands for some specific value |
| 2025-09-08 21:58:42 +0200 | <ski> | if you type `id :: forall a. a -> a; id x = x' (not having `ScopedTypeVariables' in mind here, really), then `a' here (type of `x') is a skolem, can't be unified with any other type |
| 2025-09-08 21:59:27 +0200 | <ski> | if you instead type `id x = x' (no explicit signature), then type inferred for `id' is `_a -> _a', which is then *generalized* to `forall a. a -> a' |
| 2025-09-08 22:00:22 +0200 | <ski> | in the MLs, in some cases, the generalization part does not happen. then, the `_a' might get instantiated later, refining the type signature, fixing `_a' to something more specific |
| 2025-09-08 22:00:27 +0200 | <tomsmeding> | ski: ah you're specifically thinking about the case where there is no type signature? |
| 2025-09-08 22:00:42 +0200 | chele | (~chele@user/chele) (Ping timeout: 252 seconds) |
| 2025-09-08 22:00:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 22:01:03 +0200 | <ski> | (SML/NJ simply replaces it with an unknown abstract data type, `?.X1',&c. in unknown module `?', doesn't allow later refinement in this way) |
| 2025-09-08 22:01:16 +0200 | <ski> | i'm talking about both, tomsmeding |
| 2025-09-08 22:01:27 +0200 | <tomsmeding> | right |
| 2025-09-08 22:01:55 +0200 | <ski> | but explaining what i mean by `_a' here, why i think it'd be okay for `foo :: Int -> Bool; foo (n :: _a) = n == (0 :: _a)' |
| 2025-09-08 22:02:24 +0200 | <tomsmeding> | oh I see |
| 2025-09-08 22:02:29 +0200 | <ski> | because it's a clear hint that `_a' may not be abstract/opaque/forgotten/hidden/skolem |
| 2025-09-08 22:02:48 +0200 | <tomsmeding> | that _a is a unification variable that then gets unified with Int when the type signature is applied |
| 2025-09-08 22:02:53 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-09-08 22:03:14 +0200 | <ski> | yes |
| 2025-09-08 22:03:18 +0200 | <tomsmeding> | in contrast to, in your idealised syntax, `foo (n :: a) = ...` which would require that `a` is a skolem |
| 2025-09-08 22:03:26 +0200 | <ski> | or, would also work without the type signature |
| 2025-09-08 22:03:31 +0200 | <tomsmeding> | right |
| 2025-09-08 22:03:32 +0200 | <ski> | yes |
| 2025-09-08 22:03:38 +0200 | <tomsmeding> | that distinction makes sense to me |
| 2025-09-08 22:04:07 +0200 | <ski> | `a' wouldn't need to be bound at `foo', though. could be bound by some surrounding context |
| 2025-09-08 22:04:08 +0200 | <tomsmeding> | but I'm not sure that distinction would be helpful in practice in writing haskell code |
| 2025-09-08 22:04:14 +0200 | <tomsmeding> | sure |
| 2025-09-08 22:04:14 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-08 22:04:32 +0200 | Googulator | (~Googulato@2a01-036d-0106-28ad-1d1d-edbe-776a-384c.pool6.digikabel.hu) |
| 2025-09-08 22:05:05 +0200 | <tomsmeding> | the only reason I write type signatures or type applications in patterns in haskell is to bind type variables to be used in the body, really |
| 2025-09-08 22:05:07 +0200 | <ski> | `_a' would kinda be useful for partial type signatures |
| 2025-09-08 22:05:22 +0200 | <tomsmeding> | because ScopedTypeVariables' `forall`-based syntax is iffy |
| 2025-09-08 22:05:34 +0200 | <ski> | where you don't want to specify some part of the signature, letting be inferred. but specifying that one part needs to be the same as another part |
| 2025-09-08 22:05:43 +0200 | <tomsmeding> | right, it's when you explicitly skip part (or all) of a type signature that this becomes relevant |
| 2025-09-08 22:05:58 +0200 | <ski> | yea, `forall' behaves the opposite of what i would expect, with `ScopedTypeVariables' |
| 2025-09-08 22:06:18 +0200 | <tomsmeding> | but IMO, if you care about the details of what type variables get generalised and which don't, it's much better for readability if you write out the type signature anyway |
| 2025-09-08 22:06:29 +0200 | <tomsmeding> | yeah forall with ScopedTypeVariables is bonkers |
| 2025-09-08 22:06:29 +0200 | <ski> | foo :: _a -> _a -> ... |
| 2025-09-08 22:06:34 +0200 | <ski> | foo x y = ... |
| 2025-09-08 22:06:56 +0200 | <tomsmeding> | oh, PartialTypeSignatures++? |
| 2025-09-08 22:07:17 +0200 | <ski> | yep, this would act as an enhancement, to that |
| 2025-09-08 22:07:22 +0200 | <tomsmeding> | I like my type signatures :p |
| 2025-09-08 22:07:46 +0200 | <tomsmeding> | I agree that that would be a sensible extension to PartialTypeSignatures, but I wouldn't use it |
| 2025-09-08 22:08:16 +0200 | <ski> | i'd like to have the option to have either a separate type signature, or ascriptions on the parameter patterns and the definiendum |
| 2025-09-08 22:08:43 +0200 | <tomsmeding> | "I needed to give just this little bit of extra info for the compiler to typecheck my code, but I'm not going to give you the luxury of just seeing the resulting inferred type in one place!" |
| 2025-09-08 22:09:01 +0200 | <tomsmeding> | right |
| 2025-09-08 22:09:33 +0200 | <tomsmeding> | being able to forgo a type signature if you fully specify types of the patterns and the RHS would make lots of people happy |
| 2025-09-08 22:09:47 +0200 | <tomsmeding> | having types next to the arguments instead of in a disconnected list is helpful |
| 2025-09-08 22:10:07 +0200 | chele__ | (~chele@user/chele) chele |
| 2025-09-08 22:10:11 +0200 | <ski> | the other thing i was pondering, when i wanted `\ @a ..a.. -> ..a..', was how to specify constraints here |
| 2025-09-08 22:10:36 +0200 | <ski> | (without needing to put in a separate signature, or an ascription on the whole thing) |
| 2025-09-08 22:10:39 +0200 | <tomsmeding> | if you're going System-F-style, it would be a separate argument |
| 2025-09-08 22:10:46 +0200 | <ski> | yes |
| 2025-09-08 22:10:52 +0200 | <tomsmeding> | `\ @a (Eq a) ..a.. -> ..a..' |
| 2025-09-08 22:11:00 +0200 | <tomsmeding> | which, well, is not haskell-y :p |
| 2025-09-08 22:11:31 +0200 | <tomsmeding> | perhaps `\ @a {Eq a} ..a.. -> ..a..' would make more sense, to syntactically distinguish it from a normal argument |
| 2025-09-08 22:11:40 +0200 | <tomsmeding> | except that {} is taken for records |
| 2025-09-08 22:11:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 22:11:55 +0200 | <ski> | \ @a (Eq a) => \..a.. -> ..a.. -- hmm |
| 2025-09-08 22:12:09 +0200 | <ski> | yea, was just thinking about curlies |
| 2025-09-08 22:12:20 +0200 | <tomsmeding> | \ @a (Eq a) => \ @b (Ord b) => \..a..b.. -> ..a..b.. |
| 2025-09-08 22:12:22 +0200 | <tomsmeding> | meh |
| 2025-09-08 22:12:48 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-08 22:12:55 +0200 | <ski> | there's also the issue that `\(Just x) (Just y) -> ..x..y..' is distinct from `\(Just x) -> (Just y) -> ..x..y..' .. |
| 2025-09-08 22:12:59 +0200 | <ski> | er |
| 2025-09-08 22:13:07 +0200 | chele_ | (~chele@user/chele) (Ping timeout: 255 seconds) |
| 2025-09-08 22:13:10 +0200 | <ski> | from `\(Just x) -> \(Just y) -> ..x..y..' .. |
| 2025-09-08 22:13:16 +0200 | <tomsmeding> | is it? |
| 2025-09-08 22:13:39 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-08 22:14:19 +0200 | <ski> | > seq ((\(Just x) (Just y) -> x + y) Nothing) () |
| 2025-09-08 22:14:20 +0200 | <lambdabot> | () |
| 2025-09-08 22:14:21 +0200 | <ski> | > seq ((\(Just x) -> \(Just y) -> x + y) Nothing) () |
| 2025-09-08 22:14:22 +0200 | <lambdabot> | *Exception: <interactive>:3:7-37: Non-exhaustive patterns in lambda |
| 2025-09-08 22:14:40 +0200 | <tomsmeding> | er wat |
| 2025-09-08 22:14:48 +0200 | <tomsmeding> | interesting, TIL |
| 2025-09-08 22:15:01 +0200 | <ski> | in the former, pattern-matching happens only when both parameters are provided |
| 2025-09-08 22:15:05 +0200 | <tomsmeding> | I didn't know that the arity distinction of GHC leaked out into the semantics |
| 2025-09-08 22:15:10 +0200 | <tomsmeding> | is this specified in the report or GHC-specific? |
| 2025-09-08 22:15:13 +0200 | <ski> | this is not observable, without `seq' |
| 2025-09-08 22:15:18 +0200 | <ski> | i don't recall |
| 2025-09-08 22:16:01 +0200 | <ski> | anyway, due to this, i'd prefer to not have to write multiple `\'s, above, with the dicts |
| 2025-09-08 22:17:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 22:17:20 +0200 | <tomsmeding> | I _think_ this is specified in the report? But I'm not sure I'm reading it correctly |
| 2025-09-08 22:17:24 +0200 | <tomsmeding> | https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-260003.3 |
| 2025-09-08 22:17:30 +0200 | <tomsmeding> | the line below the 'Translation' box |
| 2025-09-08 22:17:46 +0200 | <tomsmeding> | "the pattern" presumably referring to the (p1, ..., pn) tuple pattern |
| 2025-09-08 22:18:01 +0200 | <ski> | mm, yea, i think so |
| 2025-09-08 22:18:03 +0200 | <tomsmeding> | which is a thing that cannot be checked until all x1, ..., xn have a value |
| 2025-09-08 22:18:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-08 22:19:54 +0200 | <ski> | kinda apropos here .. i still also want to be able to declare `data' and `newtype's inside `where's and `let'-`in's, including also `instance's for them (and probably also `class'es). and these ought to be able to refer nonlocally to tyvars that are in scope |
| 2025-09-08 22:27:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 22:27:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 22:27:55 +0200 | <__monty__> | Let's just have Agdas modules. I think they cover those use cases and more. |
| 2025-09-08 22:28:13 +0200 | <__monty__> | *Agda's |
| 2025-09-08 22:28:21 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-09-08 22:30:18 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-08 22:30:31 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-08 22:31:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 22:32:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-08 22:32:48 +0200 | ljdarj1 | ljdarj |
| 2025-09-08 22:41:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 22:42:04 +0200 | ubert | (~Thunderbi@178.165.161.196.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2025-09-08 22:45:52 +0200 | OftenFaded30 | (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 2025-09-08 22:46:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 22:49:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-08 22:50:34 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2025-09-08 22:51:00 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-09-08 22:51:35 +0200 | hakutaku | (~textual@chen.yukari.eu.org) (Client Quit) |
| 2025-09-08 22:53:07 +0200 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2025-09-08 22:55:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:298e:6063:53dd:ee4e) |
| 2025-09-08 22:57:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 23:04:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-08 23:04:20 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-08 23:05:30 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-08 23:15:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 23:16:52 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-08 23:20:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 23:23:08 +0200 | OftenFaded19 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 23:24:43 +0200 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2025-09-08 23:28:42 +0200 | Square2 | (~Square@user/square) Square |
| 2025-09-08 23:30:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 23:32:23 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-08 23:33:19 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-08 23:34:05 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-08 23:34:24 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-09-08 23:35:08 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-09-08 23:35:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-08 23:37:39 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
| 2025-09-08 23:38:35 +0200 | OftenFaded54 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 23:41:12 +0200 | OftenFaded78 | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-09-08 23:41:17 +0200 | OftenFaded19 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 23:42:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-08 23:43:27 +0200 | OftenFaded54 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-08 23:47:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-08 23:56:43 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-08 23:58:00 +0200 | img | (~img@user/img) img |
| 2025-09-08 23:58:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |