第三届中国Rust开发者大会 Candid: the interface description language of the Internet Computer smart contracts Yan Chen DFINITY Foundation Rust China Conf 2023 −− How DFINITY uses procedure macro to extend Rust experience in safely extending Rust languages without modifying the compiler. • Running example: Candid, a strongly typed serialization library • Extended language features: • Backward compatible API (Profile); } API v2 getProfile Send (42 : nat) Decode as () Decode as (record { name : text }) Candid: a strongly typed interface description language • Primitive types • nat, int, nat{8-64}, int{8-64}