Як вивчати Cairo

Огляд того, як почати роботу з Cairo з нуля.


Cairo - перша повна за Тюрінгом мова для створення доказових програм для загальних обчислень. Це Rust-подібна мова високого рівня. Як і Rust, вона покликана дозволити розробникам легко писати code, який є ефективним і безпечним.

Ми вважаємо, що найкращий спосіб навчатися - гратися і практикуватися, або створюючи власні проєкти з програмування, або розвʼязуючи маленькі задачі, як ті, що тут на Exercism!

Нижче наведено кілька ресурсів, які можуть допомогти розпочати подорож із Cairo:

  • Cairo Programming Language представляє мову Cairo і наводить багато відповідних ресурсів для вивчення та використання Cairo.
  • The Cairo Book - чудовий ресурс для вивчення Cairo, а також для глибшого занурення в окремі можливості Cairo.
  • Cairo Documentation пояснює конструкції та семантику мови.
  • Cairo by Example показує приклади найпоширеніших речей, які ми будемо писати в Cairo.
  • Node Guardians «Навчальна платформа у стилі фентезі для розробників смарт-контрактів.»
  • Cairo Community Forum відповідає на запитання усіх рівнів.