digitalmars.D - Looking for the article comparing D to Ada and others
-
=?UTF-8?Q?Ali_=c3=87ehreli?=
(8/8)
Jul 25 2018
- Nicholas Wilson (2/11) Jul 25 2018 https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-mi...
- =?UTF-8?Q?Ali_=c3=87ehreli?= (4/18) Jul 25 2018 Thanks but no. :) The article I'm looking for was specifically for
- Nicholas Wilson (3/23) Jul 25 2018 Oh, I vaguely remember that too. I think it was the MISRA spec?
- Francesco Mecca (3/12) Jul 26 2018 I remember reading this, but it was pascal instead of ada
- =?UTF-8?Q?Ali_=c3=87ehreli?= (4/19) Jul 26 2018 That's it! :) And humans (or maybe just me) are fault machines: I was
- mate (4/24) Jul 26 2018 Me too, probably because the wikipedia article on the Steelman
- Paolo Invernizzi (2/11) Jul 26 2018 https://forum.dlang.org/post/yzlzlmhshfhetmpxifaz@forum.dlang.org
- Dominikus Dittes Scherkl (6/13) Jul 27 2018 But you didn't meant
- Sameer Pradhan (24/24) Jul 27 2018 I had no idea of the DoD's Steelman requirements
<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Ali
Jul 25 2018
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Alihttps://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/
Jul 25 2018
On 07/25/2018 04:27 PM, Nicholas Wilson wrote:On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:Thanks but no. :) The article I'm looking for was specifically for comparing languages against each paragraph (point?) of a safety spec. Ali<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Alihttps://dlang.org/blog/2018/06/20/how-an-engineering-company-ch se-to-migrate-to-d/
Jul 25 2018
On Thursday, 26 July 2018 at 02:21:58 UTC, Ali Çehreli wrote:On 07/25/2018 04:27 PM, Nicholas Wilson wrote: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.On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:Thanks but no. :) The article I'm looking for was specifically for comparing languages against each paragraph (point?) of a safety spec. Ali<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Alihttps://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/
Jul 25 2018
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, AliI remember reading this, but it was pascal instead of ada https://forum.dlang.org/thread/yzlzlmhshfhetmpxifaz forum.dlang.org
Jul 26 2018
On 07/26/2018 03:07 AM, Francesco Mecca wrote:On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:That's it! :) And humans (or maybe just me) are fault machines: I was sure it had Ada in there. :/ Ali<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, AliI remember reading this, but it was pascal instead of ada https://forum.dlang.org/thread/yzlzlmhshfhetmpxifaz forum.dlang.org
Jul 26 2018
On Thursday, 26 July 2018 at 17:08:50 UTC, Ali Çehreli wrote:On 07/26/2018 03:07 AM, Francesco Mecca wrote: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.On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:That's it! :) And humans (or maybe just me) are fault machines: I was sure it had Ada in there. :/ Ali<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, AliI remember reading this, but it was pascal instead of ada https://forum.dlang.org/thread/yzlzlmhshfhetmpxifaz forum.dlang.org
Jul 26 2018
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> I remember D was doing pretty well and I think Ada (or SPARK?) was included as well. What article? Where? Thank you, Alihttps://forum.dlang.org/post/yzlzlmhshfhetmpxifaz forum.dlang.org
Jul 26 2018
On Wednesday, 25 July 2018 at 21:59:52 UTC, Ali Çehreli wrote:<vague> Somebody had posted an article here on how well different languages matched certain requirements of a certain coding safety standards. </vague> 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.
Jul 27 2018
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
Jul 27 2018