Модуль Таймер - это то, что вам нужно.Он может дать вам время процессора (дает вам время пользователя, sys и gc) или время настенных часов.
Пример того, как его использовать, см. В модуле MyLib Benchmark .
Что касается определения объема памяти, используемого вашими алгоритмами, вы можете связать функцию profiling в MLton.Однако обратите внимание, что я на самом деле никогда не использовал это, но заявляет , что:
вы можете профилировать свою программу, чтобы узнать, сколько байтов выделяет каждая функция.