Rust 2024 — различия между версиями
Snezhanna (обсуждение | вклад) (→Преподаватели) |
(→Общие сведения) |
||
(не показано 7 промежуточных версий 3 участников) | |||
Строка 4: | Строка 4: | ||
* '''[https://forms.gle/w2Euh9X8ZCXqNMeYA Форма регистрации на курс]''' | * '''[https://forms.gle/w2Euh9X8ZCXqNMeYA Форма регистрации на курс]''' | ||
* [https://docs.google.com/spreadsheets/d/e/2PACX-1vRKsGLnxlYdnk4K2mdb6LSHJXUTRGgiTAEm4q6HZ6GKQdEG5_5HuRrQChov8qbrCtiYcva2KZ-P68SO/pubhtml?gid=280865532&single=true План занятий и домашних работ] | * [https://docs.google.com/spreadsheets/d/e/2PACX-1vRKsGLnxlYdnk4K2mdb6LSHJXUTRGgiTAEm4q6HZ6GKQdEG5_5HuRrQChov8qbrCtiYcva2KZ-P68SO/pubhtml?gid=280865532&single=true План занятий и домашних работ] | ||
− | * [https:// | + | * [ Таблица с оценками] |
+ | * [https://forms.gle/HT7XgMatoWoHhKya8 Продление дедлайнов] | ||
* [https://t.me/+xjZPHGTk0jc5NTgy Telegram-чат курса] | * [https://t.me/+xjZPHGTk0jc5NTgy Telegram-чат курса] | ||
Строка 14: | Строка 15: | ||
Планируется 11 домашних заданий. | Планируется 11 домашних заданий. | ||
− | Проверка: | + | Проверка: автотестирование. |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
* Домашние задания | * Домашние задания | ||
Строка 70: | Строка 40: | ||
= Литература = | = Литература = | ||
− | === | + | ===«Rustbooks»=== |
+ | * [https://doc.rust-lang.org/book/ The Rust Programming Language] - Rustbook, the first book to be read by newbie. | ||
+ | * [https://doc.rust-lang.org/stable/reference/ The Rust Reference] - The Rust language reference. Something like explained docs. | ||
+ | * [https://rust-unofficial.github.io/too-many-lists/ Learn Rust With Entirely Too Many Linked Lists] - Just writing multiple linked lists. It may help to understand the basics of ownership. | ||
+ | * [https://doc.rust-lang.org/cargo/ The Cargo Book] - The Cargo package manager reference. | ||
+ | * [https://rust-lang-nursery.github.io/rust-cookbook/intro.html Rust Cookbook] - Explains how to solve simple, widespread programming tasks. | ||
+ | * [https://rust-lang.github.io/api-guidelines/about.html Rust API Guidelines] - Official set of recommendations on how to design and present APIs. | ||
+ | * [https://danielkeep.github.io/tlborm/book/index.html The Little Book of Rust Macros] - Starter book about Rust Macros. | ||
+ | * [https://rust-unofficial.github.io/patterns/intro.html Rust Design Patterns] - Good practices of Rust programming. | ||
+ | * [https://doc.rust-lang.org/nomicon/index.html The Rustonomicon] - The book about Unsafe Rust. In addition, it covers some advanced safety topics such as an ownership. | ||
+ | * [https://rust-lang.github.io/unsafe-code-guidelines/introduction.html Rust's Unsafe Code Guidelines Reference (UCG WG)] | ||
+ | * [https://nnethercote.github.io/perf-book/title-page.html The Rust Performance Book] - The book about optimizing Rust code. | ||
+ | * [https://rust-lang.github.io/async-book/01_getting_started/01_chapter.html Asynchronous Programming in Rust] - Introduction to asynchronous programming. | ||
+ | * [https://cfsamson.github.io/books-futures-explained/introduction.html Futures Explained in 200 Lines of Rust] - Good book on futures and executors. | ||
+ | * [https://rustc-dev-guide.rust-lang.org/ Guide to Rustc Development] - The guide to compiler development for enthusiasts. | ||
+ | * [https://doc.rust-lang.org/rustc/what-is-rustc.html What is rustc?] - Describes some advanced usages of the rustc compiler. | ||
+ | * [https://docs.rust-embedded.org/book/ The Embedded Rust Book] - Programming for embedded systems in Rust. | ||
+ | |||
+ | ===Articles=== | ||
+ | * [https://pngquant.org/rust.html Improved portability and performance] - How [https://github.com/ImageOptim/libimagequant libimagequant] library became more performant and portable (!) by rewriting C code to Rust. | ||
+ | * [https://cglab.ca/~abeinges/blah/rust-btree-case/ Rust Collections Case Study: BTreeMap] - Great post about the implementation of BTree in Rust from its author. | ||
+ | * [http://joeduffyblog.com/2016/02/07/the-error-model/ 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. | ||
+ | * [https://huonw.github.io/blog/2015/05/finding-closure-in-rust/ Finding Closure in Rust] - Detailed post with "straightforward" explanation of closures design. | ||
+ | * [https://blog.logrocket.com/how-to-organize-your-rust-tests/ How to organize your Rust tests] - Answers the question "How to organize your Rust tests" :) | ||
+ | |||
+ | ===Writing idiomatic Rust code=== | ||
+ | * [https://www.youtube.com/watch?v=0zOg8_B71gE Writing Idiomatic Libraries in Rust] - Good talk on writing idiomatic code. | ||
+ | |||
+ | ===Conference talks about Rust=== | ||
+ | * [https://www.youtube.com/watch?v=79PSagCD_AY The History of Rust] - Just a bit of History of Rust. | ||
+ | * [https://www.youtube.com/watch?v=2ajos-0OWts How Rust Views Tradeoffs] - Good talk about the aims of Rust language. | ||
+ | * [https://www.youtube.com/watch?v=UrDhMWISR3w RustConf 2021 - Move Constructors: Is it Possible? by Miguel Young de la Sota] | ||
+ | * [https://www.youtube.com/watch?v=lJ3NC-R3gSI Rust's Journey to Async/Await] - The talk about the high-level design of async in Rust. | ||
+ | * [https://www.youtube.com/watch?v=NNwK5ZPAJCk The Talk You've Been Await-ing for] - Introduction to async in Rust. | ||
+ | * [https://www.youtube.com/watch?v=vqavdUGKeb4 Rust Programming Techniques] - Good practices of writing idiomatic code. | ||
+ | |||
+ | ===YouTube channels=== | ||
+ | * [https://www.youtube.com/watch?v=XDv4I3_4Ubs&list=PL4_hYwCyhAvbeLzi699gqMUA4UaPkcdmJ Previous year course] - It is highly recommended for viewing if you missed something or did not understand | ||
+ | * [https://www.youtube.com/c/JonGjengset/featured Jon Gjengset YouTube channel] - Excellent channel about Rust, especially "Crust of Rust" series, where several topics covered from intermediate to advanced level. | ||
+ | * [https://www.youtube.com/channel/UCLd3PQ6J0C-VuNBozsXGUWg/featured Aleksey Kladov YouTube channel] - If you're interested in how rust-analyzer works - it's the best channel and the best speaker. | ||
+ | |||
+ | ===Research papers=== | ||
+ | * [http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf GhostCell: Separating Permissions from Data in Rust] - Tricky usage of Rust type system. | ||
+ | * [https://plv.mpi-sws.org/rustbelt/stacked-borrows/paper.pdf Stacked Borrows: An Aliasing Model for Rust] - On checking unsafe code. | ||
+ | |||
+ | ===Books=== | ||
+ | * [https://nostarch.com/rust-rustaceans "Rust for Rustaceans - Idiomatic Programming for Experienced Developers" by Jon Gjengset] - Perfect book that covers a lot of details about the language in-depth. | ||
+ | * [https://www.zero2prod.com/index.html?country=Netherlands&discount_code=VAT20 Zero To Production In Rust] | ||
− | === | + | ===Blogs=== |
+ | * [https://alastairreid.github.io/ Alastair Reid blog] - You can find great posts about automatic verification tools in this blog. | ||
+ | * [https://matklad.github.io/ Aleksey Kladov blog] - Some random things about Rust. | ||
+ | * [https://ihatereality.space/ Waffle blog] - Some random things about Rust. | ||
+ | * [https://beachape.com/ Lloyd Chan blog] - The author usually writes on advanced usages of the type system. |
Текущая версия на 00:39, 27 марта 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.