5

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

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

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

4

1 回答 1

6

此处dhall lint列出了改进（在撰写本文时） ，目前包括：

  • 删除未使用let的绑定
  • 合并嵌套let绑定以使用多重let绑定
  • 切换类似 legacyList的Optional文字以使用Some/None代替
  • 删除constructors关键字

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

  • 对代码的无争议改进

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

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

    ...例如最后三个改进

于 2019-01-07T18:55:32.790 回答