純粋な関数型ならhaskellじゃないかな
ユーザーはOcamlが多そうだけど