이 절에서는 양자 소프트웨어 스택의 언어 계층에 초점을 맞춘다.
프레임워크와 SDK(앞 절)는 Python과 같은 호스트 언어에 내장된 라이브러리인 반면, 이 절은 양자 프로그래밍 언어 그 자체를 다룬다 — 회로가 컴파일되어 내려가는 OpenQASM 중간 표현, 양자 전용 의미론을 갖춘 고수준 언어, 그리고 타입 시스템을 통한 복제 불가능성(no-cloning) 강제와 같이 그러한 언어들이 답해야 하는 설계상의 문제들이다.
아래 순서를 이 절의 길잡이 지도로 활용하라.
순서
- 01. OpenQASM과 중간 표현
- [[en/Topics/Physics/Quantum Computing/V. Programming/03. Quantum Programming Languages/02. High-Level Languages (Q-sharp, Silq, Quipper)/index|02. 고수준 언어 (Q#, Silq, Quipper)]]
- 03. 언어 설계 — 타입, 복제 불가능성, 그리고 역계산(Uncomputation)