Logs: liberachat/#haskell
| 2025-12-05 18:16:44 | → | ZLima12_ joins (~zlima12@user/meow/ZLima12) |
| 2025-12-05 18:17:09 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 260 seconds) |
| 2025-12-05 18:21:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-05 18:23:51 | Googulator47 | is now known as Googulator |
| 2025-12-05 18:25:09 | → | tromp joins (~textual@2001:1c00:3487:1b00:4ec:c6c9:2447:6676) |
| 2025-12-05 18:26:37 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-05 18:27:24 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-12-05 18:27:35 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-12-05 18:27:35 | ChanServ | sets mode +v haskellbridge |
| 2025-12-05 18:28:03 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-12-05 18:31:25 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-12-05 18:31:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 18:36:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 18:37:28 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-12-05 18:38:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-05 18:38:57 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds) |
| 2025-12-05 18:44:19 | <tomsmeding> | Zemyla: do you mean Data.Seq, i.e. finger trees? |
| 2025-12-05 18:44:41 | <tomsmeding> | there's so many pointers in there that one extra pointer to the elements is hardly the performance bottleneck |
| 2025-12-05 18:45:08 | <tomsmeding> | (I guess it might help a little) |
| 2025-12-05 18:45:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 18:49:49 | <[exa]> | C++esque deque comes to mind as useful alternative |
| 2025-12-05 18:50:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 18:53:44 | <haskellbridge> | <Zemyla> Well, it'd allow tighter packing in a number of instances. |
| 2025-12-05 18:54:07 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:b178:c96:453a:4d0f) (Quit: std::move) |
| 2025-12-05 18:54:26 | <haskellbridge> | <Zemyla> The best example is Bool, where a Node (Node (Node Bool)), which can contain between 8 and 27 Bools, can fit in a Word32 because its length is at most 5 bits. |
| 2025-12-05 18:56:06 | <[exa]> | maybe check out what text editors use, they should have some kind of related rope structure |
| 2025-12-05 18:58:06 | <[exa]> | (editors like yi or so) |
| 2025-12-05 19:01:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 19:06:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 19:06:47 | × | acidjnk quits (~acidjnk@p200300d6e7171916e981ce74d2c64e2e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-12-05 19:14:52 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-05 19:15:18 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 19:17:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 19:22:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-05 19:29:45 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-05 19:30:02 | × | gorignak quits (~gorignak@user/gorignak) (Ping timeout: 244 seconds) |
| 2025-12-05 19:30:32 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2025-12-05 19:31:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-05 19:33:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 19:33:32 | → | acidjnk joins (~acidjnk@p200300d6e717191679d48b614f527e93.dip0.t-ipconnect.de) |
| 2025-12-05 19:37:15 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 19:37:28 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 19:38:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 19:46:10 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-12-05 19:46:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 19:47:17 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 19:47:30 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 19:53:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 20:00:53 | × | AlexNoo quits (~AlexNoo@85.174.183.177) (Read error: Connection reset by peer) |
| 2025-12-05 20:01:04 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-12-05 20:01:07 | <c_wraith> | I mean, you probably want some kind of B-Tree or something |
| 2025-12-05 20:01:15 | → | AlexNoo joins (~AlexNoo@85.174.183.177) |
| 2025-12-05 20:02:24 | <EvanR> | it seems like a text editor could get away with an ordered set of lines, and the lines are packed? for most usecases |
| 2025-12-05 20:03:00 | <EvanR> | then you open a giant file with no newlines and it freezes the computer |
| 2025-12-05 20:03:37 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-12-05 20:04:38 | <[exa]> | yeah afaik the usual rope structures kinda look like B-trees, with size annotations to allow fast seeks |
| 2025-12-05 20:05:10 | × | myme quits (~myme@2a01:799:d5e:5f00:a10a:6bc:6be7:9209) (Ping timeout: 244 seconds) |
| 2025-12-05 20:05:14 | <[exa]> | and a veeeeeery wide lower lever |
| 2025-12-05 20:06:13 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-05 20:06:29 | → | myme joins (~myme@2a01:799:d5e:5f00:b47a:83fd:4eab:92be) |
| 2025-12-05 20:06:33 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-12-05 20:07:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 20:08:26 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-05 20:09:44 | → | mulk joins (~mulk@p5b1127bf.dip0.t-ipconnect.de) |
| 2025-12-05 20:10:18 | × | annamalai quits (~annamalai@117.246.252.114) (Ping timeout: 256 seconds) |
| 2025-12-05 20:10:45 | → | annamalai joins (~annamalai@157.32.217.168) |
| 2025-12-05 20:11:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-05 20:22:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 20:28:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-05 20:30:27 | → | Googulator joins (~Googulato@2a01-036d-0106-479c-a13d-10f6-324f-ace8.pool6.digikabel.hu) |
| 2025-12-05 20:33:13 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-05 20:38:30 | × | wbooze quits (~wbooze@cgn-195-14-220-195.nc.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2025-12-05 20:38:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 20:39:30 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-12-05 20:40:19 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-05 20:40:33 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-05 20:43:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-05 20:47:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 20:52:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-05 20:52:26 | → | mikess joins (~sam@user/mikess) |
| 2025-12-05 21:00:55 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-12-05 21:03:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 21:04:16 | → | Wygulmage joins (~Wygulmage@user/Wygulmage) |
| 2025-12-05 21:05:10 | → | wbooze joins (~wbooze@cgn-195-14-220-195.nc.de) |
| 2025-12-05 21:07:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-05 21:08:39 | <Wygulmage> | Is it possible to use a rewrite rule on a class-generic function for one instance that has a constraint? For example an instance `Ord a => C (Set a)` and a function `delete` constrained by `C` but not `Ord a`. I want to rewrite `delete` (of the correct type) to `Data.Set.delete`, but the rule can't seem to pull in the `Ord` constraint from the |
| 2025-12-05 21:08:40 | <Wygulmage> | class instance. |
| 2025-12-05 21:13:41 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 21:18:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 21:23:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-05 21:34:33 | → | califax joins (~califax@user/califx) |
| 2025-12-05 21:34:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-05 21:37:13 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-05 21:38:54 | → | califax joins (~califax@user/califx) |
| 2025-12-05 21:39:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-05 21:40:48 | trickard_ | is now known as trickard |
| 2025-12-05 21:41:12 | <[exa]> | Wygulmage: that sounds like trying to make a typeclass instance that says "everything except this one" ? |
| 2025-12-05 21:42:06 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-12-05 21:43:16 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-05 21:44:49 | → | Anarchos joins (~Anarchos@91-161-254-16.subs.proxad.net) |
All times are in UTC.