Hardware Description Languages(and macros).

[Shriram Krishnamurthi <address@hidden>]

There's a lot of good work going on on using Haskell as a hardware
description language.  Google your way over to OGI (John Launchbury is
one good person to look for) or Glasgow (John O'Donnell).  Indeed, one
of the early ACM dissertation award winners was Steve Johnson's thesis
(~1982), which transformed functional Scheme programs down to hardware
-- really elegant stuff.  But hardware synthesis never really caught on.

Shriram