www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Looking for the article comparing D to Ada and others

reply =?UTF-8?Q?Ali_=c3=87ehreli?= <acehreli yahoo.com> writes:
<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
next sibling parent reply Nicholas Wilson <iamthewilsonator hotmail.com> writes:
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,
 Ali


https://dlang.org/blog/2018/06/20/how-an-engineering-company-chose-to-migrate-to-d/
Jul 25 2018
parent reply =?UTF-8?Q?Ali_=c3=87ehreli?= <acehreli yahoo.com> writes:
On 07/25/2018 04:27 PM, Nicholas Wilson wrote:

 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,
 Ali


 
 https://dlang.org/blog/2018/06/20/how-an-engineering-company-ch
se-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
Jul 25 2018
parent Nicholas Wilson <iamthewilsonator hotmail.com> writes:
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:

 <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


 
 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.
Jul 25 2018
prev sibling next sibling parent reply Francesco Mecca <me francescomecca.eu> writes:
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,
 Ali


I remember reading this, but it was pascal instead of ada

https://forum.dlang.org/thread/yzlzlmhshfhetmpxifaz forum.dlang.org
Jul 26 2018
parent reply =?UTF-8?Q?Ali_=c3=87ehreli?= <acehreli yahoo.com> writes:
On 07/26/2018 03:07 AM, Francesco Mecca wrote:

 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,
 Ali


 
 I remember reading this, but it was pascal instead of ada
 
 https://forum.dlang.org/thread/yzlzlmhshfhetmpxifaz forum.dlang.org


That's it! :) And humans (or maybe just me) are fault machines: I was 
sure it had Ada in there. :/

Ali
Jul 26 2018
parent mate <aiueo aiueo.aiueo> writes:
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:

 <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


 
 I remember reading this, but it was pascal instead of ada
 
 https://forum.dlang.org/thread/yzlzlmhshfhetmpxifaz 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.
Jul 26 2018
prev sibling next sibling parent Paolo Invernizzi <paolo.invernizzi gmail.com> writes:
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,
 Ali


https://forum.dlang.org/post/yzlzlmhshfhetmpxifaz forum.dlang.org
Jul 26 2018
prev sibling parent reply Dominikus Dittes Scherkl <dominikus.scherkl continental-corporation.com> writes:
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
parent Sameer Pradhan <pradhan cemantix.org> writes:
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