Logs: liberachat/#haskell
| 2026-03-07 15:09:51 | <[exa]> | I've got to go btw, have good luck |
| 2026-03-07 15:09:53 | <Guest89> | otherwise compacting or ghc-dup (which I haven't tried yet and has its own limitations) is my goto |
| 2026-03-07 15:10:02 | <Guest89> | thanks a bunch for the feedback |
| 2026-03-07 15:10:16 | <[exa]> | btw stay around until like monday, more people active by then |
| 2026-03-07 15:14:28 | × | Guest89 quits (~Guest89@185.45.21.144) (Ping timeout: 240 seconds) |
| 2026-03-07 15:15:40 | → | qqq joins (~qqq@185.54.23.93) |
| 2026-03-07 15:19:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:e975:d7be:a717:768f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-07 15:20:30 | → | Guest89 joins (~Guest89@185.45.21.144) |
| 2026-03-07 15:26:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 15:26:35 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-07 15:30:13 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-07 15:31:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-07 15:34:28 | × | Guest89 quits (~Guest89@185.45.21.144) (Ping timeout: 240 seconds) |
| 2026-03-07 15:35:06 | × | bggd__ quits (~bgg@2a01:e0a:fd5:f510:537e:c033:7f9f:3728) (Remote host closed the connection) |
| 2026-03-07 15:36:52 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2026-03-07 15:38:42 | → | metabulation joins (~wootehfoo@user/wootehfoot) |
| 2026-03-07 15:39:20 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2026-03-07 15:42:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 15:42:19 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2026-03-07 15:43:27 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2026-03-07 15:44:07 | × | metabulation quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2026-03-07 15:46:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 15:56:31 | → | tromp joins (~textual@2001:1c00:3487:1b00:e975:d7be:a717:768f) |
| 2026-03-07 15:57:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 15:58:35 | × | simpleshun quits (~simpleshu@user/SimpleShun) (Quit: WeeChat 4.8.1) |
| 2026-03-07 16:02:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-07 16:04:45 | × | qqq quits (~qqq@185.54.23.93) (Remote host closed the connection) |
| 2026-03-07 16:13:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 16:17:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-07 16:19:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-03-07 16:20:50 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-07 16:21:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-07 16:24:06 | → | atejandev joins (~ajdev@user/atejandev) |
| 2026-03-07 16:26:30 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-07 16:26:50 | × | atejandev quits (~ajdev@user/atejandev) (Client Quit) |
| 2026-03-07 16:27:42 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-03-07 16:28:09 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-07 16:30:46 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-07 16:33:40 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-07 16:34:12 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-07 16:34:22 | → | atejandev joins (~ajdev@user/atejandev) |
| 2026-03-07 16:35:36 | × | madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer) |
| 2026-03-07 16:45:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 16:49:09 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-07 16:49:47 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-07 16:50:33 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-07 16:50:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-07 16:51:00 | × | atejandev quits (~ajdev@user/atejandev) (Quit: Konversation terminated!) |
| 2026-03-07 16:52:57 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-03-07 16:55:23 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-07 17:01:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 17:06:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-07 17:07:49 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-07 17:16:26 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-07 17:16:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 17:17:42 | → | img joins (~img@user/img) |
| 2026-03-07 17:20:39 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-07 17:21:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-07 17:28:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 17:33:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 17:40:44 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-03-07 17:44:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 17:46:23 | → | AlexNoo joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 17:46:35 | × | hellwolf quits (~user@4884-83b1-dc5a-ca70-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 2026-03-07 17:47:08 | → | AlexNoo_ joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 17:47:52 | → | AlexNoo__ joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 17:48:31 | → | Digit joins (~user@user/digit) |
| 2026-03-07 17:49:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 17:50:42 | × | AlexNoo quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 17:51:38 | → | AlexNoo joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 17:51:46 | × | AlexNoo_ quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 17:51:57 | → | hellwolf joins (~user@a38e-19d1-a5f7-21b5-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 2026-03-07 17:52:18 | × | AlexNoo__ quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 17:52:21 | → | AlexNoo_ joins (~AlexNoo@178.34.150.243) |
| 2026-03-07 17:56:02 | × | AlexNoo quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 17:56:34 | × | AlexNoo_ quits (~AlexNoo@178.34.150.243) (Ping timeout: 248 seconds) |
| 2026-03-07 17:59:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 18:01:09 | <haskellbridge> | <zb> how many equations can i use to define a single function in haskell? is 15k too much? :P (they would be something like f :: Word8 -> Word8 -> Word8 -> Char) |
| 2026-03-07 18:02:49 | <monochrom> | I think there is no preset limit apart from what GHC and your computer can handle. |
| 2026-03-07 18:03:01 | <monochrom> | (oh and how long you can wait :) ) |
| 2026-03-07 18:03:27 | <monochrom> | https://xkcd.com/303/ applies >:) |
| 2026-03-07 18:03:29 | <haskellbridge> | <zb> but it would prably be better to take an other approach? |
| 2026-03-07 18:04:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-07 18:06:21 | <monochrom> | Just for auditability you should find a better way, i.e., a way that leads to code easy to check. |
| 2026-03-07 18:10:32 | <EvanR> | worked for einstein |
| 2026-03-07 18:10:49 | <EvanR> | the einstein equation for GR expands to like... a lot of equations |
| 2026-03-07 18:11:10 | <haskellbridge> | <zb> (this would be charset conversion tables, which i guess i would want to somehow compile into the module for efficiency. the specific module would define only the one 15k equations function) |
| 2026-03-07 18:12:42 | <monochrom> | 15k lines of "f 1 2 3 = 4" is likely compiled to exhaustive search over 15k cases. |
| 2026-03-07 18:12:58 | × | CallipygousPepe quits (~reuben@user/CallipygousPepe) (Quit: Konversation terminated!) |
| 2026-03-07 18:15:17 | <haskellbridge> | <zb> ah... i was hoping for the compiler make it into some clever hash lookups or something :D |
| 2026-03-07 18:16:41 | <haskellbridge> | <zb> kind of expecting, really, since defining the (f 1)’s shouldn’t be too many lines! |
| 2026-03-07 18:17:43 | → | driib3180 joins (~driib@176.57.184.141) |
| 2026-03-07 18:17:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 18:21:08 | × | driib3180 quits (~driib@176.57.184.141) (Client Quit) |
| 2026-03-07 18:22:05 | <c_wraith> | GHC *might* make it a trie at best - collapsing all the prefixes together. I wouldn't expect anything more clever than that. |
| 2026-03-07 18:23:14 | <c_wraith> | Though I guess that still has as many leaves as there are equations, so it's not really doing much besides eliminating redundant checks |
| 2026-03-07 18:24:19 | <monochrom> | Ah yeah, that. "f 1 2 3 = 4; f 1 3 7 = 2" is likely "f x y z = case x of 1 -> {cases for y and z under x=1}". But really, the benefit is negligible until you ask "can I have a function of 15k arguments?" >:) |
| 2026-03-07 18:25:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-07 18:26:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-07 18:30:51 | × | tromp quits (~textual@2001:1c00:3487:1b00:e975:d7be:a717:768f) (Quit: My iMac has gone to sleep. ZZZzzz…) |
All times are in UTC.