0

我有一个用 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, _, _) -> ...
| ... -> ...

是否使解析器花费更多时间?非常感谢

4

0 回答 0