精益4懒还是严格？
精益4是一种纯粹的功能编程语言，但是它是懒惰（例如Haskell）还是严格（如Idris），这有什么含义？有没有办法选择（或选择退出）懒惰？
Lean 4 is a purely functional programming language, but is it lazy (like Haskell) or strict (like Idris) and what are the implications of this? Is there a way to opt-in (or opt-out) of laziness?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
精益4是像Idris这样的严格语言。
Lean 4 is a strict language like Idris.