Инструменты для профилирования кода OCaml

Кто-нибудь знает о программах для профилирования кода OCaml, кроме использования параметра -p во время компиляции и последующего использования gprof? Я задаю этот вопрос, чтобы проверить, можно ли дополнительно уменьшить время выборки на 0,01 секунды?

15
задан Pascal Cuoq 8 February 2012 в 14:16
поделиться