| 2025-04-05 00:00:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-05 00:01:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-05 00:02:35 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-05 00:02:43 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-04-05 00:03:15 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-05 00:03:15 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-05 00:03:30 +0200 | forell | (~forell@user/forell) forell |
| 2025-04-05 00:06:19 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-05 00:06:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) |
| 2025-04-05 00:08:43 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 00:09:40 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-05 00:10:08 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-05 00:12:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 00:15:12 +0200 | remexre_ | (~remexre@user/remexre) remexre |
| 2025-04-05 00:15:19 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 265 seconds) |
| 2025-04-05 00:16:39 +0200 | remexre_ | remexre |
| 2025-04-05 00:16:46 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2025-04-05 00:18:34 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-05 00:24:54 +0200 | krei-se | (~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 00:25:35 +0200 | krei-se- | (~krei-se@p3ee0f990.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-04-05 00:26:26 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-05 00:26:53 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 00:27:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-05 00:27:45 +0200 | remexre_ | (~remexre@user/remexre) remexre |
| 2025-04-05 00:27:58 +0200 | remexre | (~remexre@user/remexre) (Read error: Connection reset by peer) |
| 2025-04-05 00:29:27 +0200 | remexre_ | remexre |
| 2025-04-05 00:31:24 +0200 | krei-se- | (~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 00:31:59 +0200 | krei-se | (~krei-se@p200300f1cfff316bda9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-05 00:32:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5ca9:4add:c07a:f3a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-05 00:35:28 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-05 00:35:40 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-04-05 00:51:44 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-05 00:52:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-05 01:01:06 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-05 01:12:05 +0200 | sprotte24_ | (~sprotte24@p200300d16f176a007d5b6fd7286fde7f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-05 01:12:20 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-05 01:14:02 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) |
| 2025-04-05 01:17:24 +0200 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) |
| 2025-04-05 01:18:25 +0200 | Kaladin | (~Kaladin@157-131-246-110.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2025-04-05 01:19:04 +0200 | krei-se | (~krei-se@p3ee0f75f.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 01:19:49 +0200 | krei-se- | (~krei-se@p200300f1cfff3170da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-05 01:20:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-05 01:22:24 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 01:25:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 01:27:15 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 01:28:19 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-05 01:28:44 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Remote host closed the connection) |
| 2025-04-05 01:29:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-05 01:30:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 01:40:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 01:41:40 +0200 | krei-se | (~krei-se@p3ee0f75f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 01:48:42 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-05 01:49:08 +0200 | krei-se | (~krei-se@p200300f1cfff3299da9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 01:51:28 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-04-05 01:52:29 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-05 01:53:07 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 01:53:39 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-04-05 01:55:04 +0200 | forell | (~forell@user/forell) forell |
| 2025-04-05 01:59:19 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 02:06:42 +0200 | Feuermagier | Guest6426 |
| 2025-04-05 02:06:42 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-05 02:06:42 +0200 | Guest6426 | (~Feuermagi@user/feuermagier) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2025-04-05 02:06:42 +0200 | Feuermagier_ | Feuermagier |
| 2025-04-05 02:06:54 +0200 | otto_s | (~user@p5de2ff42.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-04-05 02:08:29 +0200 | otto_s | (~user@p5de2f9f0.dip0.t-ipconnect.de) |
| 2025-04-05 02:08:41 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
| 2025-04-05 02:14:57 +0200 | krei-se | (~krei-se@p200300f1cfff3299da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 02:16:37 +0200 | krei-se | (~krei-se@p3ee0f069.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 02:19:27 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) |
| 2025-04-05 02:24:46 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c0fa:b50a:3031:4dce) (Quit: Leaving) |
| 2025-04-05 02:25:13 +0200 | inca | (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 02:25:57 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f05ad6cd39b235d43c6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 02:41:48 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds) |
| 2025-04-05 02:44:11 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-05 02:46:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-05 02:57:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 03:03:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-05 03:05:35 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2025-04-05 03:13:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 03:18:06 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-05 03:22:27 +0200 | Square2 | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-04-05 03:33:44 +0200 | <haskellbridge> | <Liamzee> cheating feels good, or rather, being able to improve the algorithm slightly with replacement of quot (foo 3) bar /= quot (foo 4) bar with a slightly more efficient algorithm, although I guess I should track down Gordon to confirm that Debian benchmarks told us to screw ourselves :( |
| 2025-04-05 03:38:01 +0200 | <haskellbridge> | <thirdofmay18081814goya> anyone know if "ghc-lib-parser" provides a monad to construct "Settings" and "DynFlags"? |
| 2025-04-05 03:38:16 +0200 | <haskellbridge> | <thirdofmay18081814goya> from the local ghc environment |
| 2025-04-05 03:40:03 +0200 | <haskellbridge> | <Liamzee> lol it's ironic because Jeremy Gibbons published the original algorithm that pidigits is supposed to be based on |
| 2025-04-05 03:40:06 +0200 | <haskellbridge> | <Liamzee> https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/spigot.pdf |
| 2025-04-05 03:40:10 +0200 | <haskellbridge> | <Liamzee> that's the spec, hahahaha |
| 2025-04-05 03:43:21 +0200 | <haskellbridge> | <thirdofmay18081814goya> you can use "getSessionDynFlags" supposing "GhcMonad" |
| 2025-04-05 03:57:56 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-05 03:58:32 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:eb48:5118:6a44:9814) (Remote host closed the connection) |
| 2025-04-05 03:58:35 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) thuna` |
| 2025-04-05 03:58:56 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:abb4:3ad0:1d9:d299) |
| 2025-04-05 04:05:41 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 248 seconds) |
| 2025-04-05 04:06:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> hm but "GhcMonad" needs the "ghc-lib" package which is sort of huge |
| 2025-04-05 04:06:42 +0200 | <haskellbridge> | <thirdofmay18081814goya> any other method to construct "Settings" and "DynFlags", other than manually filling out the fields? |
| 2025-04-05 04:08:42 +0200 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2025-04-05 04:09:00 +0200 | <haskellbridge> | <Liamzee> thirdofmay18081814goya: you're also on matrix, you can try the matrix haskell channel as well |
| 2025-04-05 04:09:49 +0200 | <haskellbridge> | <thirdofmay18081814goya> will ask there too ty |
| 2025-04-05 04:10:29 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-05 04:16:55 +0200 | <monochrom> | It should be pretty evident by now that even though converting (mod 7) to a faster multiplication and bitwise operations is well understood, it is not going to be a priority of GHC for the forseeable future. Instead, let use -fllvm and let LLVM do it. |
| 2025-04-05 04:18:18 +0200 | <monochrom> | Applying very basic economics, you look at what reward people get for contributing to GHC, you see their priorities. |
| 2025-04-05 04:19:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-05 04:19:31 +0200 | <monochrom> | So for example, some people get papers published for adding linear types to GHC, so they did. But no one gets papers published for using linear types to optimize code, so no one does. |
| 2025-04-05 04:20:15 +0200 | <monochrom> | Not to mention the too-little-too-late :doc commands. |
| 2025-04-05 04:22:20 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-04-05 04:23:56 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 272 seconds) |
| 2025-04-05 04:27:59 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-04-05 04:29:08 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-04-05 04:31:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 04:35:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-05 04:46:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 04:51:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 04:53:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 04:58:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-05 05:00:24 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2025-04-05 05:01:28 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-04-05 05:02:29 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2025-04-05 05:03:40 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-04-05 05:04:14 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-05 05:09:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 05:10:02 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 2025-04-05 05:14:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 05:24:56 +0200 | monochrom | (trebla@216.138.220.146) |
| 2025-04-05 05:25:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 05:35:14 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-04-05 05:51:21 +0200 | krei-se | (~krei-se@p3ee0f069.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 05:52:29 +0200 | krei-se | (~krei-se@p200300f1cfff387fda9ef3fffe7fdac8.dip0.t-ipconnect.de) krei-se |
| 2025-04-05 05:58:45 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-05 06:04:08 +0200 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 268 seconds) |
| 2025-04-05 06:05:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-05 06:05:29 +0200 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier |
| 2025-04-05 06:10:44 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-05 06:12:17 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-05 06:12:49 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-05 06:13:06 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-04-05 06:14:50 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-05 06:15:05 +0200 | califax | (~califax@user/califx) califx |
| 2025-04-05 06:15:50 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-05 06:30:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-05 06:41:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 06:46:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-05 06:57:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 06:59:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-05 07:01:00 +0200 | Pixi` | Pixi |
| 2025-04-05 07:03:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-05 07:04:30 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Remote host closed the connection) |
| 2025-04-05 07:10:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-05 07:13:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 07:19:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-05 07:20:02 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-04-05 07:23:12 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-05 07:23:12 +0200 | jmcantrell_ | jmcantrell |
| 2025-04-05 07:33:18 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-04-05 07:34:30 +0200 | remexre | (~remexre@user/remexre) remexre |
| 2025-04-05 07:40:41 +0200 | aman | (~aman@user/aman) (Quit: aman) |
| 2025-04-05 07:42:06 +0200 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2025-04-05 07:44:12 +0200 | Eoco | (~ian@128.101.131.218) Eoco |
| 2025-04-05 07:59:10 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-04-05 08:00:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-05 08:07:32 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2025-04-05 08:18:49 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-05 08:18:52 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:3a06:d959:ac54:37fc) dhil |
| 2025-04-05 08:19:00 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-05 08:25:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-05 08:37:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 08:44:03 +0200 | dhil | (~dhil@2a0c:b381:52e:3600:3a06:d959:ac54:37fc) (Ping timeout: 246 seconds) |
| 2025-04-05 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-05 09:00:49 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-04-05 09:00:51 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-05 09:17:11 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-05 09:18:09 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-04-05 09:18:33 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-05 09:23:28 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-05 09:23:28 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2025-04-05 09:23:28 +0200 | Feuermagier_ | Feuermagier |
| 2025-04-05 09:30:12 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2025-04-05 09:32:18 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-05 09:45:04 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f09082661686fc91abe.dip0.t-ipconnect.de) acidjnk |
| 2025-04-05 09:46:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-05 09:58:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 10:14:05 +0200 | tromp | (~textual@2001:1c00:3487:1b00:80ac:965e:288a:e7e3) |
| 2025-04-05 10:36:36 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 10:36:37 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f09082661686fc91abe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 10:37:16 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-04-05 10:41:51 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-05 10:48:37 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-05 10:48:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-05 10:49:56 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-04-05 10:54:33 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-04-05 10:54:45 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-04-05 10:54:58 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 2025-04-05 10:55:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 10:55:15 +0200 | tomku | (~tomku@user/tomku) tomku |
| 2025-04-05 10:55:24 +0200 | roconnor | (~quassel@rocq/roconnor) (Ping timeout: 245 seconds) |
| 2025-04-05 10:55:24 +0200 | haveo_ | (~weechat@pacamara.iuwt.fr) (Ping timeout: 245 seconds) |
| 2025-04-05 10:55:35 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2025-04-05 10:55:49 +0200 | haveo | (~weechat@pacamara.iuwt.fr) haveo |
| 2025-04-05 10:55:58 +0200 | roconnor | (~quassel@rocq/roconnor) roconnor |
| 2025-04-05 10:56:01 +0200 | mud | (~mud@user/kadoban) kadoban |
| 2025-04-05 11:00:01 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-05 11:00:14 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-05 11:05:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-05 11:10:21 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f092d86e29bd2672a66.dip0.t-ipconnect.de) acidjnk |
| 2025-04-05 11:11:05 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-05 11:14:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-05 11:15:18 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 11:16:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 11:21:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-05 11:28:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-05 11:29:40 +0200 | <haskellbridge> | <Liamzee> hmmm, curious, has anyone reported issues with ccall ffi? |
| 2025-04-05 11:30:04 +0200 | <haskellbridge> | <Liamzee> https://benchmarksgame-team.pages.debian.net/benchmarksgame/program/pidigits-ghc-5.html |
| 2025-04-05 11:30:24 +0200 | <haskellbridge> | <Liamzee> performance here has completely collapsed since a couple of recent benchmarking exercises, probably because of a change in ccal ffi |
| 2025-04-05 11:30:41 +0200 | <haskellbridge> | <Liamzee> I swapped it to Capi, and performance is back, currently about... |
| 2025-04-05 11:30:56 +0200 | <haskellbridge> | <Liamzee> 110% of C |
| 2025-04-05 11:32:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 11:41:39 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2025-04-05 11:46:50 +0200 | koz | (~koz@121.99.240.58) |
| 2025-04-05 11:53:24 +0200 | <haskellbridge> | <Liamzee> in terms of time |
| 2025-04-05 11:56:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f092d86e29bd2672a66.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-05 11:59:22 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-05 12:00:36 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-04-05 12:05:14 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-05 12:14:08 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2025-04-05 12:14:54 +0200 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 252 seconds) |
| 2025-04-05 12:16:45 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-05 12:23:25 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-04-05 12:24:14 +0200 | <__monty__> | Bigger is better, so beating C already, nice : D |
| 2025-04-05 12:27:15 +0200 | <haskellbridge> | <magic_rb> I think they meant 110% time, so 90% performance? |
| 2025-04-05 12:27:20 +0200 | <haskellbridge> | <magic_rb> Or smth like that |
| 2025-04-05 12:28:19 +0200 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-04-05 12:32:00 +0200 | <haskellbridge> | <Liamzee> yeah |
| 2025-04-05 12:32:28 +0200 | <haskellbridge> | <Liamzee> now i'm trying to figure out why, in haskell, using divMod is an optimization, but in C, using tdiv_qr is not |
| 2025-04-05 12:32:46 +0200 | <haskellbridge> | <Liamzee> because even with tdiv_qr on a junk variable, it's still increasing times by 30% |
| 2025-04-05 12:34:57 +0200 | <__monty__> | Probably Haskell's div is just `fst . divMod` while in C the backing algorithm somehow shortcuts not needing an accurate remainder or the other way around, whatever. |
| 2025-04-05 12:35:21 +0200 | <__monty__> | (I was joking about the bigger is better, FYI.) |
| 2025-04-05 12:38:09 +0200 | <haskellbridge> | <Liamzee> this is really, really weird, because the C isn't that much faster, 315 ms vs 430-480 ms on haskell |
| 2025-04-05 12:39:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-05 12:47:43 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-04-05 12:49:05 +0200 | <haskellbridge> | <Liamzee> i guess the real question is, why is Haskell efficient on bigint if it's using gmp as a backend, but gmp itself isn't? |
| 2025-04-05 12:50:34 +0200 | digitteknohippie | (~user@user/digit) Digit |
| 2025-04-05 12:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 12:52:39 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-04-05 12:53:01 +0200 | digitteknohippie | Digit |
| 2025-04-05 12:56:56 +0200 | <haskellbridge> | <Morj> There are a lot of ways to use gmp. There are several rust wrappers around it, and the performance can differ 5 times |
| 2025-04-05 12:57:22 +0200 | <haskellbridge> | <Morj> I haven't dug deeper yet, even when making this rust thing go faster is literally my day job >_> |
| 2025-04-05 12:58:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-05 12:59:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-05 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-05 13:01:50 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:73ee:b330:880d:2daa) internatetional |
| 2025-04-05 13:02:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 13:02:22 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-05 13:02:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-05 13:04:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-04-05 13:13:34 +0200 | ftzm | (~ftzm@085080243028.dynamic.telenor.dk) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-05 13:14:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-04-05 13:16:24 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-05 13:17:57 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:73ee:b330:880d:2daa) (Ping timeout: 252 seconds) |
| 2025-04-05 13:18:04 +0200 | internatetional_ | (~nate@2001:448a:20a3:c2e5:2654:9c7d:282c:a56a) internatetional |
| 2025-04-05 13:21:20 +0200 | internatetional | (~nate@2400:9800:320:db5f:1:0:1913:8d11) internatetional |
| 2025-04-05 13:23:13 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 13:23:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:80ac:965e:288a:e7e3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-05 13:24:51 +0200 | internatetional_ | (~nate@2001:448a:20a3:c2e5:2654:9c7d:282c:a56a) (Ping timeout: 252 seconds) |
| 2025-04-05 13:25:29 +0200 | forell | (~forell@user/forell) forell |
| 2025-04-05 13:26:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-04-05 13:28:15 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-05 13:28:44 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-05 13:29:12 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 13:36:17 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-05 13:43:23 +0200 | <Angelz> | hi lambdabot. |
| 2025-04-05 13:45:03 +0200 | Angelz | gadot |
| 2025-04-05 13:52:37 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-04-05 13:53:25 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-04-05 13:55:38 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f09a45abb10e29fc466.dip0.t-ipconnect.de) acidjnk |
| 2025-04-05 13:59:09 +0200 | rit | (~rit@2409:40e0:1c:121c:8974:a096:1a7b:cd3b) |
| 2025-04-05 13:59:44 +0200 | hattckory | (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 2025-04-05 14:11:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-05 14:22:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-05 14:27:01 +0200 | rit | (~rit@2409:40e0:1c:121c:8974:a096:1a7b:cd3b) (Remote host closed the connection) |
| 2025-04-05 14:32:02 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-04-05 14:33:13 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 14:33:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:80ac:965e:288a:e7e3) |
| 2025-04-05 14:36:02 +0200 | rit | (~rit@2409:40e0:1c:121c:8974:a096:1a7b:cd3b) |
| 2025-04-05 14:36:51 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-04-05 14:40:17 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-05 14:41:57 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f09a45abb10e29fc466.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-05 14:44:59 +0200 | Square2 | (~Square@user/square) Square |
| 2025-04-05 14:45:25 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-05 14:47:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-05 14:48:14 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 14:51:13 +0200 | internatetional | (~nate@2400:9800:320:db5f:1:0:1913:8d11) (Ping timeout: 245 seconds) |
| 2025-04-05 14:51:49 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-05 14:53:22 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f09a46d68cf1a287932.dip0.t-ipconnect.de) acidjnk |
| 2025-04-05 14:53:24 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-04-05 15:01:51 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-05 15:11:44 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2025-04-05 15:13:12 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-05 15:13:26 +0200 | cheater | (~Username@user/cheater) (Client Quit) |
| 2025-04-05 15:16:39 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 15:16:40 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-05 15:17:24 +0200 | cheater | (~Username@user/cheater) (Client Quit) |
| 2025-04-05 15:19:18 +0200 | rit | (~rit@2409:40e0:1c:121c:8974:a096:1a7b:cd3b) (Ping timeout: 240 seconds) |
| 2025-04-05 15:21:45 +0200 | internatetional | (~nate@2400:9800:322:960e:1:0:1981:db59) internatetional |
| 2025-04-05 15:26:17 +0200 | rit | (~rit@2409:40e0:1c:121c:8974:a096:1a7b:cd3b) |
| 2025-04-05 15:28:43 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f09a46d68cf1a287932.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-04-05 15:36:13 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:58e6:6428:d346:1de6) |
| 2025-04-05 15:39:33 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2025-04-05 15:43:25 +0200 | toby-bro | (~toby-bro@user/toby-bro) toby-bro |
| 2025-04-05 15:43:45 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2025-04-05 15:48:39 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 252 seconds) |
| 2025-04-05 15:48:56 +0200 | cheater | (~Username@user/cheater) cheater |
| 2025-04-05 15:51:12 +0200 | internatetional | (~nate@2400:9800:322:960e:1:0:1981:db59) (Ping timeout: 268 seconds) |
| 2025-04-05 15:55:58 +0200 | statusbot10 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
| 2025-04-05 15:56:12 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 2025-04-05 15:56:25 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 15:56:49 +0200 | Digitteknohippie | Digit |
| 2025-04-05 15:58:11 +0200 | jespada | (~jespada@r186-49-242-220.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-05 16:01:00 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-04-05 16:01:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:80ac:965e:288a:e7e3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-05 16:04:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:80ac:965e:288a:e7e3) |
| 2025-04-05 16:09:28 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:de63:cea6:2301:accc) internatetional |
| 2025-04-05 16:22:35 +0200 | inca | (~inca@190.sub-174-226-85.myvzw.com) |
| 2025-04-05 16:27:54 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-04-05 16:30:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 268 seconds) |
| 2025-04-05 16:32:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-05 16:42:46 +0200 | jespada | (~jespada@r186-49-242-220.dialup.adsl.anteldata.net.uy) (Ping timeout: 265 seconds) |
| 2025-04-05 16:43:01 +0200 | <hellwolf> | hlint suggested me to use mapAndUnzipM. I had never known it existed. And why would there be a specialized function for such a thing.. |
| 2025-04-05 16:43:18 +0200 | <hellwolf> | Per base code: "mapAndUnzipM f xs = unzip <$> traverse f xs" |
| 2025-04-05 16:47:46 +0200 | jespada | (~jespada@r186-49-242-220.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-05 16:48:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:80ac:965e:288a:e7e3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-05 16:50:08 +0200 | internatetional_ | (~nate@2001:448a:20a3:c2e5:605b:9669:a8fc:b9c5) internatetional |
| 2025-04-05 16:53:32 +0200 | <tomsmeding> | why can ghc not "just" understand that pattern matching interacts with apartness |
| 2025-04-05 16:53:43 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:de63:cea6:2301:accc) (Ping timeout: 245 seconds) |
| 2025-04-05 16:54:18 +0200 | <hellwolf> | hmm? |
| 2025-04-05 16:55:11 +0200 | <tomsmeding> | which GHC developer should I pay to have GHC accept this code https://play.haskell.org/saved/HYLMVGG5 |
| 2025-04-05 16:55:29 +0200 | <tomsmeding> | the fact that the pattern match on SA failed _means_ that `tag` is not A |
| 2025-04-05 16:55:47 +0200 | <tomsmeding> | yes this involves inspecting the GADT for certain properties that make this work |
| 2025-04-05 16:55:51 +0200 | <tomsmeding> | no I don't care, I want this |
| 2025-04-05 16:55:52 +0200 | <merijn> | tomsmeding: I don't see GADTs enabled? |
| 2025-04-05 16:56:17 +0200 | <tomsmeding> | merijn: implied by TypeFamilies |
| 2025-04-05 16:56:30 +0200 | <tomsmeding> | it doesn't |
| 2025-04-05 16:56:51 +0200 | <tomsmeding> | I dunno, but GHC's behaviour doesn't change if I enable GADTs |
| 2025-04-05 16:58:40 +0200 | <ski> | i wonder whether you could do that, with polymorphic variants, and GADTs, in OCaml .. |
| 2025-04-05 16:59:06 +0200 | <ski> | (.. i'd suspect GADTs there only apply to the regular variants, though) |
| 2025-04-05 16:59:28 +0200 | <tomsmeding> | now I have to write stupid stuff like this https://paste.tomsmeding.com/2iMHvceB |
| 2025-04-05 17:05:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:44a6:f61b:e8c3:9514) |
| 2025-04-05 17:08:15 +0200 | <hellwolf> | I guess you need to provide some injectivity proof. However, your Split cannot be injective by the current typefamilydependencies rules. |
| 2025-04-05 17:10:02 +0200 | <tomsmeding> | yes, it's not quite injectivity, it's more subtle |
| 2025-04-05 17:11:31 +0200 | <tomsmeding> | I guess the logic could be: all tag constructors that only appear in GADT constructors that you've already fully pattern-matched away, are apart from the tag in the thing you're now matching |
| 2025-04-05 17:11:37 +0200 | <tomsmeding> | this would be sufficient for me |
| 2025-04-05 17:11:48 +0200 | <tomsmeding> | and I guess this should apply to every type parameter of the GADT individually |
| 2025-04-05 17:14:13 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-04-05 17:17:11 +0200 | <hellwolf> | have you tried FunDep? I think TF and FunDep has a few places that don't share the same capability |
| 2025-04-05 17:17:29 +0200 | <hellwolf> | let me give it a quick try |
| 2025-04-05 17:21:47 +0200 | inca | (~inca@190.sub-174-226-85.myvzw.com) (Ping timeout: 252 seconds) |
| 2025-04-05 17:23:49 +0200 | <hellwolf> | nope. I can't make any sort of overlapping to work so far: |
| 2025-04-05 17:23:49 +0200 | <hellwolf> | class Fam (tag :: Tag) (t :: Type) | tag -> t where |
| 2025-04-05 17:23:49 +0200 | <hellwolf> | instance {-# OVERLAPPABLE #-} Fam a Bool where |
| 2025-04-05 17:23:49 +0200 | <hellwolf> | instance {-# OVERLAPPING #-} Fam A Int where |
| 2025-04-05 17:26:17 +0200 | <hellwolf> | it's sort of inference that obvious to our intuition, but hard to convince the computer until we can articulate it precisely what that intuition is... |
| 2025-04-05 17:27:08 +0200 | <hellwolf> | it is about injectivity, but we don't seem to have enough expressiveness in the language here |
| 2025-04-05 17:27:22 +0200 | sintheta | src |
| 2025-04-05 17:27:55 +0200 | <tomsmeding> | hellwolf: I think the fundamental issue here is that while a pattern match success does produce type equalities, pattern match failure does not produce type inequalities |
| 2025-04-05 17:27:57 +0200 | <tomsmeding> | ever |
| 2025-04-05 17:28:10 +0200 | <tomsmeding> | and in general, it can't! But here it can and I want it to |
| 2025-04-05 17:28:30 +0200 | <tomsmeding> | type inequalities are also probably much harder to reason about in an inference engine |
| 2025-04-05 17:29:42 +0200 | <hellwolf> | by pattern matching "failure", do you mean the type-level check of the type matching exhaustiveness, and the "_" implied last pattern maching? I don't suppose you mean the run-time pattern matching failure for non-exhaustive pattern matchings. |
| 2025-04-05 17:29:42 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-04-05 17:30:18 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-04-05 17:32:10 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:5cc5:21af:ee80:fcb0) internatetional |
| 2025-04-05 17:33:25 +0200 | <hellwolf> | though, your Fam case would be solved by making it a type class |
| 2025-04-05 17:34:16 +0200 | <hellwolf> | instead of pattern matching, you use Dictionary with different code path... |
| 2025-04-05 17:34:34 +0200 | internatetional_ | (~nate@2001:448a:20a3:c2e5:605b:9669:a8fc:b9c5) (Ping timeout: 260 seconds) |
| 2025-04-05 17:34:39 +0200 | <hellwolf> | isn't it what you need in runtime anyways? |
| 2025-04-05 17:36:50 +0200 | src | (~src@user/src) () |
| 2025-04-05 17:38:22 +0200 | <hellwolf> | see: https://play.haskell.org/saved/BLfTE47T |
| 2025-04-05 17:39:11 +0200 | <hellwolf> | oh wait, let me finish the main function, and make overlappable work.. |
| 2025-04-05 17:39:32 +0200 | <hellwolf> | yes, here you go https://play.haskell.org/saved/7zttMWH9 @tomsmeding |
| 2025-04-05 17:41:15 +0200 | siraj | (~siraj@36.255.85.255) |
| 2025-04-05 17:41:34 +0200 | <hellwolf> | I guess instance resolution is the "expressiveness" you can use here. You might quickly hit UndecidableInstances if you start to use a lot of brief instance heads or type families. But I think they are still sound and consistent, from what I have heard and understood. |
| 2025-04-05 17:41:43 +0200 | <tomsmeding> | hellwolf: oh the OVERLAPPABLE trick is cute |
| 2025-04-05 17:42:05 +0200 | <tomsmeding> | but it's rather a lot of boilerplate, I guess |
| 2025-04-05 17:42:13 +0200 | <hellwolf> | indeed. |
| 2025-04-05 17:42:50 +0200 | <tomsmeding> | yes, that's what I want, but then in a normal function. :P |
| 2025-04-05 17:43:12 +0200 | <tomsmeding> | I guess this works because STag is really a singleton |
| 2025-04-05 17:43:23 +0200 | <hellwolf> | Only if we can leverage more the type level information from pattern maching exhaustiveness check |
| 2025-04-05 17:43:36 +0200 | <hellwolf> | comparing to the instance resolution, that is rather blackbox to us. |
| 2025-04-05 17:44:35 +0200 | <hellwolf> | tomsmeding: the boilerplate can be reduced by using default type class function implementation |
| 2025-04-05 17:44:53 +0200 | <hellwolf> | but it's an ad-hoc thing, not sure if it scales to more situations. |
| 2025-04-05 17:45:23 +0200 | <hellwolf> | oh, "default method signature" rather. but it is even more ad-hoc. |
| 2025-04-05 17:54:17 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-05 17:54:51 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-05 17:56:15 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:5cc5:21af:ee80:fcb0) (Ping timeout: 252 seconds) |
| 2025-04-05 17:59:42 +0200 | siraj | (~siraj@36.255.85.255) (Ping timeout: 240 seconds) |
| 2025-04-05 18:06:52 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-04-05 18:07:34 +0200 | divya` | (~user@139.5.11.143) |
| 2025-04-05 18:18:06 +0200 | rit | (~rit@2409:40e0:1c:121c:8974:a096:1a7b:cd3b) (Ping timeout: 240 seconds) |
| 2025-04-05 18:32:34 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-05 18:36:32 +0200 | inca | (~inca@190.sub-174-226-85.myvzw.com) |
| 2025-04-05 18:40:29 +0200 | jespada | (~jespada@r186-49-242-220.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
| 2025-04-05 18:40:56 +0200 | hc_ | hc |
| 2025-04-05 18:43:55 +0200 | jespada | (~jespada@r186-49-242-220.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-05 18:53:49 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-05 18:58:02 +0200 | praneyak | (~praneyak@2405:201:4005:3009:c10d:3767:8e4a:e057) |
| 2025-04-05 19:01:09 +0200 | jespada | (~jespada@r186-49-242-220.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |