dhall - `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绑定(bind)

合并嵌套 let绑定(bind)使用多个- let绑定(bind)

切换旧版 List - 像 Optional使用的文字 Some/None而是

删除 constructors关键字

通常，您应该期待 dhall lint改进属于以下两类之一:

对代码的无争议改进

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

自动代码迁移以帮助用户保持最新的语言功能

...例如最后三个改进