cycloid + rust   26

etareduce comments on Rust has a static garbage collector
they have the principal type property which means that given an expression in the language, the most general type can be derived without a single typing annotation
While Rust doesn't have the principal type property (afaik) and we have elected to only have local type inference, we could have allowed substantially more inference if we wanted to (and indeed we have loosened some restrictions on the globality of inference over the years...).
rust  programming  language  type  inference  comment  summary 
9 weeks ago by cycloid

Copy this bookmark: