www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - "Back to the Building Blocks": D should get in on this action

reply TTK Ciar <ttk ciar.org> writes:
Earlier today the Biden administration announced an initiative to 
start shifting federal agencies towards using software written in 
"safe" languages:

https://www.whitehouse.gov/oncd/briefing-room/2024/02/26/press-release-technical-report/

Nowhere do they present recommendations for specific safe 
languages, but reference is made to Microsoft's Project Everest 
(which uses F-star, a semi-provably safe Fsharp derivative) which 
seems like a broad hint.  The Rust folks are probably already 
declaring victory and patting each other on their backs.

When software vendors are looking over the list of programming 
languages with safety features suitable for use for contracts 
with the United States federal government, D should at least be 
included in the list.  It might help drum up some jobs for folks 
who would like to write D for a living, but are stuck with 
less-favored languages for lack of industry demand.

I'm not sure how to get it on that list, though, nor whether 
there even is such a list.
Feb 26
next sibling parent user1234 <user1234 12.de> writes:
On Monday, 26 February 2024 at 22:41:50 UTC, TTK Ciar wrote:
 Earlier today the Biden administration announced an initiative 
 to start shifting federal agencies towards using software 
 written in "safe" languages:

 https://www.whitehouse.gov/oncd/briefing-room/2024/02/26/press-release-technical-report/

 Nowhere do they present recommendations for specific safe 
 languages, but reference is made to Microsoft's Project Everest 
 (which uses F-star, a semi-provably safe Fsharp derivative) 
 which seems like a broad hint.  The Rust folks are probably 
 already declaring victory and patting each other on their backs.
Hot reaction. "Dont you worry there's no hurry" https://github.com/Speykious/cve-rs Yes, the said "safe" rust model has problems.
 When software vendors are looking over the list of programming 
 languages with safety features suitable for use for contracts 
 with the United States federal government, D should at least be 
 included in the list.  It might help drum up some jobs for 
 folks who would like to write D for a living, but are stuck 
 with less-favored languages for lack of industry demand.

 I'm not sure how to get it on that list, though, nor whether 
 there even is such a list.
Feb 26
prev sibling parent reply Sergey <kornburn yandex.ru> writes:
On Monday, 26 February 2024 at 22:41:50 UTC, TTK Ciar wrote:
 I'm not sure how to get it on that list, though, nor whether 
 there even is such a list.
Some list is here: https://www.nist.gov/itl/ssd/software-quality-group/safer-languages
Feb 26
next sibling parent reply TTK Ciar <ttk ciar.org> writes:
On Monday, 26 February 2024 at 23:16:55 UTC, Sergey wrote:
 On Monday, 26 February 2024 at 22:41:50 UTC, TTK Ciar wrote:
 I'm not sure how to get it on that list, though, nor whether 
 there even is such a list.
Some list is here: https://www.nist.gov/itl/ssd/software-quality-group/safer-languages
Good find! Thanks for linking. Walt should probably be the one to message them with reasons to include D (which the NIST invites on that page), but if he doesn't, perhaps someone should.
Feb 26
parent twkrimm <twkrimm yahoo.com> writes:
On Tuesday, 27 February 2024 at 00:17:25 UTC, TTK Ciar wrote:
 On Monday, 26 February 2024 at 23:16:55 UTC, Sergey wrote:
 On Monday, 26 February 2024 at 22:41:50 UTC, TTK Ciar wrote:
 I'm not sure how to get it on that list, though, nor whether 
 there even is such a list.
Some list is here: https://www.nist.gov/itl/ssd/software-quality-group/safer-languages
Good find! Thanks for linking. Walt should probably be the one to message them with reasons to include D (which the NIST invites on that page), but if he doesn't, perhaps someone should.
The linked page has following contact info: "Please contact us if you think something should be included. If it has all the characteristics of a safer language, we will be happy to add it. You can contact us at samate(at)nist(dot)gov."
Feb 28
prev sibling parent Chris Piker <chris hoopjump.com> writes:
On Monday, 26 February 2024 at 23:16:55 UTC, Sergey wrote:
 On Monday, 26 February 2024 at 22:41:50 UTC, TTK Ciar wrote:
 I'm not sure how to get it on that list, though, nor whether 
 there even is such a list.
Some list is here: https://www.nist.gov/itl/ssd/software-quality-group/safer-languages
If someone could get D on the NIST list, it would help me out. Almost all my work is on government contracts.
Feb 28