アルゴリズムの洗練化や検証をHaskellでやって、それからJavaなどに置き換えることはあるね。