Rust forces you to formalize memory ownership, and for complicated usages it can become pretty scary, yes. Have you tried to figure how the safe subset of C yo

Rust forces you to formalize memory ownership, and for complicated usages it can become pretty scary, yes. Have you tried to figure how the safe subset of C you're suggesting would look in Rust? If you're doing something simple, it shouldn't be that bad. Do you have a specific use-case in mind? I'm curious what your requirements are in terms of performance and simplicity, that languages like Go, Java or even Haskell do not meet. Is it a platform thing?