Re:D 2.069.0 released, compiler automatically ported from C+...
by steveklabnik on Wednesday November 04, 2015 @06:38AM
(#10505845)
I would say this is fairly accurate, yeah. We got rid of purity in Rust, we didn't find it useful. HKT, variadic generics, and type-level integers are all things we want to do in the future.
[ Parent
| on HN ]
Re:D 2.069.0 released, compiler automatically ported from C+...
by logicchains on Wednesday November 04, 2015 @07:08AM
(#10505935)
The ship's probably sailed on this, but is there any chance of Rust getting a module system like OCaml's (or Haskell's upcoming Backpack) in future? Or is there a way to provide module signatures with the current module system?
Re:D 2.069.0 released, compiler automatically ported from C+...
by steveklabnik on Wednesday November 04, 2015 @07:11AM
(#10505946)
Never say never, but I'm not aware of anyone who's even working on thinking about suggesting it. That'd be step one, creating an RFC which thinks through the design.
Re:D 2.069.0 released, compiler automatically ported from C+...
by logicchains on Wednesday November 04, 2015 @07:22AM
(#10505995)
There's this: https://internals.rust-lang.org/t/traits-ml-modules/272, but it didn't seem to get anywhere.
Re:D 2.069.0 released, compiler automatically ported from C+...
by steveklabnik on Wednesday November 04, 2015 @07:27AM
(#10506012)
Right, that was just a few posts, a long time ago, and never really came close to being a serious proposal.