Comment by silok

People interested in this should also make sure to checkout Hylo, https://www.hylo-lang.org

There are several presentations on the design and mechanisms. Eg

- https://www.youtube.com/watch?v=ws-Z8xKbP4w (Val: A Safe Language to Interoperate with C++ - Dimitri Racordon - CppCon 2022)

- https://www.youtube.com/watch?v=oFupPFniD9s ([IWACO23] Borrow checking Hylo)