書きながら思い付いたけど、コーデックとか向いてるかも
例えば、音声ファイルのエンコーダは速さも大切だけど
音質とかどのプレイヤーでも正しく再生できるとかいうのを求めると思う
IOが少なく、速さと正しさのバランスが求められる分野が
関数型言語のポテンシャルを引き出せるんじゃないかな