Tipli klasik değerler

Amaç ve kapsam

Ölçüm sonucuyla klasik hesaplama arasına sınırlı, tipli ve değiştirilemez bir değer katmanı ekler. Birden çok biti birleştirmek ve sayısal dönüşümleri açık yapmak, tesadüfi JavaScript dönüşümlerine güvenmekten farklıdır.

Tasarımın ana kuralları

• Sabit boyutlu diziler ve bit vektörleri, öğe tipi ve uzunluğu belirtilen sonuçlar taşır.
• Bitlerden sayısal değerlere dönüşüm açık işlemlerle yapılır; tip etiketleri yalnız yorum değildir.
• AST, çalışma zamanı ve sonuç kanıtı aynı tip bilgisini korumalıdır.

Özgün belgeden örnek

Bu örnek özgün kaynakta yer alan tasarımı gösterir. Tek başına çalıştırılabilirlik veya kararlı destek iddiası değildir; gereken seçenekleri ve güncel sürümü kontrol edin.

module typed_measurement_summary;
@seed(17);

fn main() {
  let q: QReg<3> = qreg[3];
  H(q[0]);
  CNOT(q[0], q[1]);

  let a: Bit = measure(q[0]);
  let b: Bit = measure(q[1]);
  let c: Bit = measure(q[2]);

  let outcomes: Array<Bit, 3> = [a, b, c];
  let encoded: Int = bits_to_int(outcomes);
  let ones: Int = count_ones(outcomes);
  let ratio: Float = int_to_float(ones) / 3.0;
  let weights: Array<Float, 3> = [1.0, 2.0, 3.0];
  let average: Float = mean(weights);
  return encoded;
}

Sınırlar ve sonuçların yorumu

• Çalışma zamanında büyüyen koleksiyonlar ve genel amaçlı değiştirilebilir bellek bu dilimin hedefi değildir.
• Ölçüm sonrası klasik değer, ölçüm öncesi kuantum durumunun tamamını temsil etmez.

Durum ve uygulama sınırı

Belge çalışma zamanı deneysel değer sözleşmesini anlatır. Klasik yardımcı fonksiyonlar ve sonraki sayısal eklemeler için NM-RFC-0035 ile güncel rehberleri ayrıca okuyun.