It may help you to have a more firm grasp of how a type system and its value language interact. Which is important in understanding any language with a sophisti

It may help you to have a more firm grasp of how a type system and its value language interact. Which is important in understanding any language with a sophisticated type system, Rust included. But it'll be fairly marginal, I suspect.