| 2026-01-17 00:01:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 00:05:07 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 00:05:20 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 00:08:16 +0000 | tccq | (~user@user/tccq) tccq |
| 2026-01-17 00:09:10 +0000 | <tccq> | Hi, I'm interested in poking around hardware description with haskell. What are people's thoughts between clash, lava, concat (?), and any others? |
| 2026-01-17 00:09:35 +0000 | trickard_ | trickard |
| 2026-01-17 00:12:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 00:17:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 00:17:25 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-17 00:17:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2026-01-17 00:17:48 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-17 00:25:55 +0000 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 00:26:06 +0000 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-17 00:27:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 00:30:55 +0000 | annamalai | (~annamalai@117.231.195.83) (Ping timeout: 264 seconds) |
| 2026-01-17 00:31:15 +0000 | annamalai | (~annamalai@117.231.195.9) annamalai |
| 2026-01-17 00:32:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 00:40:43 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 00:43:10 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-01-17 00:43:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 00:48:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 00:49:44 +0000 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-17 00:59:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 01:04:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 01:11:51 +0000 | AlexNoo_ | (~AlexNoo@5.139.232.54) |
| 2026-01-17 01:13:20 +0000 | ridcully_ | (~ridcully@pd951f83e.dip0.t-ipconnect.de) ridcully |
| 2026-01-17 01:14:15 +0000 | catties | (~catties@user/meow/catties) catties |
| 2026-01-17 01:14:32 +0000 | raym_ | (~ray@user/raym) raym |
| 2026-01-17 01:14:34 +0000 | myxokephale | (~myxos@174-18-88-231.tcso.qwest.net) myxokephale |
| 2026-01-17 01:14:57 +0000 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2026-01-17 01:15:14 +0000 | Catty | (~catties@user/meow/catties) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | FANTOM | (~fantom@87.75.185.177) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | myxos | (~myxos@174-18-88-231.tcso.qwest.net) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | skum | (~skum@user/skum) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | ridcully | (~ridcully@pd951f83e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | carbolymer | (carbolymer@delirium.systems) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | stefan-_ | (~cri@42dots.de) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:14 +0000 | Hafydd | (~Hafydd@user/hafydd) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:15 +0000 | AlexNoo | (~AlexNoo@5.139.232.54) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:15 +0000 | kimiamania | (~9566fa0a@user/kimiamania) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:15 +0000 | gf31 | (~gf3@user/gf3) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:15 +0000 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:15 +0000 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:15 +0000 | noctuks | (ojyFKYpL5L@user/noctux) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:15 +0000 | constxqt | (~constxd@user/constxd) (Ping timeout: 240 seconds) |
| 2026-01-17 01:15:23 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2026-01-17 01:15:34 +0000 | constxd | (~constxd@user/constxd) constxd |
| 2026-01-17 01:15:43 +0000 | arkeet | (arkeet@moriya.ca) |
| 2026-01-17 01:16:04 +0000 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2026-01-17 01:16:10 +0000 | stefan-_ | (~cri@42dots.de) stefan-_ |
| 2026-01-17 01:16:16 +0000 | carbolymer | (~carbolyme@delirium.systems) carbolymer |
| 2026-01-17 01:16:34 +0000 | skum | (~skum@user/skum) skum |
| 2026-01-17 01:16:43 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-01-17 01:17:03 +0000 | lambdabot | (~lambdabot@int-e.eu) |
| 2026-01-17 01:17:03 +0000 | lambdabot | (~lambdabot@int-e.eu) (Changing host) |
| 2026-01-17 01:17:03 +0000 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-01-17 01:17:03 +0000 | ChanServ | +v lambdabot |
| 2026-01-17 01:17:06 +0000 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2026-01-17 01:17:07 +0000 | noctuks | (YbM1lgZBt7@user/noctux) noctux |
| 2026-01-17 01:18:20 +0000 | cptaffe` | cptaffe |
| 2026-01-17 01:20:15 +0000 | FANTOM | (~fantom@87.75.185.177) |
| 2026-01-17 01:20:36 +0000 | mixfix41 | (~listeners@user/mixfix41) mixfix41 |
| 2026-01-17 01:24:50 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-17 01:25:02 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-17 01:28:02 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-01-17 01:30:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 01:37:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-17 01:37:43 +0000 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 01:48:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 01:50:58 +0000 | omidmash1 | (~omidmash@user/omidmash) omidmash |
| 2026-01-17 01:53:18 +0000 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2026-01-17 01:53:18 +0000 | omidmash1 | omidmash |
| 2026-01-17 01:53:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 01:54:46 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-17 02:04:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 02:09:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 02:11:50 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 02:20:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 02:22:07 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 02:24:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 02:32:25 +0000 | acidjnk | (~acidjnk@p200300d6e71719276ddc164bdcca8bf0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2026-01-17 02:35:43 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-17 02:35:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 02:40:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 02:45:33 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-01-17 02:51:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 02:56:11 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 02:56:25 +0000 | Googulator59 | Googulator |
| 2026-01-17 02:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 02:59:36 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-17 03:00:19 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 03:06:19 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-01-17 03:07:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 03:14:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 03:25:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 03:30:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 03:35:21 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-17 03:36:18 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2026-01-17 03:41:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 03:41:42 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 03:45:52 +0000 | Inline | (~User@2001-4dd6-dd24-0-f7db-3cda-3b52-1dd2.ipv6dyn.netcologne.de) (Ping timeout: 246 seconds) |
| 2026-01-17 03:49:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 03:50:33 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 03:50:46 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 03:52:12 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 03:54:53 +0000 | Inline | (~User@2001-4dd6-dd24-0-8769-cf17-85e6-2644.ipv6dyn.netcologne.de) Inline |
| 2026-01-17 03:56:06 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 03:57:21 +0000 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-17 03:58:13 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-17 03:58:52 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2026-01-17 04:00:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 04:01:55 +0000 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2026-01-17 04:04:05 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2026-01-17 04:05:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 04:10:04 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 04:10:38 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-17 04:16:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 04:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 04:32:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 04:36:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 04:40:29 +0000 | mixfix41 | (~listeners@user/mixfix41) (Quit: backagain) |
| 2026-01-17 04:40:40 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 04:43:17 +0000 | trickard_ | trickard |
| 2026-01-17 04:48:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 04:54:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 05:06:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:10:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 05:13:49 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 05:15:23 +0000 | annamalai | (~annamalai@117.231.195.9) (Ping timeout: 244 seconds) |
| 2026-01-17 05:15:42 +0000 | annamalai | (~annamalai@117.231.195.3) annamalai |
| 2026-01-17 05:21:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:23:37 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 05:23:54 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 05:26:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 05:31:24 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 05:34:07 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 05:37:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:41:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 05:45:46 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-01-17 05:45:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 05:48:35 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-01-17 05:49:23 +0000 | annamalai | (~annamalai@117.231.195.3) (Ping timeout: 244 seconds) |
| 2026-01-17 05:49:39 +0000 | annamalai | (~annamalai@117.231.195.65) annamalai |
| 2026-01-17 05:50:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 05:51:08 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: bye) |
| 2026-01-17 05:51:22 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-17 06:00:26 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-17 06:01:06 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 06:01:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:06:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 06:06:51 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2026-01-17 06:15:10 +0000 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2026-01-17 06:15:41 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3a79:510c:fa70:be22) |
| 2026-01-17 06:17:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 06:33:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:36:55 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-17 06:38:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 06:40:35 +0000 | annamalai | (~annamalai@117.231.195.65) (Ping timeout: 240 seconds) |
| 2026-01-17 06:41:03 +0000 | annamalai | (~annamalai@157.49.250.55) annamalai |
| 2026-01-17 06:46:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 06:51:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 07:01:43 +0000 | Square | (~Square@user/square) Square |
| 2026-01-17 07:02:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:02:43 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 07:03:02 +0000 | Zemy | (~Zemy@2600:100c:b02e:a039:b89a:2eff:fed9:1ab9) |
| 2026-01-17 07:04:14 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-17 07:07:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 07:07:44 +0000 | Zemy | (~Zemy@2600:100c:b02e:a039:b89a:2eff:fed9:1ab9) (Ping timeout: 260 seconds) |
| 2026-01-17 07:09:21 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2026-01-17 07:14:44 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2026-01-17 07:18:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:23:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 07:23:30 +0000 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:db0d:ddd3:e982:de94) () |
| 2026-01-17 07:25:15 +0000 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:db0d:ddd3:e982:de94) |
| 2026-01-17 07:28:44 +0000 | Guest16 | (~Guest16@45.158.127.48) |
| 2026-01-17 07:29:00 +0000 | Guest16 | (~Guest16@45.158.127.48) (Client Quit) |
| 2026-01-17 07:31:12 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-17 07:32:36 +0000 | Square3 | (~Square@user/square) Square |
| 2026-01-17 07:33:13 +0000 | kimiamania | (~b4b260c9@user/kimiamania) kimiamania |
| 2026-01-17 07:34:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:34:27 +0000 | Square | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2026-01-17 07:38:02 +0000 | Zemy | (~Zemy@2600:100c:b02e:a039:5cf8:baff:feaa:5e93) |
| 2026-01-17 07:38:02 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 07:38:37 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-17 07:40:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 07:42:07 +0000 | Zemy | (~Zemy@2600:100c:b02e:a039:5cf8:baff:feaa:5e93) (Ping timeout: 246 seconds) |
| 2026-01-17 07:44:08 +0000 | housemate | (~housemate@203.56.146.214) housemate |
| 2026-01-17 07:47:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 07:48:52 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-01-17 07:50:03 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-17 07:52:21 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-17 07:55:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 07:58:37 +0000 | AlexNoo__ | (~AlexNoo@178.34.163.50) |
| 2026-01-17 08:00:35 +0000 | Alex_delenda_est | (~al_test@5.139.232.54) (Ping timeout: 265 seconds) |
| 2026-01-17 08:01:04 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-01-17 08:01:31 +0000 | AlexZenon | (~alzenon@5.139.232.54) (Ping timeout: 264 seconds) |
| 2026-01-17 08:02:04 +0000 | AlexNoo_ | (~AlexNoo@5.139.232.54) (Ping timeout: 246 seconds) |
| 2026-01-17 08:04:58 +0000 | AlexZenon | (~alzenon@178.34.163.50) |
| 2026-01-17 08:06:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:07:57 +0000 | AlexZenon_2 | (~alzenon@178.34.163.50) |
| 2026-01-17 08:08:22 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 246 seconds) |
| 2026-01-17 08:08:58 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2026-01-17 08:09:19 +0000 | AlexZenon | (~alzenon@178.34.163.50) (Ping timeout: 240 seconds) |
| 2026-01-17 08:10:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 08:11:30 +0000 | Alex_test_ | (~al_test@178.34.163.50) |
| 2026-01-17 08:11:58 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-01-17 08:14:06 +0000 | Zemy | (~Zemy@2600:100c:b02e:a039:1802:b7ff:fe05:7b89) |
| 2026-01-17 08:14:06 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 08:14:37 +0000 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-17 08:17:30 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-01-17 08:18:54 +0000 | Zemy | (~Zemy@2600:100c:b02e:a039:1802:b7ff:fe05:7b89) (Ping timeout: 260 seconds) |
| 2026-01-17 08:22:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:22:43 +0000 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2026-01-17 08:22:55 +0000 | Square3 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2026-01-17 08:23:01 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-17 08:27:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 08:27:19 +0000 | Square2 | (~Square@user/square) (Ping timeout: 250 seconds) |
| 2026-01-17 08:34:02 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 08:34:15 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 08:37:21 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-17 08:37:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:41:58 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 08:42:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 08:42:49 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-17 08:43:32 +0000 | Hardyhardhard | (~Hardyhard@user/hardyhardhard) hardyhardhard |
| 2026-01-17 08:46:53 +0000 | ridcully_ | ridcully |
| 2026-01-17 08:48:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 08:54:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 08:55:09 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 08:55:22 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 09:01:30 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 09:04:24 +0000 | ZLima12 | (~zlima12@2600:4041:5f4d:7f00:db0d:ddd3:e982:de94) (Changing host) |
| 2026-01-17 09:04:24 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-01-17 09:04:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:05:24 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2026-01-17 09:05:52 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 09:06:15 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-01-17 09:09:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-01-17 09:15:01 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 09:16:22 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 09:20:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:26:08 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 09:26:09 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2026-01-17 09:27:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 09:28:52 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 09:31:08 +0000 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-01-17 09:38:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:40:18 +0000 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-17 09:42:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 09:48:20 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-17 09:49:30 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-17 09:49:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 09:53:09 +0000 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-01-17 09:55:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 09:59:49 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2026-01-17 10:05:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:10:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 10:12:28 +0000 | acidjnk | (~acidjnk@p200300d6e7171955902046af4b3b27fd.dip0.t-ipconnect.de) acidjnk |
| 2026-01-17 10:13:39 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-01-17 10:16:38 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 10:16:52 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 10:19:04 +0000 | Hardyhardhard | (~Hardyhard@user/hardyhardhard) (Quit: Client closed) |
| 2026-01-17 10:19:19 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-17 10:21:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:26:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 10:28:13 +0000 | Inline | (~User@2001-4dd6-dd24-0-8769-cf17-85e6-2644.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |
| 2026-01-17 10:37:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:38:54 +0000 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-17 10:42:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 10:43:19 +0000 | sp1ff` | (~user@2601:1c2:4701:900::32d4) |
| 2026-01-17 10:44:15 +0000 | sp1ff | (~user@2601:1c2:4701:900::327f) (Ping timeout: 250 seconds) |
| 2026-01-17 10:44:40 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 10:50:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 10:56:55 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-17 10:57:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 10:59:09 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 10:59:22 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 11:06:59 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 11:09:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:09:48 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 11:10:02 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 11:13:10 +0000 | Inline | (~User@2001-4dd6-dd24-0-886a-5b51-ee9-3d0b.ipv6dyn.netcologne.de) Inline |
| 2026-01-17 11:13:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 11:14:12 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 11:15:42 +0000 | Brumaire | (~no@94.140.114.73) Brumaire |
| 2026-01-17 11:24:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:28:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-01-17 11:29:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 11:29:26 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-01-17 11:29:35 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2026-01-17 11:40:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:43:32 +0000 | Miroboru | (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 2026-01-17 11:45:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 11:51:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 11:57:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 12:07:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:13:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 12:17:24 +0000 | trickard_ | trickard |
| 2026-01-17 12:23:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:26:17 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 12:27:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 12:31:19 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2026-01-17 12:38:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:43:05 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 12:45:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 12:47:18 +0000 | AlexNoo__ | AlexNoo |
| 2026-01-17 12:47:26 +0000 | bggd_ | (~bgg@2a01:e0a:fd5:f510:3a79:510c:fa70:be22) (Remote host closed the connection) |
| 2026-01-17 12:52:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 12:53:13 +0000 | fp | (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) fp |
| 2026-01-17 12:54:14 +0000 | fp | (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) (Client Quit) |
| 2026-01-17 12:54:25 +0000 | fp1 | (~Thunderbi@84-253-204-168.bb.dnainternet.fi) fp |
| 2026-01-17 12:54:31 +0000 | fp1 | (~Thunderbi@84-253-204-168.bb.dnainternet.fi) (Client Quit) |
| 2026-01-17 12:58:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 13:02:55 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 13:08:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:11:45 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-01-17 13:12:14 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-17 13:13:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 13:23:26 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-17 13:23:32 +0000 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2026-01-17 13:24:15 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-01-17 13:24:36 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-01-17 13:27:15 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 13:27:28 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 13:28:55 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-17 13:31:56 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 13:34:27 +0000 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) |
| 2026-01-17 13:34:59 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 13:37:38 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 13:38:07 +0000 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2026-01-17 13:40:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:43:06 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-17 13:43:47 +0000 | trickard_ | trickard |
| 2026-01-17 13:44:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 13:49:49 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> hi! how can I get around this type error (disregarding if this snippet has any sense or not --- it's an experiment) |
| 2026-01-17 13:49:51 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/CPJSrwrMyneClYpVQHFTIqOi/Uki16-TNNYA (16 lines) |
| 2026-01-17 13:50:01 +0000 | Alex_test_ | Alex_delenda_est |
| 2026-01-17 13:50:08 +0000 | AlexZenon_2 | AlexZenon |
| 2026-01-17 13:50:22 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> or is SomeTypeRep defined on purpose to be unusable? if so, why? |
| 2026-01-17 13:50:37 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> I hope it's something trivial I'm missing |
| 2026-01-17 13:53:37 +0000 | <[exa]> | can you please pastebin the error? for IRC folks the code looks somehow unusably shortened (see topic for a good pastebin) |
| 2026-01-17 13:53:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 13:55:45 +0000 | <[exa]> | oh well it works with curl... :D |
| 2026-01-17 13:56:42 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 13:56:55 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 13:58:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 14:00:47 +0000 | <[exa]> | (TypeAbstractions implies TypeApplications?) |
| 2026-01-17 14:01:07 +0000 | <[exa]> | also, does it work with plain old `testEquality` ? |
| 2026-01-17 14:01:31 +0000 | <[exa]> | I doubt there's a way to patternmatch through the SomeTypeRep |
| 2026-01-17 14:02:46 +0000 | <ncf> | what are you trying to do exactly? you can't pattern match on the type of the TypeRep, since it's erased at runtime, but you can certainly use the TypeRep itself: case someTypeRep (Proxy @Double) of SomeTypeRep d -> typeRepTyCon d -- Double |
| 2026-01-17 14:05:52 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-39.mycingular.net) |
| 2026-01-17 14:08:10 +0000 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) (Ping timeout: 246 seconds) |
| 2026-01-17 14:09:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:16:01 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-17 14:16:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 14:19:30 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2026-01-17 14:22:37 +0000 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) |
| 2026-01-17 14:23:38 +0000 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) |
| 2026-01-17 14:24:08 +0000 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2026-01-17 14:25:15 +0000 | Zemy_ | (~Zemy@mobile-107-80-206-39.mycingular.net) (Ping timeout: 250 seconds) |
| 2026-01-17 14:25:54 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 14:26:59 +0000 | Zemy | (~Zemy@mobile-107-80-206-4.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 14:27:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:28:09 +0000 | Core6067 | (~Zemy@2600:100c:b0a9:6e2b:4022:5cff:fe3f:998a) (Ping timeout: 260 seconds) |
| 2026-01-17 14:32:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 14:37:50 +0000 | spew | (~spew@user/spew) spew |
| 2026-01-17 14:38:57 +0000 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) |
| 2026-01-17 14:38:57 +0000 | Core1625 | (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2026-01-17 14:39:40 +0000 | Zemy_ | (~Zemy@12.50.228.210) |
| 2026-01-17 14:43:16 +0000 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) |
| 2026-01-17 14:43:16 +0000 | Zemy | (~Zemy@2600:100c:b0a9:6e2b:844f:70ff:fe19:fe8c) (Ping timeout: 255 seconds) |
| 2026-01-17 14:43:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:43:51 +0000 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) |
| 2026-01-17 14:44:04 +0000 | spew | (~spew@user/spew) (Quit: brb) |
| 2026-01-17 14:44:28 +0000 | spew | (~spew@user/spew) spew |
| 2026-01-17 14:44:41 +0000 | <Leary> | Man of Letters (Mikolaj): That type application doesn't allow you to match on the type; it just conflicts with the existential kind `k`. You can write a pattern synonym that works how you'd like, though: https://gist.github.com/LSLeary/7165377d1a28bf76aa4c0aae189a6968 |
| 2026-01-17 14:46:15 +0000 | Zemy_ | (~Zemy@12.50.228.210) (Ping timeout: 240 seconds) |
| 2026-01-17 14:48:02 +0000 | Core6086 | (~Zemy@2600:100c:b0a9:6e2b:e496:5bff:fe9c:e095) (Ping timeout: 265 seconds) |
| 2026-01-17 14:48:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 14:54:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 14:55:32 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) |
| 2026-01-17 14:57:43 +0000 | Zemy | (~Zemy@mobile-107-80-206-9.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 14:57:45 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: amazing, that's precisely what I was looking for! |
| 2026-01-17 14:59:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 14:59:42 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> and, everybody, thank you for your replies and apologize for the formatting --- there's nothing about pastebin in the Matrix room description and I don't think I can add it; geekosaur: is this your bridge? could we add a note about pastebin? |
| 2026-01-17 15:05:18 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 15:07:09 +0000 | trickard_ | trickard |
| 2026-01-17 15:08:15 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:8ce5:abff:fe24:110c) (Ping timeout: 245 seconds) |
| 2026-01-17 15:10:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:10:46 +0000 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 15:10:51 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) |
| 2026-01-17 15:11:26 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 15:11:56 +0000 | <geekosaur> | I don't see what's unusably shortened about the Matrix paste (at least via the bot's pastebin link) |
| 2026-01-17 15:14:25 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-01-17 15:14:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 15:15:21 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:1478:f8ff:fed7:9161) (Ping timeout: 252 seconds) |
| 2026-01-17 15:18:27 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-17 15:19:07 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-17 15:19:20 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-01-17 15:19:41 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-01-17 15:22:55 +0000 | Brumaire | (~no@94.140.114.73) (Ping timeout: 240 seconds) |
| 2026-01-17 15:26:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:31:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 15:41:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:46:10 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 15:47:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 15:49:25 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-17 15:50:11 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-17 15:50:34 +0000 | Square2 | (~Square@user/square) Square |
| 2026-01-17 15:55:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 15:59:49 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-17 16:00:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 16:00:45 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-17 16:02:08 +0000 | DetourNe- | DetourNetworkUK |
| 2026-01-17 16:04:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:06:16 +0000 | housemate | (~housemate@203.56.146.214) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-17 16:08:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 16:10:16 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-17 16:10:23 +0000 | housemate | (~housemate@203.56.146.214) housemate |
| 2026-01-17 16:19:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:24:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 16:27:35 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-17 16:29:34 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-01-17 16:29:34 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-01-17 16:29:34 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-01-17 16:34:44 +0000 | <[exa]> | yeah might be an issue of my browser, curl worked just right |
| 2026-01-17 16:35:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:36:55 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-01-17 16:39:15 +0000 | <geekosaur> | I wonder if your browser doesn't treat things without HTTP headers as plain text |
| 2026-01-17 16:39:29 +0000 | <sm> | +1, the bridge's auto-pastebinned message looks good here |
| 2026-01-17 16:40:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 16:41:00 +0000 | <sm> | I think it provides normal http headers, but it's text/plain not html |
| 2026-01-17 16:43:21 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-01-17 16:46:23 +0000 | <geekosaur> | hm, right, it looks exactly like a plain text document, but devtools tells me it's html |
| 2026-01-17 16:47:33 +0000 | <sm> | devtools ? |
| 2026-01-17 16:47:39 +0000 | <sm> | I looked with curl -i and https://validator.w3.org/detailed.html |
| 2026-01-17 16:50:32 +0000 | <geekosaur> | in chrome |
| 2026-01-17 16:51:01 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-01-17 16:51:07 +0000 | <geekosaur> | also chrome is telling me there's a js script trying to run on the page. if the bridge is including that I think I'm going to eradicate it |
| 2026-01-17 16:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:51:43 +0000 | <geekosaur> | (if it's the browser injecting it, I think I need to do surgery on it…) |
| 2026-01-17 16:52:47 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-17 16:55:37 +0000 | <sm> | I don't know how a text/plain response could be responsible for that |
| 2026-01-17 16:55:47 +0000 | <geekosaur> | okay, it's my browser. (which was blocking it anyway) |
| 2026-01-17 16:56:07 +0000 | <geekosaur> | I suspect an extension |
| 2026-01-17 16:56:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 16:56:30 +0000 | <sm> | it's really a model pastebin.. the polar opposite of pastebin.com :) |
| 2026-01-17 16:56:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 16:58:02 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-17 17:01:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-17 17:01:36 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:882a:87ff:fe9c:2d5a) |
| 2026-01-17 17:01:49 +0000 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-17 17:02:28 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 17:02:52 +0000 | <monochrom> | Hypotheses: Chrome adds boilerplate html to contain the plain text so that the rendering engine can safely assume html input, then Chrome's devtool shows you the manufactured html; the javascript warning is always there whether it actually sees javascript or not. |
| 2026-01-17 17:03:31 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:882a:87ff:fe9c:2d5a) (Read error: Connection reset by peer) |
| 2026-01-17 17:03:35 +0000 | Core5695 | (~Zemy@2600:100c:b0a9:6e2b:dc8f:5aff:fe84:9af8) |
| 2026-01-17 17:03:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 17:07:14 +0000 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 265 seconds) |
| 2026-01-17 17:07:49 +0000 | <monochrom> | "For IRC I prefer to use curl to connect to https://web.libera.chat/" >:) |
| 2026-01-17 17:09:51 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-17 17:15:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:19:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-17 17:20:35 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary, [exa], ncf: this is what I was trying to do and it works (and is readable; thank you again!): https://github.com/Mikolaj/horde-ad/commit/8cc9c15a4fe071439038658ec4ca53f80c3d42e4 |
| 2026-01-17 17:21:53 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 17:22:52 +0000 | <EvanR> | that's some beautiful code |
| 2026-01-17 17:23:03 +0000 | <humasect> | =( |
| 2026-01-17 17:23:16 +0000 | <geekosaur> | that warning is there, but also a specific JS script is trying to run every few seconds |
| 2026-01-17 17:24:03 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 17:24:16 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 17:24:54 +0000 | <geekosaur> | I just pulled it up again and it indeed says the source is an extension… identified by internal ID, so I'll have to dig further |
| 2026-01-17 17:26:30 +0000 | <geekosaur> | got it |
| 2026-01-17 17:27:44 +0000 | <geekosaur> | it's one I installed deliberately; it looks for sites that participate in a program that contributes part of payments to selected charities |
| 2026-01-17 17:28:09 +0000 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) |
| 2026-01-17 17:30:20 +0000 | <[exa]> | Mikolaj: okay that paid off. |
| 2026-01-17 17:30:26 +0000 | <geekosaur> | (I suspected that was it, but I also had some site insist I install a payment processor plugin. I NOPEd out but wondered if it had maybe slipped it in anyway) |
| 2026-01-17 17:30:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:31:19 +0000 | Core5695 | (~Zemy@2600:100c:b0a9:6e2b:dc8f:5aff:fe84:9af8) (Ping timeout: 260 seconds) |
| 2026-01-17 17:32:09 +0000 | <haskellbridge> | <thirdofmay18081814goya> how would you implement recursive descent where you can propagate something upwards? e.g., say you're writing an interpreter and while recursing downwards you enter two try/catch scopes. the second, deeper one fails to catch an error, so it much propagate upwards to be caught by the first try/catch scope. is there any recursion scheme that specifies what this means, to "propagate upwards"? |
| 2026-01-17 17:32:22 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-01-17 17:33:57 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-17 17:34:05 +0000 | <[exa]> | geekosaur: re the pastebin, I blame the browser in the end, it was on a cellphone and computer browser works fine. No idea what happened there. |
| 2026-01-17 17:34:33 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:701a:11ff:fe19:237) |
| 2026-01-17 17:35:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 17:35:31 +0000 | <EvanR> | thirdofmayNUMBERSgoya: on its face that just sounds like folding a tree |
| 2026-01-17 17:35:57 +0000 | <EvanR> | or in the explicit recursive descent, returning something from each recursion |
| 2026-01-17 17:35:58 +0000 | <geekosaur> | I suspect it interpreted it as HTML instead of text, and the display name prefixes from the bridge and the prefix of the ghci error message as unknown tags |
| 2026-01-17 17:36:17 +0000 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) (Ping timeout: 244 seconds) |
| 2026-01-17 17:36:32 +0000 | <geekosaur> | maybe misparsed the ghci prompts too |
| 2026-01-17 17:36:43 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2026-01-17 17:37:15 +0000 | <[exa]> | yeah... firefox mobile works okay too, this one was some kindof default miui thing |
| 2026-01-17 17:37:19 +0000 | <[exa]> | </issue> |
| 2026-01-17 17:38:19 +0000 | <haskellbridge> | <thirdofmay18081814goya> EvanR: I thought that yeah this might be the proper way, felt that it is gimmicky/not conceptually simple |
| 2026-01-17 17:38:56 +0000 | <haskellbridge> | <thirdofmay18081814goya> i.e. add a conditional branch that tests whether a subcontext has provided a propagation |
| 2026-01-17 17:41:02 +0000 | <haskellbridge> | <thirdofmay18081814goya> but it might just be the proper way to do it, don't know why it feels off to me lol |
| 2026-01-17 17:41:27 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 17:42:05 +0000 | <haskellbridge> | <thirdofmay18081814goya> i feel like there should be a single statement declaring this, not two (one changing the node for one indicating that a propagation wants to go up, another to handle it) |
| 2026-01-17 17:46:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:51:14 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 17:51:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 17:51:52 +0000 | <EvanR> | thirdofmayNUMBERSgoya: any other way sounds like overengineering and/or OOP imperative shenanigans xD |
| 2026-01-17 17:52:23 +0000 | <EvanR> | an optional "upward propagation" is just returning a Maybe |
| 2026-01-17 17:57:41 +0000 | <haskellbridge> | <thirdofmay18081814goya> makes sense, ty! |
| 2026-01-17 17:57:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 17:58:00 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 17:58:41 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-17 17:59:09 +0000 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-17 18:00:24 +0000 | img | (~img@user/img) img |
| 2026-01-17 18:02:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 18:12:05 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-17 18:12:29 +0000 | trickard_ | trickard |
| 2026-01-17 18:12:30 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-01-17 18:13:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 18:14:38 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-17 18:15:30 +0000 | <geekosaur> | I was thinking that (well, ExceptT, but that's just a fancy Maybe) |
| 2026-01-17 18:16:33 +0000 | <monochrom> | thirdofmay18081814goya: If your interpreter is in a monad for exceptions (eg ExceptT like geekosaur says) then you can write it as a straightforward recursive descent. |
| 2026-01-17 18:17:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 18:18:24 +0000 | <monochrom> | Hrm I should find mine and post it. I used to teach this in my course. |
| 2026-01-17 18:22:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-17 18:26:15 +0000 | annamalai | (~annamalai@157.49.250.55) (Ping timeout: 240 seconds) |
| 2026-01-17 18:26:33 +0000 | annamalai | (~annamalai@117.231.194.195) annamalai |
| 2026-01-17 18:29:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 18:32:03 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-01-17 18:34:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 18:38:40 +0000 | Zemy | (~Zemy@mobile-107-80-206-94.mycingular.net) |
| 2026-01-17 18:38:56 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:701a:11ff:fe19:237) (Read error: Connection reset by peer) |
| 2026-01-17 18:39:12 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:e031:ceff:fe85:a620) |
| 2026-01-17 18:43:03 +0000 | Zemy | (~Zemy@mobile-107-80-206-94.mycingular.net) (Ping timeout: 260 seconds) |
| 2026-01-17 18:44:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 18:44:56 +0000 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) gdr3941 |
| 2026-01-17 18:45:56 +0000 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) |
| 2026-01-17 18:45:59 +0000 | gdr3941 | (~user@172-3-47-206.lightspeed.nsvltn.sbcglobal.net) (Remote host closed the connection) |
| 2026-01-17 18:48:04 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:e031:ceff:fe85:a620) (Ping timeout: 255 seconds) |
| 2026-01-17 18:49:27 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-01-17 18:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 18:51:34 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-01-17 18:53:05 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:6cfa:f4ff:fe48:ea2e) |
| 2026-01-17 18:54:35 +0000 | Zemy | (~Zemy@mobile-107-80-206-95.mycingular.net) (Ping timeout: 240 seconds) |
| 2026-01-17 18:58:02 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2026-01-17 18:58:35 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-17 18:58:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 19:02:24 +0000 | qqq | (~qqq@185.54.21.105) |
| 2026-01-17 19:03:04 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 19:04:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 19:05:40 +0000 | Zemy_ | (~Zemy@2600:100c:b0a9:6e2b:6cfa:f4ff:fe48:ea2e) (Ping timeout: 246 seconds) |
| 2026-01-17 19:14:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 19:19:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 19:30:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 19:33:21 +0000 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 250 seconds) |
| 2026-01-17 19:33:43 +0000 | spew | (~spew@user/spew) (Ping timeout: 240 seconds) |
| 2026-01-17 19:35:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 19:35:35 +0000 | spew | (~spew@user/spew) spew |
| 2026-01-17 19:38:23 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-17 19:39:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2026-01-17 19:39:44 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-17 19:40:22 +0000 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2026-01-17 19:45:52 +0000 | remexre | (~remexre@user/remexre) (Remote host closed the connection) |
| 2026-01-17 19:45:59 +0000 | remexre | (~remexre@user/remexre) remexre |
| 2026-01-17 19:46:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 19:47:31 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 244 seconds) |
| 2026-01-17 19:49:15 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-01-17 19:50:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 19:59:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 20:01:33 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-01-17 20:01:37 +0000 | Guest63 | (~Guest63@mm-240-37-215-37.mfilial.dynamic.pppoe.byfly.by) |
| 2026-01-17 20:02:49 +0000 | Guest63 | (~Guest63@mm-240-37-215-37.mfilial.dynamic.pppoe.byfly.by) (Client Quit) |
| 2026-01-17 20:05:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 20:15:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 20:22:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 20:27:08 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-17 20:33:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 20:35:04 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 20:35:17 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 20:38:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 20:49:32 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-01-17 20:49:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 20:54:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-17 21:05:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 21:09:22 +0000 | trickard_ | trickard |
| 2026-01-17 21:09:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 21:18:53 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-17 21:20:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 21:25:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 21:29:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-17 21:32:24 +0000 | karenw | (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2026-01-17 21:32:37 +0000 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2026-01-17 21:33:18 +0000 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-01-17 21:34:16 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 21:34:28 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 21:36:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 21:39:40 +0000 | trickard_ | trickard |
| 2026-01-17 21:41:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 21:46:07 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-17 21:52:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 21:58:04 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-01-17 21:58:19 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-17 21:58:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 22:10:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:15:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 22:18:55 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-17 22:22:44 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-17 22:24:38 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-01-17 22:25:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:30:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 22:36:45 +0000 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:d838:d5ff:fe1f:3ebe) |
| 2026-01-17 22:40:05 +0000 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 244 seconds) |
| 2026-01-17 22:41:34 +0000 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-17 22:41:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:43:33 +0000 | Inline | (~User@2001-4dd6-dd24-0-886a-5b51-ee9-3d0b.ipv6dyn.netcologne.de) (Ping timeout: 256 seconds) |
| 2026-01-17 22:45:44 +0000 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:d838:d5ff:fe1f:3ebe) (Ping timeout: 260 seconds) |
| 2026-01-17 22:46:36 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-17 22:46:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-17 22:47:47 +0000 | Inline | (~User@2001-4dd6-dd24-0-d5a6-802e-e6e6-ce59.ipv6dyn.netcologne.de) Inline |
| 2026-01-17 22:54:24 +0000 | <Leary> | Man of Letters (Mikolaj): That's a big improvement, but there's still a lot of duplication. Consider something like this: https://gist.github.com/LSLeary/4db7ad8d3068ee493d3d075df02b01e7 |
| 2026-01-17 22:57:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 22:58:13 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: yay, that's impressive; I may use this for something in the future, but |
| 2026-01-17 22:58:48 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> but the hacks in my code are actually poor man's monomorphisation, so they need to be so crude |
| 2026-01-17 23:00:53 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> the idea is (and it works and speeds up runtime considerably) that I add lots of INLINEs and INLINEABLE and then in each line starting with "Is @<some type>" a function is either inlined or called (but with unfolding available), which GHC now sees operating at concrete type, so it specializes the function (or its inlining) to that specific type |
| 2026-01-17 23:01:30 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> this is a code base with a huge amount of existential types, which totally block any sane ways of specializing code |
| 2026-01-17 23:01:44 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> * specializing/monomorphizing |
| 2026-01-17 23:02:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-17 23:02:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 23:02:52 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> but if anybody has any other ideas how to avoid passing around explicit dictionaries but maintain the very abstract API, I'm all ears |
| 2026-01-17 23:05:18 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> because what I'm currently doing is seriously embarrassing |
| 2026-01-17 23:05:34 +0000 | <EvanR> | any time you pass around explicit dictionaries, can't it also be passing (perhaps hidden inside a data type) a record of things doing the implementation |
| 2026-01-17 23:06:38 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> that makes sense; let me think why not |
| 2026-01-17 23:07:35 +0000 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2026-01-17 23:09:58 +0000 | ethantwardy | (~user@user/ethantwardy) (Client Quit) |
| 2026-01-17 23:11:40 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-01-17 23:13:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 23:14:14 +0000 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2026-01-17 23:15:01 +0000 | ethantwardy | (~user@user/ethantwardy) (Client Quit) |
| 2026-01-17 23:16:51 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> so, the only argument against I can find is circularity: say, I'm implementing indexing in fancy nested arrays (which is called 12! times in the benchmark I'm working on), the code for the indexing takes a dictionary for storable vectors (the arrays are represented as tuples of such vectors) and it's terribly slow when it has to access the dictionary each time it's called |
| 2026-01-17 23:17:26 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> if I understand your idea correctly, the nested array indexing code should instead take a dictionary that directly works on nested arrays, not vectors |
| 2026-01-17 23:18:13 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> but the nested array indexing code implements what should be in that dictionary --- I'd need a way to somehow boostrap this, recurse across a dictionary |
| 2026-01-17 23:18:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 23:18:34 +0000 | <EvanR> | holy moly |
| 2026-01-17 23:21:01 +0000 | <EvanR> | if you're combining implementations in a way to implement another implementation, you do want to use prudent "let" bindings to make sure you only access the dependent implementation once |
| 2026-01-17 23:21:14 +0000 | <EvanR> | instead of every time it's accessed |
| 2026-01-17 23:21:38 +0000 | <EvanR> | this assumes the dependent implementation isn't dynamically changing for the same data structure |
| 2026-01-17 23:22:27 +0000 | <EvanR> | dependency isn't dynamically changing* |
| 2026-01-17 23:22:50 +0000 | <monochrom> | Oh, like "f x = f (x - 1) + f (x - 1)" vs "f x = let y = f (x - 1) in y + y"? |
| 2026-01-17 23:22:54 +0000 | <EvanR> | as far as knot typing I don't know about this |
| 2026-01-17 23:22:58 +0000 | <EvanR> | tying |
| 2026-01-17 23:24:10 +0000 | <EvanR> | makeF add x = add (x - 1) (x + 1) |
| 2026-01-17 23:24:20 +0000 | <EvanR> | let f = makeF (+) |
| 2026-01-17 23:24:38 +0000 | <EvanR> | this might not apply exactly, I'm not sure I totally understand the situation |
| 2026-01-17 23:24:38 +0000 | <Leary> | Man of Letters (Mikolaj): Re monomorphising, I see, that's a bit unfortunate. You can perhaps get rid of those existentials by using suitable heterogeneous types instead. |
| 2026-01-17 23:24:53 +0000 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2026-01-17 23:25:34 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> Leary: where can I see an example of something like that? |
| 2026-01-17 23:27:55 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2026-01-17 23:28:07 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> some of the existential types arise naturally from AST GADTs (I have multiple interpreters of deeply embedded DLS in the implementation) |
| 2026-01-17 23:29:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 23:30:01 +0000 | <Leary> | The classic example is `data HList f xs where { Nil :: HList f '[]; Cons :: f x -> HList f xs -> HList f (x:xs) }`, but you can do similarly for arbitrary ASTs by duplicating some of their structure on the type level in the same way. |
| 2026-01-17 23:30:03 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> e.g., I can't think how to get rid of the existentially bound types in the node |
| 2026-01-17 23:30:03 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/QetWxmpnbhshlldjxsPntKNj/OFJ7l1DSftE (5 lines) |
| 2026-01-17 23:30:32 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> ok, thank you, I will think about this |
| 2026-01-17 23:31:55 +0000 | ethantwardy | (~user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 2026-01-17 23:32:18 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> EvanR: right, so that's precisely the purpose of my crude hack with duplicating functions (or function calls) and so helping GHC specialize each call at a concrete known type; let me explain: |
| 2026-01-17 23:33:13 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> in your example, by the well placed "let", you avoid one of the two applications of subtraction |
| 2026-01-17 23:33:51 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> in my case, by specializing/monomorphising, I get rid of more than one dictionary lookup/passing |
| 2026-01-17 23:34:08 +0000 | <EvanR> | that was monochroms version |
| 2026-01-17 23:34:21 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> oh, yes, right |
| 2026-01-17 23:34:33 +0000 | Inline | (~User@2001-4dd6-dd24-0-d5a6-802e-e6e6-ce59.ipv6dyn.netcologne.de) (Ping timeout: 256 seconds) |
| 2026-01-17 23:34:55 +0000 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2026-01-17 23:35:20 +0000 | <EvanR> | I was thinking that, for a given properly constructed implementation, you only do look ups into any implementation once per call to the API |
| 2026-01-17 23:35:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 23:35:44 +0000 | <EvanR> | for any of the types that have this api |
| 2026-01-17 23:35:47 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> anyway, sadly, while "let" can cache values, it can't cache the determination which dictionary to look up into and how to combine whatever has been obtained from the dictionary --- only the GHC magic can do that |
| 2026-01-17 23:36:01 +0000 | <EvanR> | :thonk: |
| 2026-01-17 23:36:28 +0000 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:2826:1bff:fef2:30a6) |
| 2026-01-17 23:37:22 +0000 | <EvanR> | I would guess whatever ghc magic that is can be "manually" coded into the implementations, but no bearing on how the effort compares |
| 2026-01-17 23:37:38 +0000 | Core3498 | (~Zemy@72.178.108.235) |
| 2026-01-17 23:37:40 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> and the same regarding knots --- Haskell recursion doesn't cut it, something involving GHC internals would be needed (or something totally out of the box like maybe the heterogeneous types idea once I understand it) |
| 2026-01-17 23:38:03 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> oh, yes, sure, e.g., you can manually write monomorphic code from the start |
| 2026-01-17 23:38:17 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> and I actually like that a lot |
| 2026-01-17 23:38:30 +0000 | <EvanR> | not monomorphic |
| 2026-01-17 23:39:01 +0000 | <EvanR> | polymorphic types can satisfy the same API as monomorphic types |
| 2026-01-17 23:39:02 +0000 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 23:39:14 +0000 | Core4452 | (~Zemy@2600:100c:b04a:cc3c:ac56:f4ff:fe3c:1c26) |
| 2026-01-17 23:39:15 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 23:39:42 +0000 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:2826:1bff:fef2:30a6) (Read error: Connection reset by peer) |
| 2026-01-17 23:39:44 +0000 | <EvanR> | e.g. addition interface could be implemented by Word8 or Complex a where a implements addition interface |
| 2026-01-17 23:40:04 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> yes, you are right, code without existentials, plus "-fexpose-overloaded-unfoldings" and "-fspecialise-aggressively" should in theory be just as good at avoiding runtime lookups |
| 2026-01-17 23:40:12 +0000 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 256 seconds) |
| 2026-01-17 23:41:10 +0000 | <EvanR> | aiui typeclasses shine in cases where you can get away without talking about explicit dictionaries, since it will be passed automagically around |
| 2026-01-17 23:41:26 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> yes, I fully agree |
| 2026-01-17 23:41:45 +0000 | bgamari | (~bgamari@64.223.170.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2026-01-17 23:41:49 +0000 | Core3498 | (~Zemy@72.178.108.235) (Ping timeout: 246 seconds) |
| 2026-01-17 23:43:32 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> but once you start writing GADTs it's so hard to avoid existentials; I tried for a while, marked each one in the source code, but quickly gave up --- too many :) |
| 2026-01-17 23:44:07 +0000 | ethantwardy | (~user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
| 2026-01-17 23:44:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-17 23:44:27 +0000 | bgamari | (~bgamari@64.223.173.201) |
| 2026-01-17 23:44:29 +0000 | <geekosaur> | enh, you can enable GADTSyntax without enabling GADTs |
| 2026-01-17 23:45:40 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> oh no, but the sweet reward is in the extra type correctness real GADTs ensure, unlike GADTSyntax, especially for syntax-like things |
| 2026-01-17 23:46:18 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> I'd love to read some functional pearl that rewrites the classic GADT AST examples without existentials in some fancy way |
| 2026-01-17 23:46:36 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> in many plausible ways, preferably |
| 2026-01-17 23:46:52 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> with similar correctness guarantees |
| 2026-01-17 23:47:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-17 23:47:58 +0000 | <EvanR> | the GADTsyntax is besides the point, since the key thing is case analyzing to introduce the forgotten now unknown type... however it was defined and constructed |
| 2026-01-17 23:48:07 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> for a non-trivial AST (I don't remember Peano arithmetic or lambda calculus already have existential types in the classic encoding) |
| 2026-01-17 23:48:08 +0000 | <geekosaur> | I'm confused. Doesn't that extra correctness come specifically from the embedded existentials, which are exposed by scrutinizing constructors? |
| 2026-01-17 23:48:10 +0000 | <EvanR> | in cases where you use existentials |
| 2026-01-17 23:49:00 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> geekosaur: I'm afraid so, but maybe there is another way? |
| 2026-01-17 23:49:15 +0000 | <EvanR> | doing existentials without existentials sounds tricky |
| 2026-01-17 23:49:25 +0000 | <EvanR> | (and what's the point) |
| 2026-01-17 23:49:30 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> :D |
| 2026-01-17 23:50:23 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-17 23:50:59 +0000 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2026-01-17 23:51:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-17 23:52:51 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> well, the point is, they are not a zero-cost abstraction unlike, in principle, most of other abstractions Haskell provides |
| 2026-01-17 23:53:47 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> and being so handy, they easily pollute the performance-sensitive parts of the application |
| 2026-01-17 23:55:03 +0000 | catties | kitties |
| 2026-01-17 23:55:27 +0000 | <geekosaur> | I think the only other alternative isn't here yet: dependent type witnesses of some kind. Which are also not zero cost, and I suspect end up being just a different way to encode existentials |
| 2026-01-17 23:56:30 +0000 | <haskellbridge> | <Man of Letters (Mikolaj)> ;< |
| 2026-01-17 23:57:23 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 23:57:37 +0000 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 23:58:10 +0000 | <geekosaur> | (GADT-style, at least) |
| 2026-01-17 23:58:18 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |