3 ms·
... 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 depe
by 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.