CoLaboratory: Rust — поговоримо про Rust в «Лабораторії Касперського» 17 травня

image
Реєстрація.
Rust — сучасний системний мова програмування з потужною системою типів. Він захищає від багатьох типових помилок програмування, таких як використання звільненої пам'яті і гонки даних. Ці проблеми в Rust виявляються відразу під час компіляції! При цьому мова не використовує збірку сміття — а значить, має передбачуваною продуктивністю, легко вбудовується в інші мови і відмінно підходить для вбудованого програмування. На Rust можна писати надійні, високопродуктивні багатопотокові програми.
Рік тому відбувся випуск першої стабільної версії мови — Rust 1.0. З тих пір мова активно розвивався. Ще вчора про Rust ніхто не знав, а сьогодні Dropbox переписав на ньому ядро своєї дискової інфраструктури.
Увечері 17 травня ми зберемося в московському офісі "Лабораторії Касперського", щоб поговорити про теоретичних і практичних моментах використання Rust, його екосистемі і інструментах, поділитися досвідом написання програм, а також розглянути часті проблеми і способи їх вирішення.
Не пропустіть! CoLaboratory: Rust — це шанс дізнатися про багатообіцяючому мовою програмування, який може незабаром замінити звичні інструменти, чиї позиції зараз здаються непорушними.
Програма заходу
18:00 — 18:30 Реєстрація учасників.
18:30 — 18:40 Початок зустрічі. Привітальні слова.
18:40 — 19:40 Rust — краще, ніж C++. Степан Кольцов.
Rust — сучасний практичний зручний швидкий і безпечний мова програмування з хорошою системою типів.
Rust повинен стати заміною C++, т. к. вирішує проблеми C++ в роботі з пам'яттю (after use free, double free, buffer overrun тощо) і з багатопоточністю при цьому надаючи такі ж можливості для швидкого написання коду.
Синтаксис Rust приємний, стандартна бібліотека спроектована добре, а система типів Rust пішла далеко вперед у порівнянні з C++, де віртуальні методи окремо, шаблони окремо, і де для кожного типу параметра шаблон инстанциируется заново. Але моя розповідь не про це.
У своїй розповіді я детально (настільки, наскільки це можливо за одну годину) опишу ту частину системи типів, яка гарантує безпечну роботу з пам'яттю — lifetimes, borrowed pointers, Sync/Send та інше. На мій погляд, це найважливіше, найскладніше і найцікавіше, що є у Rust.
19:40 — 20:30 Багатопоточність і паралелізм у Rust. Микита Баксаляр.
Навіщо потрібні багатопоточність і паралелізм, і чому це важливо. Які підходи застосовувалися у Rust, і до чого прийшли.
Безпечний доступ до даних, або що таке стан гонок, дедлоки, і як нас рятує від цих проблем Rust з допомогою базових конструкцій мови.
Альтернативні підходи до багатопоточності: MPSC і обмін повідомленнями, легковагі процеси, актори і корутины.
20:30 — 20:50 Кава-брейк
20:50 — 21:40 Практика розробки веб-серверів на Rust. Михайло Панків.
Rust дозволяє писати швидкі і надійні програми. Особливо коли вони багатопотокові. Це робить його гарним вибором для написання серверної частини різноманітних веб-додатків.
Але що для цього потрібно? Навіщо терпіти всі ці довжелезні помилки від borrow checker'а? Що з продуктивністю розробки? Де взяти бібліотеки? А що якщо бібліотеки немає? Який веб-фреймворк вибрати? Як налагоджувати і профілювати код?
У своїй доповіді я відповім на ці та інші питання. Ще я розповім, що потрібно робити, щоб вирішити проблемні місця, які у Rust, звичайно, теж є.
Все це — на прикладі коду інфраструктурного сервера, що забезпечує «завжди зелений master» (commit gatekeeper, аналог homu і zuul).
21:40 — 22:10 Rust FFI на прикладі розширення структури даних з Haskell.
Олександр Вершилов.

Rust — швидкий і надійний мову без збирача сміття, що дозволяє використовувати його в проектах, написаних на інших мовах, у місцях особливо вимогливих до ефективності рішення. У даному доповіді буде розглянуто можливість використання Rust в Haskell проекті.
Зазвичай в таких випадках використовується зв'язка з C, але оскільки Rust надає більше гарантій, то він може зайняти цю нішу.
У доповіді ми розглянемо основи FFI у Rust, і покажемо як писати проекти, що використовують Rust і Haskell одночасно і обговоримо інші пов'язані з цим питання.
Реєстрація
Подія вимагає реєстрації. Зареєструватися можна тут.
У нас також є група на Facebook.
Чекаємо на вас! І обов'язково розкажіть про подію друзям.

Джерело: Хабрахабр

0 коментарів

Тільки зареєстровані та авторизовані користувачі можуть залишати коментарі.