I honestly didn’t find anything of interest in this post. If you already know that rust / fp in general tend to have safe and sound type systems which enable developers to encode complex relationships in the type system to prevent race conditions and catch memory leaks at compile time then there is not much for you here. I suspect a lot of HNers who would be interested in this post already know that.