$ 0 0 还是觉得 time 命令的输出结果太抽象了,=>> time clj -i a.clj 1 real 0m1.258s user 0m2.157s sys 0m0.147s 有没有更好的命令可以用?