Explore a 21-minute video presentation on ChoRus, a new library-level choreographic programming framework for Rust. Delve into the innovative approach of implementing choreographies and projection mechanisms within an existing host language. Learn about the ChoRus API, its dynamic endpoint projection technique, and the potential impact on improving accessibility and practicality of choreographic programming. Gain insights into future directions for ChoRus and library-level choreographic programming as presented by Shun Kashiwa and Lindsey Kuper from the University of California, Santa Cruz at the CP 2024 workshop.
Overview
Syllabus
[CP24] ChoRus: Library-Level Choreographic Programming in Rust
Taught by
ACM SIGPLAN
Related Courses
-
Suki: Choreographed Distributed Dataflow in Rust
-
Rust - An Alternative to High-Level Programming Languages
-
From High-Level to Systems Programming - A Practical Guide to Rust
-
Learn Rust Programming - Standard Library, Enums, Traits, Arrays, Vectors, and HashMaps
-
Verus - Verified Rust for Low-Level Systems Code
-
Why Safe Programming Matters and Why Rust is the Way Forward
