“ dhall format”和“ dhall lint”之间的区别

Question

我第一次玩dhall时，它支持以下两个选项：

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

两者之间有什么区别？通过在我的示例项目上运行它们，它们看起来像是同一件事。我本来希望linter可以在某些方面比格式化更进一步（例如，推荐“惯用的” dhall），但找不到任何信息。

Answer 1

（在撰写本文时）here列出了dhall lint所做的改进，目前包括：

• 删除未使用的let绑定
• 合并嵌套的let绑定以使用多重let绑定
• 将类似List的传统Optional文字切换为使用Some / None
• 删除constructors关键字

通常，您应该期望dhall lint的改进属于以下两类之一：

• 对代码的无争议改进

  ...例如删除未使用的let绑定的第一个改进

• 自动代码迁移可帮助用户了解最新的语言功能

  ...例如最近的三项改进