[Cryptography] Ada vs Rust vs safer C

Jeff Burdges burdges at gnunet.org
Sat Sep 17 06:46:02 EDT 2016


On Fri, 2016-09-16 at 16:31 -0400, Arnold Reinhold wrote:
> Building a safer C seems more doable than converting massive amounts
> of C code, and programers, to new languages.

Recompiling massive amounts of C code without optimizations sounds
pretty painful too, making that option sounds unlikely too.  I suppose
one must argue that C made safer through limiting optimizations offers
either better performance or more safety than whatever the sandboxing du
jour scheme is.  Sounds dubious. 

Imho, there is more gain to be had by focusing on improving the Rust
ecosystem because at least Rust obtains reasonable performance along
with safety.  As I've mentioned previously, it'd be a good time to do
things say write a capability oriented standard library because the
language is quite young.  And Rust brings a wide enough array of
advantages to the table that programmers might actually use it, unlike
say yet another object oriented pascal. 

Anyway, if you want a feel for where Rust is going with respect to
memory safety and optimizations, then you should check out the issues
here: 
https://github.com/nikomatsakis/rust-memory-model

Best,
Jeff


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20160917/8255daf4/attachment.sig>


More information about the cryptography mailing list