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]
