並行並列処理と言えばHaskellで初めて知ったけど、STM（ソフトウェア・トランザクショナル・メモリ）とかはRustに無いの？
OCamlでもやってたからHaskell固有のものじゃないっぽいし、イミュータブルなRustに向いてそうだからRustにもありそうなもんだけど。