Perhaps parallel to your point but not only does compilation take time but development takes even more time.
The article essentially compares mutable and immutable values, and their effect on compilation and cycles. Sure the type system is a subset of the larger mutable/immutable issue.
The reality is that few implementations would use mutable values "under the hood" if they could make the actual use of the language appear to allow mutables.
Stated more simply, In a concurrent world the only benefit of mutable values is the programmers ability to reason about them.
The article essentially compares mutable and immutable values, and their effect on compilation and cycles. Sure the type system is a subset of the larger mutable/immutable issue.
The reality is that few implementations would use mutable values "under the hood" if they could make the actual use of the language appear to allow mutables.
Stated more simply, In a concurrent world the only benefit of mutable values is the programmers ability to reason about them.