The Quipper Language http://www.mathstat.dal.ca/~selinger/quipper/  Haskell埋め込みの関数型量子プログラミング言語EDSL。面白そう。 そういえば、昔もQMLという言語で遊んだりもしてたなぁ、と懐かしくなったり。