@ariasuni I do love cargo but every time I code in #rust itself I feel like I am working in a defective or inferior dialect of #ml. While I agree #ocaml can be "terse" in function definitions, it does infer parameters and return types rather well for you. But not Rust. Even C++ seems more capable of type deduction.


@tychosoft Well, I’d say Rust got every fancy functional programming stuff without the headaches… but you seem to miss the point of Rust. Type deduction in and on itself is a tool, not a virtue.

Rust is designed to enforce type at function boundaries, especially because of its ownership model. It allows stability at the interface level (one the core promise of Rust), better/more localized error messages (a blessing with refactoring of any size), helps with incremental compilations, etc.

Sign in to participate in the conversation
Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!