## RUST CHINA CONF 2023 第三届中国Rust开发者大会 6.17-6.18 @Shanghai Rust China Conf 2023 ## Candid: the interface description language of the Internet Computer smart contracts -- How DFINITY uses procedure experience in safely extending Rust languages without modifying the compiler. • Running example: Candid, a strongly typed serialization library • Extended language features: • Backward compatible API getProfile : (nat) -> (Profile); } Send (record { name = "Admin"; age = 42 : nat8 }) ## Candid: a strongly typed interface description language ## • Primitive types • nat, int, nat{8-64}, int{8-64}