Driving with D

Post by Zababa » Tue, Jun 01, 2021, 5:03 PM UTC

mhh__ wrote: post #76

Zababa wrote: post #74

Earlier quoted context omitted.

Would it be fair to say that for some time (I wouldn't know exactly when it started) D has evolved to serve the needs of the D community rather than to attract new people?

Attracting new people is basically never (with exception of the C stuff) been the driving force behind efforts influencing D's design. Another anecdote - Someone who hires people in D has told me definitely that D being small means that hiring for them is usually just seeing some code, i.e. there hasn't been an eternal September let's say. They can onboard people who don't know the language, but knowing D is a very g…

Post by CyberDildonics » Tue, Jun 01, 2021, 5:07 PM UTC

fnord77 wrote: post #2

Any reasons D never caught on more? No big tech company anchor behind it?

Post by gavinray » Tue, Jun 01, 2021, 5:13 PM UTC

nicoburns wrote: post #80

eggy wrote: post #46

Earlier quoted context omitted.

I am learning Rust and SPARK2014, and I would think SPARK2014/Ada would be a better fit for high-integrity software for verifiable, embedded software than Rust. This was the older article that stimulated me to look at Ada and then SPARK2014 again: https://www.embedded.com/spark-2014-why-i-am-backing-a-predi... EDIT: Cool list of SPARK2014/Ada embedded projects: https://blog.adacore.com/tag/embedded%20development

That's probably true for now. But only because there's no equivalent to SPARK for Rust yet. Rust + something like SPARK could be really amazing.

    extern crate prusti_contracts;
    use prusti_contracts::*;

    #[requires(something)]
    #[ensures(result >= a && result >= b)]
    #[ensures(result == a || result == b)]
    fn max(a: i32, b: i32) -> i32 {
        if a > b {
            a
        } else {
            b
        }
    }

Post by Jtsummers » Tue, Jun 01, 2021, 5:18 PM UTC

nicoburns wrote: post #80

eggy wrote: post #46

Earlier quoted context omitted.

I am learning Rust and SPARK2014, and I would think SPARK2014/Ada would be a better fit for high-integrity software for verifiable, embedded software than Rust. This was the older article that stimulated me to look at Ada and then SPARK2014 again: https://www.embedded.com/spark-2014-why-i-am-backing-a-predi... EDIT: Cool list of SPARK2014/Ada embedded projects: https://blog.adacore.com/tag/embedded%20development

That's probably true for now. But only because there's no equivalent to SPARK for Rust yet. Rust + something like SPARK could be really amazing.

Post by aldacron » Tue, Jun 01, 2021, 5:27 PM UTC

nicoburns wrote: post #11

fnord77 wrote: post #2

Any reasons D never caught on more? No big tech company anchor behind it?

Not different enough to be worth switching from Java/C++ with their much bigger and more established communities. This was especially true earlier in it's history when it required GC. Now it doesn't, but it has to compete with Rust which can also offer memory safety.