OCamlのモジュールの話

面白そうな話なので引っ張って来ました。soutaroさんの話は（もちろんyoriyukiさんの話も）何ら「変」ではないと思いますよ。たとえばVisual何とかほどの環境は存在しない、というのは確かですし（Visual〜で同じことができるか知らないのですが）、OCamlのモジュールシステムがいろいろとテキトーなのも、よく言われますし。

ちなみにモジュールの（ソースコード上の依存関係だけではなく）ロード順が重要になるのって、どういう場合でしょうか？　そもそもソースコード上には依存関係がないのにロード順には依存する、というような副作用を記述するのはいかがなものか、という考えもオオアリクイかと思ったのですが。