>>11Rust's type inference is really the same shit as type inference in modern sepples or jabba, that is it only infers within the scope of a function. but when you make your're are functions, you still need to write signatures for them. so it isn't the cool ocaml/haskal style inference