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 [EMAIL PROTECTED]
--------------------------------------------------------------------- The Cryptography Mailing List Unsubscribe by sending "unsubscribe cryptography" to [EMAIL PROTECTED]