3 ms·

And 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 ago
    Having a "weak form" of DT doesn't make Rust a DT language. Hopefully Rust will get there eventually. That would be excellent.