error-handling rust optional idiomatic rust-result asked Apr 27 '16 at 0:14

vector collections rust move-semantics asked Aug 21 '17 at 19:02

generics rust traits type-parameter asked Mar 5 '17 at 21:03

java reflection asked Feb 25 '14 at 18:00

logic coq implication asked Feb 20 '16 at 2:11