Logs: liberachat/#haskell
| 2026-03-19 09:53:33 | <anselmschueler> | and then these types are summed |
| 2026-03-19 09:54:22 | <anselmschueler> | e.g. "data MaybeTwo t = NoTwo | JustTwo t t" is like the product type "1" (empty product) + the product type "t × t" |
| 2026-03-19 09:54:35 | <anselmschueler> | i.e. MaybeTwo(T) = 1 + T² |
| 2026-03-19 09:57:16 | × | Freakie quits (~Freakie@37.96.11.80) (Quit: Client closed) |
| 2026-03-19 10:00:18 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-19 10:02:52 | <[exa]> | oh yes `1` is a good version of my `()` |
| 2026-03-19 10:03:06 | <[exa]> | in turn it would give `Bool == 1+1 == 2` :> |
| 2026-03-19 10:03:57 | → | Freakie joins (~Freakie@185.45.22.133) |
| 2026-03-19 10:05:23 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-03-19 10:09:03 | → | haritz joins (~hrtz@140.228.70.141) |
| 2026-03-19 10:09:03 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2026-03-19 10:09:03 | → | haritz joins (~hrtz@user/haritz) |
| 2026-03-19 10:09:54 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
| 2026-03-19 10:11:46 | <anselmschueler> | T^2 even makes sense if 2 = Bool and X^Y = Y -> X; T^2 is a tuple (x, y), but this can be realised as a function f = \case { True -> x; False -> y } |
| 2026-03-19 10:18:52 | × | forell quits (~forell@user/forell) (Ping timeout: 268 seconds) |
| 2026-03-19 10:23:07 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 264 seconds) |
| 2026-03-19 10:30:43 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 272 seconds) |
| 2026-03-19 10:35:29 | <merijn> | mesaoptimizer: I think you're rather confused to begin with? True and False aren't type constructors, they're value constructors |
| 2026-03-19 10:36:18 | <merijn> | Freakie: ADTs are both sum AND product types |
| 2026-03-19 10:36:25 | <merijn> | that's what makes them algebraic :p |
| 2026-03-19 10:38:25 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-19 10:38:45 | → | acidjnk_new joins (~acidjnk@p200300d6e700e54146a195f20f1debd3.dip0.t-ipconnect.de) |
| 2026-03-19 10:41:50 | × | acidjnk quits (~acidjnk@p200300d6e700e503ca16aff59d0b5956.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-03-19 10:49:42 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-19 10:54:10 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-19 10:55:09 | × | olivial quits (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2026-03-19 10:55:27 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2026-03-19 10:55:28 | × | Freakie quits (~Freakie@185.45.22.133) (Ping timeout: 240 seconds) |
| 2026-03-19 11:00:44 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-03-19 11:01:28 | → | takuan joins (~takuan@d8d86b9e9.access.telenet.be) |
| 2026-03-19 11:05:13 | → | Jackneill joins (~Jackneill@188-143-82-16.pool.digikabel.hu) |
| 2026-03-19 11:14:05 | → | xff0x joins (~xff0x@2405:6580:b080:900:d540:12da:a11a:2c00) |
| 2026-03-19 11:14:14 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-19 11:14:34 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-03-19 11:24:20 | → | AlexNoo joins (~AlexNoo@178.34.151.138) |
| 2026-03-19 11:27:15 | → | Freakie joins (~Freakie@37.96.11.80) |
| 2026-03-19 11:29:53 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-03-19 11:34:10 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-19 11:37:25 | × | comonad quits (~comonad@p200300d02717df00adc247ef70bd7367.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2026-03-19 11:38:04 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-03-19 11:38:09 | <gentauro> | for a bool type, you only need a single bit. However, our smallest mem container is an octet ("byte") |
| 2026-03-19 11:43:28 | → | comonad joins (~comonad@pd9e0770c.dip0.t-ipconnect.de) |
| 2026-03-19 11:47:21 | × | Square2 quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2026-03-19 11:49:09 | → | weary-traveler joins (~user@user/user363627) |
| 2026-03-19 11:50:37 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-19 11:51:46 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 2026-03-19 11:54:58 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-03-19 11:56:48 | × | Freakie quits (~Freakie@37.96.11.80) (Quit: Client closed) |
| 2026-03-19 11:59:30 | × | comonad quits (~comonad@pd9e0770c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-03-19 12:00:41 | → | comonad joins (~comonad@p200300d02717df00adc247ef70bd7367.dip0.t-ipconnect.de) |
| 2026-03-19 12:01:56 | × | Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 2026-03-19 12:02:09 | → | Axman6 joins (~Axman6@user/axman6) |
| 2026-03-19 12:04:21 | → | Freakie joins (~Freakie@185.45.22.133) |
| 2026-03-19 12:04:45 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 2026-03-19 12:05:53 | <Freakie> | does anyone have experience with using ghc-debug? I've been trying to get the TUI to work but it keeps crashing on me saying "not enough bytes". google hasn't been helpful either |
| 2026-03-19 12:06:29 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 244 seconds) |
| 2026-03-19 12:07:09 | → | AlexZenon joins (~alzenon@178.34.151.138) |
| 2026-03-19 12:07:31 | <chromoblob> | feed more bytes |
| 2026-03-19 12:07:40 | <Freakie> | would that I knew how |
| 2026-03-19 12:11:17 | → | Alex_delenda_est joins (~al_test@178.34.151.138) |
| 2026-03-19 12:11:42 | × | AlexZenon quits (~alzenon@178.34.151.138) (Ping timeout: 255 seconds) |
| 2026-03-19 12:15:39 | → | Alex_A joins (~al_test@178.34.151.138) |
| 2026-03-19 12:15:45 | × | Alex_delenda_est quits (~al_test@178.34.151.138) (Ping timeout: 255 seconds) |
| 2026-03-19 12:16:15 | → | AlexZenon joins (~alzenon@178.34.151.138) |
| 2026-03-19 12:18:02 | Alex_A | is now known as Alex_delenda_est |
| 2026-03-19 12:19:23 | → | AlexZenon_2 joins (~alzenon@178.34.151.138) |
| 2026-03-19 12:20:42 | × | AlexZenon quits (~alzenon@178.34.151.138) (Ping timeout: 255 seconds) |
| 2026-03-19 12:23:51 | × | AlexZenon_2 quits (~alzenon@178.34.151.138) (Ping timeout: 255 seconds) |
| 2026-03-19 12:27:58 | → | AlexZenon joins (~alzenon@178.34.151.138) |
| 2026-03-19 12:29:37 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-19 12:30:43 | → | AlexZenon_2 joins (~alzenon@178.34.151.138) |
| 2026-03-19 12:32:24 | × | AlexZenon quits (~alzenon@178.34.151.138) (Ping timeout: 255 seconds) |
| 2026-03-19 12:34:04 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 2026-03-19 12:35:06 | × | AlexZenon_2 quits (~alzenon@178.34.151.138) (Ping timeout: 255 seconds) |
| 2026-03-19 12:38:48 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-03-19 12:39:18 | → | AlexZenon joins (~alzenon@178.34.151.138) |
| 2026-03-19 12:43:43 | → | crazazy joins (crazazy@tilde.town) |
| 2026-03-19 12:50:57 | <gentauro> | Freakie: I once had a 33 GB space-leak with -> https://hackage.haskell.org/package/taffybar |
| 2026-03-19 12:51:32 | <gentauro> | so as chromoblob says, just gif more RAM |
| 2026-03-19 12:54:23 | <Freakie> | well the point of my program is to eat up a lot of ram but not on these input sizes :) |
| 2026-03-19 12:54:37 | <Freakie> | but no help with ghc-debug I take it then? |
| 2026-03-19 13:00:05 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-03-19 13:02:11 | × | czan quits (~czan@user/mange) (Quit: Zzz...) |
| 2026-03-19 13:06:44 | × | rainbyte quits (~rainbyte@181.47.219.110) (Read error: Connection reset by peer) |
| 2026-03-19 13:09:05 | → | rainbyte joins (~rainbyte@181.47.219.110) |
| 2026-03-19 13:13:07 | <gentauro> | Freakie: I rarely use debuggers when doing FP :) |
| 2026-03-19 13:13:16 | <gentauro> | I use other mechanism for testing |
| 2026-03-19 13:15:07 | <Freakie> | well I feel like I'm out of options at this point, unfortunately |
| 2026-03-19 13:15:50 | <Freakie> | I have some sort of massive space leak that does not appear obvious why and both heap and non-heap profiling only got me so far |
| 2026-03-19 13:16:14 | <Freakie> | if you have any suggestions I'd be glad to hear them though |
| 2026-03-19 13:16:41 | <haskellbridge> | <ijouw> haskell-debugger? |
| 2026-03-19 13:21:07 | <gentauro> | Freakie: when I made this (totally wacko) I needed to see what was "eating up mem" -> https://blog.stermon.org/articles/2020/03/30/haskell-data-octet-safe-idiomatic-and-big.html and https://blog.stermon.org/articles/2020/04/06/haskell-data-octet-nand-smaller-but-slower.html |
| 2026-03-19 13:22:31 | gentauro | world longest blog post. Most people consuming my feed "complained" xD |
| 2026-03-19 13:22:53 | <Freakie> | yeah I'm not going to be able to get to the bottom of that first one |
| 2026-03-19 13:23:27 | <Freakie> | so what'd you do? |
| 2026-03-19 13:24:54 | <gentauro> | Freakie: by running the profiler, I went step-by-step, making "lazy" parts "strict" |
| 2026-03-19 13:25:38 | <gentauro> | let me see if I can find my profiling script |
| 2026-03-19 13:26:10 | <Freakie> | I've tried all variations of strictness and it didn't help |
| 2026-03-19 13:26:58 | <Freakie> | all I have to go from in my heap profiling is that most of my data comes from constructors tagged CONSTR_NOCAF but I don't know if that's worth anything or not |
| 2026-03-19 13:28:23 | <Freakie> | I've tried approximating the memory footprint of my data as well and it's using something like 100x the memory it should |
All times are in UTC.