Первое, что нужно иметь в виду, это то, что, хотя OCaml имеет REPL и понятный, лаконичный синтаксис, он не является динамическим языком, таким как Python или Ruby. Он имеет статическую типизацию и компилируется в собственный код.
Для количественного анализа языки сценариев более удобны. У вас есть доступ ко многим библиотекам, легко создавать быстрые и грязные сценарии для управления информацией, а создание небольших и средних программ легко даже для непрограммиста.
Для создания алгоритмов и систем, которые фактически участвуют в торговле, вам нужно что-то вроде OCaml. Основными преимуществами OCaml являются его функциональный характер, удобочитаемость (он читает почти так же хорошо, как динамический язык, такой как Python), надежность, но в основном скорость. OCaml намного, намного быстрее, чем думает большинство людей, - это C быстро (на самом деле немного медленнее, чем C, но во много-много раз быстрее, чем динамические языки). OCaml достаточно быстр для создания HFT-системы, чего нельзя сказать ни о Python, ни о Ruby.
Кроме того, имейте в виду, что Джейн Стрит (самый громкий евангелист OCaml) приняла OCaml до того, как Scala и Clojure вышли на сцену.