It seems that silently OCAML is now entering the Quantum world.
It looks that the Interpreter for “Twist”
New programming language for Quantum computing
is made with OCAML:
GitHub for Twist
5 Likes
Haskell has a nice package for quantum computing - Quipper. I recommend to take a look to it for inspiration as well:
- quipper-language: Quipper, an embedded functional programming language for quantum computation.
- The Quipper Language
- https://arxiv.org/pdf/1304.3390.pdf
- https://arxiv.org/pdf/2105.03522.pdf (a new language that reuses linear types in the Haskell to represent quantum specifics during the Quipper type check)