でも、量子コンピュータ用関数型言語って面白い研究だよね。
categorical semanticsっていうのは圏論的意味論って事なのかな？