On Wed, Jan 20, 2016 at 7:22 PM, <[email protected]> wrote: > Julia's immutable types are value types and mutable types are reference > types. In the Julia docs on types there is a paragraph that begins: > > "It is instructive, particularly for readers whose background is C/C++, to > consider why these two properties go hand in hand. [...]" > > However this paragraph only explains why value types should be immutable, it > doesn't describe why you can't define a reference type that is immutable. > So, why not?
Because there's no value type at all. A immutable reference type is effectively a value type.
