Monads and GATs in Nightly Rust

Re:Monads and GATs in Nightly Rust by whateveracct on Friday December 11, 2020 @05:21PM (#25392198)

Yeah you can do that. I'm actually working on a little library to do just that (control memory layout) although it's more focused on 0-copy FFI w/hsc2hs

You can also have the RTS manage the memory itself, but have complete access to a pointer to raw memory. That doesn't work if you have pointers in the raw memory ofc, but it is a nice option if that's not the case.

[ Parent | on HN ]

Re:Monads and GATs in Nightly Rust by lambda_obrien on Saturday December 12, 2020 @12:33AM (#25395856)

If you don't mind, can you send me your repos if it's public work? I'm interested in 0-copy stuff, too, the database I'm doing can benefit from 0-copy (again, a small part of the codebase but a big part of the technical challenge), and I'm seeing that linear types help a lot with that kind of thing from the reading I've done lately. I'm mostly a tinkerer and like to see what's the newest cool stuff people are making. My email is in my profile.

[ Parent | on HN ]

Re:Monads and GATs in Nightly Rust by whateveracct on Saturday December 12, 2020 @03:08PM (#25401189)

Will do!

[ Parent | on HN ]