Getting Started

In this section, we will get a quick taste of Ferrite with a high level overview of the language. You will learn about how to start using Ferrite to build a toy example program in Ferrite.

This book assumes that you already know the basic concepts in Rust, as well as advanced concepts such as generic types, traits, associated types, and asynchronous programming. If you haven't learned these concepts, we highly recommend you to first read the relevant sections in the Rust book, and the Async book.