Entendiendo el Ownership de Cairo

Cairo es un lenguaje construido alrededor de un sistema de tipos lineales que nos permite asegurarnos estáticamente de que en cada programa de Cairo, un valor se utiliza exactamente una vez. Este sistema de tipos lineales ayuda a prevenir errores en tiempo de ejecución asegurando que las operaciones que podrían causar dichos errores, como escribir dos veces en una celda de memoria, se detecten en tiempo de compilación. Esto se logra implementando un Ownership y prohibiendo la copia y eliminación de valores por defecto. En este capítulo, hablaremos sobre el Ownership de Cairo, así como sobre las referencias y las instantáneas.