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?
