Re: Haskell crypto

> IMO it is pointless to > write SHA in a language that ``can have properties of programs > proved,'' because test vectors are good enough, and there is no real > assurance that when you write the specification in a machine-readable > form you do not make the same mistake as in your code. I think

Re: Haskell crypto

Haskell is a strongly typed functional language with type inference, much like ML; its key difference from ML is that is purely functional, allowing it to use lazy evaluation. I'm not sure how that illuminates the original message, except to note that I agree that coding in Haskell is quite fun a

Re: Haskell crypto

On Sat, 19 Nov 2005, Ian G wrote: > Someone mailed me with this question, anyone know > anything about Haskell? It is a *purely* functional programming language. > Original Message > > I just recently stepped into open source cryptogra

Haskell crypto

Someone mailed me with this question, anyone know anything about Haskell? Original Message I just recently stepped into open source cryptography directly, rather than just as a user. I'm writing a SHA-2 library completely in Haskell, which I recently got a thing for in a bad w