前に見たICFPだったかの競技プログラミングじゃ、c++が優勝してたことあったぞ
単に関数型のコンペだから、ocaml,haskellが多いんだろうけども
競技プログラミングで型推論してくれて、再起が書きやすくて、省メモリなものってなると
その選択肢はocamlなんじゃね？