There are several languages which use linear types, Rust being the most popular. For example, https://github.com/austral/austral https://github.com/austral/aust

There are several languages which use linear types, Rust being the most popular. For example, https://github.com/austral/austral https://github.com/austral/austral claims to be simpler than Rust and was discussed on hackernews a few days ago.