Logs: liberachat/#haskell
| 2026-03-07 18:33:05 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 245 seconds) |
| 2026-03-07 18:34:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-07 18:44:55 | <[exa]> | zb: if you totally need some such thing to happen you might want to have some templatehaskell preprocessing step that chews the 15k alternatives into something more tangible for ghc |
| 2026-03-07 18:45:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 18:45:16 | <haskellbridge> | <zb> for the record: it works! or i think it does! though the compiling takes a couple of minutes, which is a bit inconvenient, and the first lookup i then did in my ghci session felt a bit slow, maybe like 0.5s. but then the next lookups don’t feel slow anymore. i did get a warning when compiling/loading the module: Pattern match checker exceeded (2000000) iterations in an equation for ‘g000’. (Use -fmax-pmcheck-iterations=n to set the... |
| 2026-03-07 18:45:22 | <haskellbridge> | ... maximum number of iterations to n) |
| 2026-03-07 18:45:22 | <[exa]> | also perhaps generating the alternatives in the process so that you don't have O(15k) of code |
| 2026-03-07 18:46:36 | <haskellbridge> | <zb> would you have any easy pointers to where i could read more about templatehaskell preprocessing? |
| 2026-03-07 18:49:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-07 18:49:53 | <haskellbridge> | <zb> (i’ll start from https://wiki.haskell.org/Template_Haskell) |
| 2026-03-07 18:50:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 18:54:19 | <[exa]> | yeah I'm not sure there's any actual tutorial, it's kinda materialized pre-compilation computation, IMO very good for such usecases |
| 2026-03-07 18:54:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:e975:d7be:a717:768f) |
| 2026-03-07 18:55:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-07 18:56:32 | <c_wraith> | perhaps shockingly, the ghc user's manual is actually where I learned most of what I know about template haskell. |
| 2026-03-07 18:57:25 | <c_wraith> | You still need to understand *why* you'd use it, but it still provides an incredible reference for what all the syntax does. |
| 2026-03-07 18:58:17 | <haskellbridge> | <sm> what is this "manual" you speak of... |
| 2026-03-07 18:59:00 | <c_wraith> | some arcane bit of lore. (I think it's actually called the User Guide? Eh. Whatever.) |
| 2026-03-07 18:59:40 | <haskellbridge> | <sm> wizardry! |
| 2026-03-07 19:01:32 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 2026-03-07 19:06:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 19:08:10 | → | stackdroid18 joins (~stackdroi@user/stackdroid) |
| 2026-03-07 19:11:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 19:11:17 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 2026-03-07 19:11:37 | → | elarks joins (~elarks@user/yerrii) |
| 2026-03-07 19:11:44 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-03-07 19:13:28 | DetourNe- | is now known as DetourNetworkUK |
| 2026-03-07 19:14:55 | <EvanR> | luckily O(15000) is really efficient |
| 2026-03-07 19:16:28 | → | zb joins (jobnbg@bot.kapsi.fi) |
| 2026-03-07 19:21:48 | <haskellbridge> | <zb> yes! |
| 2026-03-07 19:21:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 19:26:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-07 19:29:01 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-03-07 19:37:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 19:41:58 | <monochrom> | The Forbidden GHC Sutra |
| 2026-03-07 19:42:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-07 19:43:44 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 268 seconds) |
| 2026-03-07 19:49:04 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-03-07 19:49:32 | → | oskarw joins (~user@user/oskarw) |
| 2026-03-07 19:50:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-03-07 19:50:14 | → | ft joins (~ft@p4fc2a98c.dip0.t-ipconnect.de) |
| 2026-03-07 19:51:56 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-03-07 19:53:55 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-07 19:55:05 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2026-03-07 19:57:18 | → | mud joins (~mud@user/kadoban) |
| 2026-03-07 20:00:21 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-07 20:03:42 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
| 2026-03-07 20:11:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 20:16:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 20:16:48 | → | madresch1 joins (~Thunderbi@user/madresch) |
| 2026-03-07 20:16:50 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-07 20:16:54 | madresch1 | is now known as madresch |
| 2026-03-07 20:23:05 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-07 20:26:22 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Client Quit) |
| 2026-03-07 20:27:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 20:27:48 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-03-07 20:32:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-07 20:32:34 | → | pavonia joins (~user@user/siracusa) |
| 2026-03-07 20:35:31 | → | eLx joins (~eLx@2001:1c00:6892:ff00:ec3b:4a35:ffd2:2ee3) |
| 2026-03-07 20:39:11 | × | eLx quits (~eLx@2001:1c00:6892:ff00:ec3b:4a35:ffd2:2ee3) (Client Quit) |
| 2026-03-07 20:39:42 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2026-03-07 20:39:49 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-07 20:41:07 | × | RMSBach quits (~RMSBach@24.210.9.182) (Ping timeout: 264 seconds) |
| 2026-03-07 20:41:26 | → | RMSBach joins (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) |
| 2026-03-07 20:43:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 20:45:31 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-03-07 20:48:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-07 20:49:28 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-07 20:52:32 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-07 20:53:45 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2026-03-07 20:56:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-07 20:58:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 21:03:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-07 21:07:15 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-03-07 21:14:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 21:17:05 | × | Digit quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 2026-03-07 21:17:12 | → | Digitteknohippie joins (~user@user/digit) |
| 2026-03-07 21:19:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-07 21:25:56 | → | AlexNoo joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 21:26:42 | → | AlexNoo_ joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 21:27:26 | → | AlexNoo__ joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 21:29:44 | × | takuan quits (~takuan@141.134.185.233) (Ping timeout: 244 seconds) |
| 2026-03-07 21:30:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 21:30:26 | × | AlexNoo quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 21:30:58 | × | AlexNoo_ quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 21:31:30 | × | AlexNoo__ quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 21:37:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 21:48:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 21:48:27 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) |
| 2026-03-07 21:48:27 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:49f2:4a42:13a7:5052) (Changing host) |
| 2026-03-07 21:48:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-07 21:48:39 | → | humasect joins (~humasect@192.249.132.90) |
| 2026-03-07 21:53:03 | → | czan joins (~czan@user/mange) |
| 2026-03-07 21:53:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 21:56:05 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-03-07 22:17:56 | → | srazkvt joins (~sarah@user/srazkvt) |
| 2026-03-07 22:18:06 | × | srazkvt quits (~sarah@user/srazkvt) (Client Quit) |
| 2026-03-07 22:24:30 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-07 22:26:41 | → | mjrosenb joins (~mjrosenb@pool-71-190-143-170.nycmny.fios.verizon.net) |
| 2026-03-07 22:26:42 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
All times are in UTC.