>>692
たぶんここで根本的な勘違いをしている。
例の人の考えた言語がCに似ているから勘違いしたんだろうけど、例の人の考えでは
おそらく構造体のフィールドをデフォルトで非公開として（というかドット記法が存在せず）、
アクセサ関数を通してのみアクセスできるという仕様を想定しているはず。
そしてアクセサ関数はモジュール単位で公開・非公開を制御すればいい。

これは特別なものではなく、例えばHaskellのような（というか俺は関数型はこれしか知らないが）
言語でもそうなっている（はず）。

こう考えると>>526からの間違いも全て説明がつく。