【BAYES COFFEE HOUSE TECH TALK SERIES】Introducing Effect Types to the Rust Programming Language
Yoshua Wuyts from Microsoft will give a talk, in person and online, for the Coffee House Tech Talk Series. Details of the talk are below.
Title: Introducing Effect Types to the Rust Programming Language
Speaker: Yoshua Wuyts
Microsoft
When: 11am Tue 30 April
Where: Meeting Room 1 at Huawei Edinburgh Research Centre
Registration: https://www.smartsurvey.co.uk/s/D8MKWE/
Time: 04/30(Tues) 11:00-12:00 (UTC+01:00)London
External: https://meeting.huaweicloud.com/welink/j/99811411/vNJz7btUPs9ke7DdA2dWVGdVDafE5C3y3
Meeting ID: 99811411
Passcode: 986148
Abstract: The Rust programming language has an interesting history with effects. The borrow checker is a practical adaptation of Cyclone’s memory region system, which in turn can be traced back to other effectful languages such as FX-87. Rust since its 1.0 release in 2015 has introduced additional effect-like extensions to the language such as “const” and “async”, and is working to introduce even more in the future.
Bio: Yosh works on WebAssembly and Rust at Microsoft. They are a member of the Rust Async WG, co-lead of the Rust effects initiative, and a recognized contributor of the Bytecode Alliance. They live in sunny Copenhagen, together with their partner and two beautiful fluffy cats.
Comments are closed
Comments to this thread have been closed by the post author or by an administrator.