Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Rust: Настояще и бъдеще (БургасКонф 2022)

Rust: Настояще и бъдеще (БургасКонф 2022)

През 2018та зарибявах хора по Rust в Търново, но за четири години езика акумулира доста популярност. Все още е статично типизиран и учудващо удобен, все още е малко трудничък за научаване, но далеч не невъзможен и инкрементално по-удобен.

Дали ще се задържи или няма да се отлепи от земята? Поне за момента траекторията му върви бавно и постепенно нагоре. Ще ви разкажа малко за какво се използва, защо толкова програмисти го харесват и какво, всъщност, му е толкова трудното за научаване.

Andrew Radev

August 29, 2022
Tweet

More Decks by Andrew Radev

Other Decks in Programming

Transcript

  1. ust: настояще и бъдеще

  2. @AndrewRadev • Rails & React в ProductHunt • “Програмиране с

    Rust” във ФМИ • TърновоКонф 2018
  3. Какво ново от 2018та?

  4. Какво ново?

  5. Какво ново?

  6. Какво ново?

  7. Какво старо?

  8. Какво ново?

  9. Защо е чак толкова харесван? 🤔 Стокхолмски синдром 🇸🇪

  10. Какво му е трудното? (demo)

  11. Какво му е трудното? 1. Ownership / Move semantics 2.

    Lifetimes 3. Borrow checker
  12. Ownership fn main() { // `variants` държи собственост let variants

    = vec!["rock", "paper", "scissors"]; // ... } // -> variants се деалокира
  13. Ownership fn main() { // `variants` държи собственост let variants

    = vec!["rock", "paper", "scissors"]; // `variants` се премества let computer_choice = get_computer_choice(variants); // -> variants се деалокира // ... } fn get_computer_choice(variants: Vec<&str>) -> &str { let random_int: usize = rand::random(); variants[random_int % variants.len()] } // -> variants се деалокира
  14. Ownership fn get_user_choice() -> &str { let mut user_choice =

    String::new(); let _ = std::io::stdin().read_line(&mut user_choice); user_choice.trim() } // -> user_choice се деалокира
  15. Ownership / Borrowing fn get_user_choice(buffer: &mut String) -> &str {

    let _ = std::io::stdin().read_line(buffer); buffer.trim() } let mut buffer = String::new(); let user_choice = get_user_choice(&mut buffer);
  16. Lifetimes // Няма да се компилира: fn find(s: &str, pattern:

    &str) -> Option<&str> { s.matches(pattern).next() }
  17. Lifetimes // Няма да се компилира: fn find(s: &str, pattern:

    &str) -> Option<&str> { // ... } error[E0106]: missing lifetime specifier --> src/main.rs:1:43 | 1 | fn find(s: &str, pattern: &str) -> Option<&str> { | ---- ---- ^ expected named lifetime parameter | = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `s` or `pattern` help: consider introducing a named lifetime parameter
  18. Ownership fn get_user_choice() -> &str { // -> невъзможно //

    ... } fn get_user_choice() -> &'static str { "rock" // най-краткото, 80% ще въведат това anyway }
  19. Lifetimes fn find<'a, 'b>(s: &'a str, pattern: &'b str) ->

    Option<&'a str> { s.matches(pattern).next() } fn find<'a>(s: &'a str, pattern: &str) -> Option<&'a str> { s.matches(pattern).next() }
  20. Lifetimes fn main() { let text = String::from("истината, цялата истина");

    let result = find(&text, &String::from("цялата")); println!("{:?}", result); }
  21. Borrow checker • По едно и също време към една

    стойност може да съществува само едно от следните: ➢ точно една mutable референция ➢ произволен брой immutable референции
  22. Lifetimes fn main() { let text = String::from("истината, цялата истина");

    let result = find(&text, &String::from("цялата")); text.push_str(" или поне 30% от нея"); println!("{:?}", result); }
  23. Lifetimes error[E0502]: cannot borrow `text` as mutable because it is

    also borrowed as immutable --> src/main.rs:9:5 | 7 | let result = find(&text, &String::from("цялата")); | ----- immutable borrow occurs here 8 | 9 | text.push_str("или поне 30% от нея"); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ mutable borrow occurs here 10 | 11 | println!("{:?}", result); | ------ immutable borrow later used here
  24. Защо е толкова сложно? За да бъде просто :)

  25. Защо толкова сложно? • Ownership – всичко се деалокира автоматично

    и само веднъж • Borrow checker – всички “указатели” са винаги валидни • Lifetimes – necessary evil за локална валидност на функциите • Логична сложност, не случайна сложност
  26. Garbage collection? • GC изобщо не е “просто” :) •

    Ruby – GC по време на request • Go: неконфигурируем GC, минимизира паузи, за сметка на други неща (цък) • Embedded (дрони, коли, самолети, ракети) – GC напълно се избягва
  27. Rocket science React, Ember, Vue, Svelte

  28. За боба, ‘леба, че и за уеба

  29. За боба, ‘леба, че и за уеба

  30. За боба, ‘леба, че и за уеба

  31. За боба, ‘леба, че и за уеба

  32. За боба, ‘леба, че и за уеба

  33. Не ядат само уеб ‘леб хората

  34. Quickmd: Защо? • Github CSS • Self-contained • Vim keybinding-и

    (разбира се) • Update on change • “Quick”
  35. Quickmd: Защо Rust? • Self-contained – едно exe, it Just

    Works • Малко езици всъщност имат адекватни binding-и • На Python не беше много “quick” • Лесно е (да, наистина)
  36. Десктоп неща • GTK binding-и • Tauri • Egui

  37. Всякакви неща

  38. Всякакви неща

  39. Всякакви неща

  40. Толкова ли е трудно наистина? • Един семестър, 40 часа,

    3-4 домашни, между другите лекции, контролни • Един месец за крайния проект, между другите изпити • 2-3 курс, тук-таме 4ти
  41. По-опитни студенти...

  42. По-опитни студенти...

  43. “Empowering”

  44. “Empowering”

  45. Не ядат само уеб ‘леб хората • Rust не предписва

    за какво ще го използвате • Съответно: използва се за всякакви неща • Не е толкова лесен, но не е и толкова труден • Изпипан е, харесван е, и това движи нещата напред
  46. Бъдещето на Rust? • 8ма година “най-харесван” :) • Web

    tooling? • Desktop apps? • Rocket science?
  47. Rocket science?

  48. Rocket science?

  49. Бъдещето на Rust? • 8ма година “най-харесван” :) • Web

    tooling? • Desktop apps? • Rocket science? • Каквото си искаме – стига да има желание, със софтуера всичко е правимо
  50. Ресурси • The Rust Book: https://doc.rust-lang.org/stable/book/ • Rust курса във

    FMI: https://fmi.rust-lang.bg/ • (Вижте “стари издания” за видео в секция “Материали”) • Разни проекти от курса: https://github.com/fmi/rust-projects • Кой предлага работа на Rust? /r/rust • (Нов тред всеки 6 седмици)