I have only a passing interest but Rust is based on ideas in the late '80s concerning linear logic and affine logic and their relationship to PLT. Monadic progr

I have only a passing interest but Rust is based on ideas in the late '80s concerning linear logic and affine logic and their relationship to PLT. Monadic programming and its applications to for instance parser combinators is from the early '90s.