People interested in this should also make sure to checkout Hylo, https://www.hylo-lang.org https://www.hylo-lang.org There are several presentations on the de

People interested in this should also make sure to checkout Hylo, https://www.hylo-lang.org https://www.hylo-lang.org There are several presentations on the design and mechanisms. Eg - https://www.youtube.com/watch?v=ws-Z8xKbP4w 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 https://www.youtube.com/watch?v=oFupPFniD9s ([IWACO23] Borrow checking Hylo)