@Lokathor @Shnatsel @Yato @Jack Wrenn @gnzlbg @Josh Triplett @RalfJ I'd like to set up a synchronous meeting to discuss where we are with safe transmute. I think getting together for an hour can help us clarify the use cases we're solving for, what compromises we're willing to make in the interest of shipping something useful faster (even if it might not be the absolute 100% ideal), and which direction we'd like to go for a v1. Please participate in this Doodle to find a time that works for the majority of us. Please also indicate whether you're ok with the group meeting without you or if you believe a meeting should only take place if you can attend: https://doodle.com/poll/xrwxehyh5w9gu8p7
Entered. Shame there were no weekend or evening slots though.
@Joshua Liebow-Feeser, you might be interested in this. (Josh's experience developing zerocopy directly informed Typic.)
@Lokathor time zones are tough. I can’t do too much later than the proposed times as I’m in Europe 😔
@Ryan Levick I dont think I will have the time for a sync meeting, sorry. I can offer feedback on a written-up proposal, though.
There will absolutely be a written proposal posted here before reaching the RFC stage
I've entered my availability. My participation would not be essential, I do not think I have much to contribute. Lokathor or Joshua Liebow-Feeser should have way more valuable input.
cc @HeroicKatora who has evaluated
bytemuck and might have valuable input from the perspective of using these things
Thanks for the ping, I've entered as well.
I would also likely be available in a Thursday time slot during a future week, but this particular week is not good because many others at work are already out of town so I can't shift that around.
I can't meet this week, sorry
@HeroicKatora @Shnatsel @Joshua Liebow-Feeser @Lokathor @Jack Wrenn @Josh Triplett Looks like next Tuesday at 6pm European, Noon EST U.S. is the winner. If you all DM me your emails I can send a calendar invite
I didn't realize I have a conflict at 6pm CET so sending the invite for one hour later which according to Doodle also works for people. Let me know if this is an issue.
Works better for me actually
I've compiled a condensed introduction to what typic provides, that might be helpful: https://hackmd.io/@jswrenn/HydSGVHS8
I will try to be ready on time but I'm going to be using a new laptop so zoom might take a moment to set up
Booting up now :-)
How useful would it be to get my webcam to work?
At the end of the meeting, I suggested
frunk-style approach could be used to transitively implement a
FromBytes marker trait with very little effort. Here's what that looks like: https://github.com/jswrenn/frunk-from-bytes/blob/master/src/lib.rs
(There's a nightly feature used in that example, but it's not at all fundamental to the approach—if frunk implemented
Generic for primitive types, it wouldn't be needed).
This mapping of a type to a
Generic HList representation is actually exactly what Typic's first 'pass' does. It's a very simple translation: you basically just fold over the fields in a proc macro.
Here are some rough notes on the meeting: https://hackmd.io/@ryanlevick/SJceIUSHL