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

[Bear]

On Wed, 2014-06-11 at 11:09 -0400, Perry E. Metzger wrote:

> There is another distinct advantage to doing work in a functional
> language that hasn't been mentioned so far, but I'll throw it out
> there anyway -- it is currently much easier to do proofs and formal
> verification over functional languages, and this is only partially an
> artifact of the present tooling situation. I expect this will become
> better over time, but that there will always be a gap.
> 

Indeed, the only way to do formal verification of imperative 
systems using existing frameworks requires one to develop a 
formal semantics for those languages - which is specifically
a way of rendering the content of any 'imperative' program in
a functional way.

			Bear