“`dhall”和“`dhall”的区别

Question

我第一次看到dhall支持以下两个选项：

  ./dhall --help
  ...
  lint                     Improve Dhall code
  format                   Formatter for the Dhall language

这两者有什么区别？从在我的示例项目上运行它们看上去，它们似乎是相同的。我本以为linter在某些方面会比格式化更深入(例如推荐“习惯”dhall)，但却找不到任何信息。

Answer 1

dhall lint所做的改进(在撰写本文时)列出了这里，目前包括：

• 删除未使用的let绑定
• 将嵌套的let绑定合并为使用多let绑定
• 将遗留的List-like Optional文本转换为使用Some / None
• 删除constructors关键字

通常，您应该期望dhall lint改进可以分为两类：

• 对代码的无争议的改进 ..。例如，删除未使用的let绑定的第一个改进。
• 自动代码迁移，以帮助用户保持更新的语言特性 ..。比如最近的三次改进