Fully transitive const is not necessary

[Janice Caron]

On 02/04/2008, Steven Schveighoffer <schveiguy at yahoo.com> wrote:
>  HOWEVER, the point that everyone is arguing is why does logical const make
>  pure functions or functional programming impossible?

I thought I'd covered that, but no matter. I'll try again.

Logical const in mutually incompatible with transitive const. No
object can be simultaneously both fully transitive and have reachable
mutable fields. It's just impossible. (Here I define "reachable" as
meaning "

  Clearly, it is ALREADY
>  POSSIBLE to have logical const, and clearly, pure functions are possible!
>  I'm saying transitive const is mathematically equivalent to logical const
>  ALREADY.  Please try and grasp that concept.
>
>  -Steve
>
>
>