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/2105.03522.pdf (a new language that reuses linear types in the Haskell to represent quantum specifics during the Quipper type check)