On: Compiling C to Safe Rust, Formalized

[tome]

Haskell was most certainly not made to address a concern about programmers being really bad at parallelism and thread safety.

[ActorNightly → tome]

It absolutely has. The functional programming paradigm is designed specifically to describe a program withoilut side effects, so you can be sure that execution is deterministic (and thus scalable and parallelizable). There are no other advantages to functional programming.