Ent: Exploring Linear Ownership in a Staged Quantum Language
Ent is an experimental quantum programming language that combines linear types and staged computation for enhanced usability.
Ent is an experimental programming language for quantum circuits that investigates the integration of linear types, ownership, and staged computation within a practical syntax. It differentiates between compile-time circuit generation and runtime quantum execution, resolving static values during compilation while maintaining strict resource tracking for qubits and measurement results. The language offers a user-friendly syntax while ensuring a small, formally defined core that enhances semantic guarantees.
This synthesis was produced from its source by AI; there is no human editor or manual review step. How we work