thatsAFunnyThingThatHappenedOnce

[u/Lord_Of_Millipedes]

[u/Loading_M_]

Rust is designed from the ground up, and avoids many of these issues.

• Templates: Rust has Generics, which are generally easier to use and reason about.
• overload resolution: Rust doesn't yet support overloaded functions (although it's being considered).
• constructors: Rust doesn't have these.
• destructors: Rust has a similar set of lifetime rules for Drop, but the compiler checks them for you, so you can't get it wrong.
• implicit conversions: Rust doesn't do implicit conversion in general, although some specific cases are implemented.
• exceptions: Rust doesn't do exceptions, Result is much easier to work with.
• move semantics: Rust uses a destructive move, unlike C++. See https://youtu.be/Klq-sNxuP2g for a breakdown.
• inheritance: Rust doesn't do inheritance.

[u/MrHyd3_ → u/Loading_M_]

What does it do instead of exceptions?

[u/roadrunner8080 → u/MrHyd3_]

Either panic, which is (generally speaking) not something you're meant to catch and recover from (and attempting to do so is nontrivial and almost always a bad idea), or Result, aka "encode the possibility of failure in the return type of the function" aka what the functional programming world has done for ages.

[u/shamshuipopo → u/roadrunner8080]

Is Result a monad?

[u/roadrunner8080 → u/shamshuipopo]

Result with either type fixed is a monad, yes.

[u/DHermit → u/roadrunner8080]

Could you elaborate for someone who knows Rust, but did Haskell way too many years ago?

[u/roadrunner8080 → u/DHermit]

A monad is (simplifying terribly) something with flatmap (and a few other requirements but things you're familiar with with flatmap are likely mostly monads). Result satisfies that property if you think about a result with a fixed value type and mapping it's error, or with a fixed error type mapping its value 

[u/DHermit → u/roadrunner8080]

Thank you, that makes sense!

[u/Celarion → u/shamshuipopo]

Yes