10

鉴于所有 Agda 程序都会终止，评估策略对指称语义无关紧要，但对性能很重要（如果您曾经运行过 Agda 程序）。

那么，Agda 使用什么评估策略呢？是否使用 codata (♯, ♭) 代替数据更改评估策略？有没有办法强制按需调用又名惰性评估？

4

1 回答 1

11
于 2014-01-19T01:14:21.117 回答