There's Quipper - a language for describing quantum algorithms: http://www.mathstat.dal.ca/~selinger/quipper/
There's a click-through Terms of Service license you have to agree to.
dynamic programming can be very declarative in Haskell: http://lpaste.net/172965
There's Quipper - a language for describing quantum algorithms: http://www.mathstat.dal.ca/~selinger/quipper/
There's a click-through Terms of Service license you have to agree to.
dynamic programming can be very declarative in Haskell: http://lpaste.net/172965