Re: Looking for the article comparing D to Ada and others
I had no idea of the DoD's Steelman requirements (https://en.wikipedia.org/wiki/Steelman_language_requirements) I found another documents that has the same table that was on the website listed in an earlier post. Here are the individual links: https://www.dwheeler.com/steelman/steeltab.htm http://jedbarber.id.au/steelman.html I thought it might be nice to combine those two tables in one below. D is really up there! |--++-++-+| | Language | No | Partial | Mostly | Yes | Mostly/Yes | |--++-++-+| | D| 7 | 15 | 25 | 66 |81% | | Parasail | 11 | 6 | 11 | 85 |85% | | Pascal | 19 | 16 | 11 | 67 |69% | | Rust | 12 | 19 | 23 | 59 |73% | |--++-++-+| | Ada | 3 | 5 | 11 | 94 |93% | | C| 32 | 21 | 16 | 44 |53% | | C++ | 19 | 17 | 23 | 54 |68% | | Java | 20 | 12 | 22 | 59 |72% | |--++-++-+| -- Sameer
Re: Looking for the article comparing D to Ada and others
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? But you didn't meant https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/ This is about Pascal, Ada and D, but was heavily criticised because other languages were not considered after very early stage.
Re: Looking for the article comparing D to Ada and others
On Thursday, 26 July 2018 at 17:08:50 UTC, Ali Çehreli wrote: On 07/26/2018 03:07 AM, Francesco Mecca wrote: On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali I remember reading this, but it was pascal instead of ada https://forum.dlang.org/thread/yzlzlmhshfhetmpxi...@forum.dlang.org That's it! :) And humans (or maybe just me) are fault machines: I was sure it had Ada in there. :/ Ali Me too, probably because the wikipedia article on the Steelman requirements mentions that Ada was specifically created to fulfill them. And that it succeeded and even went beyond them.
Re: Looking for the article comparing D to Ada and others
On 07/26/2018 03:07 AM, Francesco Mecca wrote: On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali I remember reading this, but it was pascal instead of ada https://forum.dlang.org/thread/yzlzlmhshfhetmpxi...@forum.dlang.org That's it! :) And humans (or maybe just me) are fault machines: I was sure it had Ada in there. :/ Ali
Re: Looking for the article comparing D to Ada and others
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali https://forum.dlang.org/post/yzlzlmhshfhetmpxi...@forum.dlang.org
Re: Looking for the article comparing D to Ada and others
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali I remember reading this, but it was pascal instead of ada https://forum.dlang.org/thread/yzlzlmhshfhetmpxi...@forum.dlang.org
Re: Looking for the article comparing D to Ada and others
On Thursday, 26 July 2018 at 02:21:58 UTC, Ali Çehreli wrote: On 07/25/2018 04:27 PM, Nicholas Wilson wrote: On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/ Thanks but no. :) The article I'm looking for was specifically for comparing languages against each paragraph (point?) of a safety spec. Ali Oh, I vaguely remember that too. I think it was the MISRA spec? Or was it JSF or something else? Can't quite remember, sorry.
Re: Looking for the article comparing D to Ada and others
On 07/25/2018 04:27 PM, Nicholas Wilson wrote: On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/ Thanks but no. :) The article I'm looking for was specifically for comparing languages against each paragraph (point?) of a safety spec. Ali
Re: Looking for the article comparing D to Ada and others
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote: Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/
Looking for the article comparing D to Ada and others
Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali