OCamlユーザのほうがおそらく多いので、その人たちの意見も聞きたいところですね。

しかし、F#の場合は.Netのライブラリを扱う、F#で書いたプログラムが.Netの他の言語から呼び出されるという特殊事情がありますから、OCamlの場合とは違ってくるのかも知れません。

ちなみに、F# の module は C# でいうところの static class です。.NET Reflector で答えが見れます。

#light "off"
namespace Igeta.ClassOrModule

type C = class
end;;

module M = begin
end;;

namespace Igeta.ClassOrModule
{
    [Serializable, CompilationMapping(SourceConstructFlags.ObjectType)]
    public class C
    {
    }

    [CompilationMapping(SourceConstructFlags.Module)]
    public static class M
    {
    }
}

とってもタイムリーですね。O'Camlのコミュニティーでは確立した見解らしいので、それに従うのが初心者の私にはよさそうです。

実は私はScalaから流れてきました。あっちでは、もっとオブジェクトが前面に出ています。Scalaを勉強して、前から書きたかったプログラム(Javaでは放り出したやつ）を書いたら動いてしまったので、いったんはファンになりかけました。しかし、Scalaを勉強し続けていったところ、その複雑さに恐れをなすようになり、撤退することにしました。オブジェクトを使わず、モジュールだけを使うという方針でF#を扱うのは簡明でいいですね。

ScalaとF#の言語仕様はたしかに違いますが、実際に使ってみた感触はそれ
以上に違います。言語仕様もさることながら、ライブラリや本が漂わせて
いる雰囲気がだいぶ違うのを感じます。Scalaではクラスを使うのが当然
という雰囲気だし、F#ではむしろ使わないの普通という感じ。

たとえば、Microsoft.FSharp.Collectionsにあるものはほとんどimmutableで、
mutableな対応物はありません。しかし、Scalaだとmutableなものとimmutable
なものはだいたいセットで揃っています。

> F# 標準ライブラリは、徹底して class の存在を意識させない作りになってますね。
あー。もしかしたら、この一文は「class の存在を意識しないでいい使い方もできるようになっている」ぐらいの表現の方が適切かもしれない、と思い始めました。

http://research.microsoft.com/fsharp/manual/namespaces.html

再構築された F# CTP 名前空間のパッと見の感想です。FSharp.PowerPack アセンブリ に追いやられた types/modules というのは、使う必要性の乏しい types/modules のように見えます。丸ごとイラナイ判定されて持ってこられたものから、イラナイ関数だけを抜き取ってきて定義されたモジュールみたいなものまで、いろいろ存在します。

ここで特に、Microsoft.FSharp.Compatibility 以下の名前空間を見てみると、以前のバージョンでは気兼ねなく使用できたモジュール群に気づきます。別アセンブリの別名前空間に定義が移されたということは、CTP では、それらを使うのに、アセンブリ参照と、必要なら名前空間の open を行わねばならない、ということを意味します。

.NET ライブラリと重複する部分だから、という理由でそう変更されたのならわからなくもないのですが、この名前空間には Lazy モジュールなんかも含まれているのが解せません。Lazy 型が、FSharp.Core アセンブリの Microsoft.FSharp.Control 名前空間に存在するにもかかわらずです。対応関係にある型とモジュールが、それぞれ別のアセンブリ、別の名前空間に分けて定義されているのはなぜでしょうか。

いちいち深読みのしすぎなのかもしれませんが、上記の事実は、Lazy 型の値は OOP ライクにドットで繋げて member 関数によって操作するのが常道、というメッセージではないだろうかと。Lazy 型を FP のスタイルで扱いたいがために FSharp.PowerPack を参照しなければならないのなら、面倒というか、たすきに長しじゃないだろうかと。

標準ライブラリでさえ、OOP 的なシンタックスによって使用すべきか、FP 的なシンタックスによって使用すべきか、統一されていないのかもしれない、と漠然と思っています。ちなみにこれは、どっちかに統一しろという主張などではなく、ただの現状認識としてのお話です。しかも多分に曖昧な…（＾＾；