Memahami Sistem Kepemilikan Cairo

Cairo adalah bahasa yang dibangun di sekitar sistem tipe linear yang memungkinkan kita untuk memastikan secara statis bahwa dalam setiap program Cairo, sebuah nilai digunakan tepat satu kali. Sistem tipe linear ini membantu mencegah kesalahan saat runtime dengan memastikan bahwa operasi yang dapat menyebabkan kesalahan tersebut, seperti menulis dua kali ke sel memori, terdeteksi pada waktu kompilasi. Hal ini dicapai dengan mengimplementasikan sistem kepemilikan dan melarang penyalinan serta penghapusan nilai secara default. Dalam bab ini, kita akan membahas sistem kepemilikan Cairo serta referensi dan snapshot.