我有一个用 OCaml 编写的解析器函数,然后我有一个输入文件是 .xsd,输出是 Coq 格式。
我用两个不同的输入()测试了我的解析器.xsd
,一个有60.2KB
大小,另一个有121.0KB
(大小)。我曾经time
返回运行时间,结果如下:
xsd60.2KB
需要:user: 0m2.792s
xsd121.0KB
需要:user : 0m37.838s
很明显,时间取决于输入文件的大小。
我有一个愚蠢的问题只是想确保运行时间确实取决于输入文件的大小?
在我的解析函数中,我使用了很多具有结构的函数,例如:
let genr_type b = function
| Elt (n, Some t, _, _) -> ...
| Group (n, Some t, _, _) -> ...
| ... -> ...
是否使解析器花费更多时间?非常感谢