Rust 2024

Общие сведения

• Семестр: весенний семестр 2024
• Формы контроля: домашние задания
• Форма регистрации на курс
• План занятий и домашних работ
• [ Таблица с оценками]
• Продление дедлайнов
• Telegram-чат курса

Материалы занятий

• Видео занятий
• Коды и презентации занятий

Домашние задания

Планируется 11 домашних заданий.

Проверка: автотестирование.

• Домашние задания
• Сдача домашних заданий

Преподаватели

• Лектор
  • Денис Баринов

• Учебный ассистент
  • Александр Русин

Критерии получения оценки

Домашние задания

• Домашние задания
• Сдача домашних заданий

Литература

«Rustbooks»

• The Rust Programming Language - Rustbook, the first book to be read by newbie.
• The Rust Reference - The Rust language reference. Something like explained docs.
• Learn Rust With Entirely Too Many Linked Lists - Just writing multiple linked lists. It may help to understand the basics of ownership.
• The Cargo Book - The Cargo package manager reference.
• Rust Cookbook - Explains how to solve simple, widespread programming tasks.
• Rust API Guidelines - Official set of recommendations on how to design and present APIs.
• The Little Book of Rust Macros - Starter book about Rust Macros.
• Rust Design Patterns - Good practices of Rust programming.
• The Rustonomicon - The book about Unsafe Rust. In addition, it covers some advanced safety topics such as an ownership.
• Rust's Unsafe Code Guidelines Reference (UCG WG)
• The Rust Performance Book - The book about optimizing Rust code.
• Asynchronous Programming in Rust - Introduction to asynchronous programming.
• Futures Explained in 200 Lines of Rust - Good book on futures and executors.
• Guide to Rustc Development - The guide to compiler development for enthusiasts.
• What is rustc? - Describes some advanced usages of the rustc compiler.
• The Embedded Rust Book - Programming for embedded systems in Rust.

Articles

• Improved portability and performance - How libimagequant library became more performant and portable (!) by rewriting C code to Rust.
• Rust Collections Case Study: BTreeMap - Great post about the implementation of BTree in Rust from its author.
• The Error Model - Article with a perfect, step-by-step explanation of error handling models, including Rust's one, and is good and how it solves mistakes of other generations of error handling.
• Finding Closure in Rust - Detailed post with "straightforward" explanation of closures design.
• How to organize your Rust tests - Answers the question "How to organize your Rust tests" :)

Writing idiomatic Rust code

• Writing Idiomatic Libraries in Rust - Good talk on writing idiomatic code.

Conference talks about Rust

• The History of Rust - Just a bit of History of Rust.
• How Rust Views Tradeoffs - Good talk about the aims of Rust language.
• RustConf 2021 - Move Constructors: Is it Possible? by Miguel Young de la Sota
• Rust's Journey to Async/Await - The talk about the high-level design of async in Rust.
• The Talk You've Been Await-ing for - Introduction to async in Rust.
• Rust Programming Techniques - Good practices of writing idiomatic code.

YouTube channels

• Previous year course - It is highly recommended for viewing if you missed something or did not understand
• Jon Gjengset YouTube channel - Excellent channel about Rust, especially "Crust of Rust" series, where several topics covered from intermediate to advanced level.
• Aleksey Kladov YouTube channel - If you're interested in how rust-analyzer works - it's the best channel and the best speaker.

Research papers

• GhostCell: Separating Permissions from Data in Rust - Tricky usage of Rust type system.
• Stacked Borrows: An Aliasing Model for Rust - On checking unsafe code.

Books

• "Rust for Rustaceans - Idiomatic Programming for Experienced Developers" by Jon Gjengset - Perfect book that covers a lot of details about the language in-depth.
• Zero To Production In Rust

Blogs

• Alastair Reid blog - You can find great posts about automatic verification tools in this blog.
• Aleksey Kladov blog - Some random things about Rust.
• Waffle blog - Some random things about Rust.
• Lloyd Chan blog - The author usually writes on advanced usages of the type system.