I strongly believe that there are few programs that could plausibly not kill people. It might occur due to indirection (e.g. an OS running a critical system pan

I strongly believe that there are few programs that could plausibly not kill people. It might occur due to indirection (e.g. an OS running a critical system panicing) or directly (the linked example). This is why I believe in as many safeguards as possible: static types, contracts and static analysis. Although I still haven't found a real project to learn Rust with, it comes across as the best thing to have ever happened to software development. Functional is easily within that realm, too.