4 ms·
What saddens me even more is that language designers doesn't deeply investigate previous work (other languages) before designing a new language (that then turns
by mbrodersen 7y ago
What saddens me even more is that language designers doesn't deeply investigate previous work (other languages) before designing a new language (that then turns out to be very far from what it could have been with a bit more thinking invested). Yes I am looking at you Go and Rust.
- steveklabnik 7y agoWhat work do you think we didn’t investigate with Rust?
- mbrodersen 7y agoDependent Types combined with Linear Types. It would have made Rust the ultimate programming language.
- steveklabnik 7y agoAh, we didn't ignore dependent types, though it's true that we don't have them. However, we are moving in the direction of adding them, so maybe in the future, Rust will be that language for you :)
- mbrodersen 7y agoI hope so! That would be amazing
- Ar-Curunir 7y agoYour 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.