--- Log opened Thu Oct 06 00:00:40 2022
04:44 -!- fjahr_ [sid374480@id-374480.uxbridge.irccloud.com] has quit [Read error: Connection reset by peer]
04:44 -!- fjahr_ [sid374480@id-374480.uxbridge.irccloud.com] has joined ##miniscript
09:10 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 264 seconds]
13:34 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has joined ##miniscript
14:54 < andytoshi> sanket1729: TIL about typed_arena and in particular that you can use it to do pattern matching on recursive data structures without having to deal with the shittyness of matching on Box etc
14:54 < andytoshi> see this long HN comment https://news.ycombinator.com/item?id=24223018
14:55 < andytoshi> sanket1729: so i am tempted now to try to rearchitect miniscript so that the "public" types are jeremyrubin's ViewMiniscript or whatever, built out of Rcs
14:55 < andytoshi> meanwhile the internal types used during construction, typechecking, etc., all use arenas and Cells
14:56 < andytoshi> this would be more efficient, plausibly more ergonomic for us, and plausibly would reduce the need for so many conversions and duplicated code (though i'm not sure)
14:56 < andytoshi> maybe this is a weekend project, it could be that it actually doesn't work at all
15:34 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has quit [Ping timeout: 265 seconds]
16:30 < andytoshi> btw can anybody run the benchmarks on this crate? it seems like they're not terminating for me (or maybe they're just crazy slow)
16:31 < andytoshi> oh, no, it's just super slow
16:31 < andytoshi> and maybe because of my fuzztesting
19:40 < andytoshi> lol, well, after several hours i was able to come up with a monstrous trait scheme that would let me genericize over miniscripts that have Arc/Rc/&'a refs inside, and over types/extra data/etc, so we can theoretically reduce the amount of duplicated code across miniscript construction and typechecking etc
19:40 < andytoshi> but then it's open whether i can fish lifetimes through this thing such that i can actually use it with an arena
19:40 < andytoshi> and then it's open whether this is actually reasonable to PR, given how difficult to understand it is
19:42 < andytoshi> (it's actually not too bad, it turns out there's a weird trick where you use a dummy trait and an uninhabited type and you can avoid type-cycles https://www.reddit.com/r/rust/comments/6dz0xh/abstracting_over_reference_counted_types_rc_and/ )
23:22 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has joined ##miniscript
23:31 -!- salvatoshi [~salvatosh@lfbn-idf3-1-330-185.w83-199.abo.wanadoo.fr] has quit [Ping timeout: 252 seconds]
--- Log closed Fri Oct 07 00:00:41 2022