[Cryptography] Languages, languages (was Re: Swift and cryptography)

[Tony Arcieri]

On Wed, Jun 11, 2014 at 8:09 AM, Perry E. Metzger <perry at piermont.com>
wrote:

> It is also a safe language. Swift has (so far as I can tell) no
> undefined behaviors


I'm having trouble finding any information on it besides this, but it seems
when it comes to multithreaded programming, data races and other types of
memory corruption that can result from concurrent modifications are still
entirely possible:

http://michelf.ca/blog/2014/thoughs-on-swift/

I find it somewhat odd that in a language being newly released in 2014,
there's little information or emphasis on its multithread/multicore
behavior.

I'd contrast this with another language that emphasizes safety, Rust, which
uses an advanced region typing system (a.k.a. "the borrow checker") to
ensure concurrent programs are free of data races, even when using mutable
state. This makes Rust safe in ways ("concurrency safe"?) that Swift is not.

-- 
Tony Arcieri
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20140612/35c16a85/attachment.html>