1. 88

  2. 11

    It’s reassuring that rust gets more independent from mozilla, especially wrt trademarks and domain names. The language has outgrown its initial environment and its initial scope (it’s not just for writing web browsers!), and governance should reflect that. Longer term, I hope they also consider making specifications, and alternative implementations (e.g. in gcc) so the language is more widely applicable.

    1. 12

      On the specification, I can highly recommend the last part of this section of what we have as a non-normative reference. https://doc.rust-lang.org/reference/introduction.html#what-the-reference-is-not

      The desire is certainly there. One step at a time :).

      1. 15

        Worth it to point out that languages generally take a long time to be formally specified. Both C and C++, which people often point to, took 10-15 years. Rust is doing alright!

        1. 7

          I think a spec of “just” sealed rust would already be great. We’ll see how it goes :-)

          Inside rust there is a smaller, simpler language struggling to get out, and I hope it’s what sealed rust will be!

        2. 6

          alternative implementations (e.g. in gcc)

          A major appealing point trying to pull me back into Rust is that I don’t have to worry about compilers disagreeing.

          1. 5

            This is feedback that I get from some companies in spaces where we’re not only talking about GCC vs. clang, but also “old custom fork of gcc” vs. the world.

            IMHO, a independent Rust implementation may happen and can be quite useful for an ecosystem. I’m from a Ruby background and I can definitely say that having an implementation in every runtime system under the sun may have been a lot, but definitely not damaging :).

            1. 4

              I primarily do C++ or C, and I have to check code against at least Clang, GCC, and MSVC and work across multiple platforms. This is one of the benefits I had from using Rust, where I had code run unaltered on Windows, Mac, Linux, OpenBSD, and FreeBSD.

        3. 1

          That original Rust prototype is pretty wack. Looks like they were initially planning on predicate typing in ’06?