[18994] in cryptography@c2.net mail archive
Haskell crypto
daemon@ATHENA.MIT.EDU (Ian G)
Sat Nov 19 20:54:48 2005
X-Original-To: cryptography@metzdowd.com
X-Original-To: cryptography@metzdowd.com
Date: Sat, 19 Nov 2005 13:24:00 +0000
From: Ian G <iang@systemics.com>
To: <cryptography@metzdowd.com>
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@metzdowd.com
