精益4是一种纯粹的函数式编程语言,但是它是懒惰的(像Haskell)还是严格的(比如Idris),这意味着什么?是否有办法选择懒惰(或选择退出)?
发布于 2022-05-10 21:12:39
精益4和Idris一样是一种严格的语言。
https://stackoverflow.com/questions/71868434
相似问题