Imperative Quantum Programming with Ownership and Borrowing in Guppy
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917015207280640 |
|---|---|
| author | Koch, Mark Borgna, Agustín Roy, Craig Lawrence, Alan Singhal, Kartik Sivarajah, Seyon Duncan, Ross |
| author_facet | Koch, Mark Borgna, Agustín Roy, Craig Lawrence, Alan Singhal, Kartik Sivarajah, Seyon Duncan, Ross |
| contents | Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. This work aims to develop a quantum type system that combines ergonomic linear typing with imperative semantics and maintains safety guarantees. All ideas presented here have been implemented in Quantinuum's Guppy programming language. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_13082 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Imperative Quantum Programming with Ownership and Borrowing in Guppy Koch, Mark Borgna, Agustín Roy, Craig Lawrence, Alan Singhal, Kartik Sivarajah, Seyon Duncan, Ross Programming Languages Software Engineering Quantum Physics Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. This work aims to develop a quantum type system that combines ergonomic linear typing with imperative semantics and maintains safety guarantees. All ideas presented here have been implemented in Quantinuum's Guppy programming language. |
| title | Imperative Quantum Programming with Ownership and Borrowing in Guppy |
| topic | Programming Languages Software Engineering Quantum Physics |
| url | https://arxiv.org/abs/2510.13082 |