`dhall format` 和 `dhall lint` 之间的区别

Question

第一次玩dhall，看到它支持这两个选项：

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

这两者有什么区别？从在我的示例项目上运行它们来看，它们看起来是一样的。我本以为 linter 在某些方面比格式化更进一步（例如推荐“惯用的”dhall），但找不到任何信息。

Answer 1

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

• 删除未使用的let 绑定
• 合并嵌套的let 绑定以使用多个let 绑定
• 切换旧版List-like Optional 文字以改用Some / None
• 删除 constructors 关键字

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

• 对代码的无争议改进

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

• 自动代码迁移以帮助用户及时了解新的语言功能

  ...比如最后三个改进