Rust is inspired by PL staples like Haskell and OCaml (borrowing concepts and syntax from them), and was partially designed by PL researchers. The lineage of the borrow-checker in Rust goes back a long way to lots of academic works in region-based memory management and linear logic.
Comments
Your criticism doesn’t apply to rust.
Rust is inspired by PL staples like Haskell and OCaml (borrowing concepts and syntax from them), and was partially designed by PL researchers. The lineage of the borrow-checker in Rust goes back a long way to lots of academic works in region-based memory management and linear logic.
And yet it completely missed out on Dependent Types.
... there's no general purpose and widely-used language that has full dependent types.
(And your statement is facutally incorrect; Rust has a weak form of dependent types in const generics)
Having a "weak form" of DT doesn't make Rust a DT language. Hopefully Rust will get there eventually. That would be excellent.