Cairo를 처음부터 시작하는 방법에 대한 개요예요.
Cairo는 범용 연산을 위한 증명 가능한 프로그램을 작성할 수 있는 최초의 튜링 완전 언어예요. Rust와 유사한 고수준 언어죠. Rust처럼, 개발자가 효율적이고 안전한 코드를 쉽게 작성할 수 있도록 하는 것을 목표로 해요.
배우는 가장 좋은 방법은 직접 놀고 연습하는 것이라고 생각해요. 자신만의 코딩 프로젝트를 만들거나, 여기 Exercism에 있는 것 같은 작은 연습 문제를 풀면서요!
아래 자료들이 Cairo 여정을 시작하는 데 도움이 될 거예요: