Haskell crypto

[Nathan Loofbourrow]

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 and addictive.

In addition to traditional crypto conference, he might also consider
submitting to POPL or SIGLANG if the implementation has features unique
to Haskell.

http://en.wikipedia.org/wiki/Haskell_programming_language

nathan


Ian G wrote:
> 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 way.  Seems to me
> that nearly all of the message digest implementations out there are
> written in C/C++, or maybe Java or in hw as an ASIC, but I can't find
> any in a purely functional programming language, let alone in one that
> can have properties of programs proved.  Haskell can, and also has a
> very good optimizing compiler.  I'm not sure where to submit for
> publication when I'm done and have it all written up, though!
> 
> ---------------------------------------------------------------------
> The Cryptography Mailing List
> Unsubscribe by sending "unsubscribe cryptography" to majordomo at metzdowd.com


---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo at metzdowd.com