4 ms·
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 design
by Ar-Curunir 7y ago
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.
- mbrodersen 7y agoAnd yet it completely missed out on Dependent Types.
- Ar-Curunir 7y ago... 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)
- mbrodersen 7y agoHaving a "weak form" of DT doesn't make Rust a DT language. Hopefully Rust will get there eventually. That would be excellent.