現在、TopCoder のアルゴリズム・マッチで使用できる言語は、 C++, C#, Java, VB の 4 つです。ちなみに、この前の SRM356 で使用された数は以下のとおり。

C++が一番人気。VB が圧倒的不人気です。 TopCoder の Forum によりますと、

Haskell support?

The next language supported has been chosen and will begin work soon; unfortunately it's not Haskell.

新しい言語が数ヶ月後に追加されるようですよ。残念なことに、Haskell ではないことだけは確定していますが。

Python, Ruby, Erlang, OCaml, Pascal あたりが予想されていますが。はたして何が追加されることやら。

とりあえず個人的に予想しておくとするなら、OCaml に一票。