when you bring up this great book, I have to say, that Peyton Jones and especially Wadler are fantastic speakers. This is one of my favourite talks and the best plea for functional programming I know: "Propositions as Types" by Philip Wadler - YouTube
(You can safely skip the exhausting minutes 9-24 if you’re not “ready to learn about the hilarious subject of comptutablility theory”)
Came to use Rust only recently, trying to write some smart contracts for terra blockchain. In many ways it reminded me of Elixir actually, with similar terminology and some of the goodies we like in Elixir. Going to Rust from Elixir might actually be easier than from any other language. It felt very friendly really, I like Rust