Am 09.05.2014 21:53, schrieb Araq:
It increases the complexity to reason about code.
No, that's wrong.
Why it is wrong?
Even you ever seen a programmer reason about unique pointers, shared
pointers, weak pointers, naked pointers, references and cyclic data
structures without mistakes?
In any language that provide them?
If the compiler does not give an helping hand, bugs are too easy to
create.
Usually a type system is used to increase safety...
That is why Rust provides a type system that knows about pointer types,
lifetimes and usage dataflow.
Because in languages that don't go that far, the desired outcome is not
always the best.
--
Paulo