Cat System Workshop #25 Rust 雙料包

【分享主題】Introduce to Rust—A Powerful System Language & How Rust NLL makes life easier
【活動時間】2019/04/17 (Wed.) 19:30
【活動地點】Skymizer (台北市內湖區瑞光路 408 號 12 樓 -2)
【主題簡介】

Part 1. Introduce to Rust—A Powerful System Language (Liu, An-Chi @tigercosmos)

Rust is a multi-paradigm systems programming language focused on safety, especially safe concurrency. Rust is syntactically similar to C++, but is designed to provide better memory safety while maintaining high performance.

This talk covers the the followoing: principles of design, features and applications. There are many successful projects used Rust, including browsers, operation systems, and database management systems, which will be also discussed in the talk.

相關連結：

1. https://www.rust-lang.org/
2. https://github.com/rust-lang
3. https://zh.wikipedia.org/wiki/Rust

Part 2. How Rust NLL makes life easier (Hong Sheng/鄭弘昇)

Rust 的所有權與生命週期的概念通常會是使新手在剛接觸語言時第一個卡關的地方，而 Rust 在 2018 年底正式將 NLL(non-lexical lifetime) 作為新的 Lifetime 機制納入了 stable 版本，使得原本一些明明合理卻不能編譯過的情形在 NLL 出現過後得以改善，讓 Lifetime 變得更為便民，不過 NLL 究竟做了什麼？本次內容會著重在 NLL 的運行機制這部份做討論。

具體會涵蓋兩個部份：

1. Lifetime 觀念以及沒有 NLL 之前的 lexical lifetime
2. NLL 的處理流程，如何透過 NLL 作到更精準的 Lifetime 判斷

相關連結：

1. https://github.com/rust-lang/rfcs/blob/master/text/2094-nll.md
2. https://blog.rust-lang.org/2016/04/19/MIR.html
3. https://github.com/nikomatsakis/borrowck

【講者簡介】

Liu, An-Chi @tigercosmos
Software Engineer
https://tigercosmos.xyz

Hong Sheng/鄭弘昇
交大資工碩0
寫過一段時間的 Scheme, 同時是 Emacs 教派的信徒
t.me/rnicinr 
 

【活動提醒】：
實體聚會前，歡迎來社團認識一下大家，接收活動第一手情報喔～

也歡迎到 Rust Taiwan 更深入認識 Rust 噢

Cat System Workshop 長期徵求系統軟體、作業系統、編譯器、虛擬化、優化等相關技術的分享！其他與電腦科學相關的分享，也都可以投稿噢！歡迎來信：四貓<cat4@skymizer.com>

Facebook 社團：https://goo.gl/fR1AQZ 
GitHub 活動介紹：https://github.com/CatSystemWorkshop/meetup

• ゼミナール