OpenQASM 3 编写的量子程序先声明量子比特和经典比特，然后作用门，最后测量： ```qasm OPENQASM 3.0; include "stdgates.inc"; qubit[1] q; bit[1] c; c = measure q; ``` 每个量子比特都从状态 |0⟩ 开始。门改变状态；测量从被测的每个量子比特读出一个比特。这个程序没有作用任何门，所以每次测量都读出 0。 一个量子比特的状态是两个数，即 |0⟩ 和 |1⟩ 的*振幅*。测量以振幅大小的平方为概率给出 0 或 1。状态 |0⟩ 的振幅是 1 和 0，所以测得 0 的概率是 1。 **检查是怎样进行的。** 练习会说明你的程序必须做什么，这里是被测比特的一个精确分布。引擎精确地计算出你的程序的分布并加以比较；它的判定（verdict）说明它是怎样检查的（分布被精确计算时，就是由证明检查），以及程序是否做到了所要求的事。不做采样，也不做猜测。 在命令行中： ```sh runnable wai-quantum learn start first-circuit first-circuit.qasm --lang zh-CN # 起始程序，供你编辑 wai-quantum learn check first-circuit first-circuit.qasm --lang zh-CN # exits 1：程序通过之前，退出状态为 1 wai-quantum learn hint first-circuit first-circuit.qasm --lang zh-CN # 下一条提示 wai-quantum learn why first-circuit first-circuit.qasm --lang zh-CN # 哪里出了问题，来自引擎的判定 ``` 在 Studio 中，课程里的 **检查**、**提示** 和 **哪里出了问题？** 对编辑器中的程序做同样的事。