回答編集履歴

  関数型言語をここ数年勉強している者です。

  marsさんが関数型プログラミングがどんなものなのかを純粋に知りたいけれど、

  周囲に関数型言語に詳しい人がいないという前提であれば、OCamlをお勧めいたします。

  ただし、コード補完やデバッグなどの高度な開発環境を整えるのに苦労するかもしれません。これといったIDEがなくテキストエディタを使うことになると思います(手近なものではocaml-top)。

  その点ではHaskellの方が簡単ですが、Haskellでは関数型プログラミングの開発手法を深く学べる日本語の書籍が見当たりませんでした（すごいHaskell本はどちらかというと言語の解説に重きを置いているよう感じました）。一方、OCamlでそのあたりを学べる書籍として、浅井健一先生の「プログラミングの基礎」をお勧めいたします。

  まずはOCamlを勉強して、気が向いたら他の言語もやるのが、一見遠回りに見えますが一番挫折しづらい道だと思います。