Cairoをゼロから始める方法の概要
Cairoは、汎用的な計算のための証明可能なプログラムを作成するための、最初のチューリング完全な言語です。Rustに似た高水準言語で、Rustと同じく、エンジニアが効率的で安全なコードを簡単に書けるようにすることを目指しています。
学ぶための一番の方法は、遊びながら実践することだと考えています。自分だけのプログラミングプロジェクトを作るのも、Exercismにあるような小さな問題を解くのも、どちらもよい方法です。
Cairoの旅を始めるのに役立つリソースをいくつか紹介します。