Comment on Monads, or Programmable Semicolons (2014)parentComments−mbrodersen6yAnd yet it completely missed out on Dependent Types.−Ar-Curunir6y... 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)−mbrodersen6yHaving a "weak form" of DT doesn't make Rust a DT language. Hopefully Rust will get there eventually. That would be excellent.
Comments
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.