Разница между `dhall format` и` dhall lint`

Question

Играя с dhall, я впервые увидел, что он поддерживает следующие два параметра:

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

Какая разница между этими двумя? От запуска их на моем примере проекта кажется, что они одно и то же. Я ожидал, что линтер пойдет дальше, чем форматирование, в некоторых отношениях (например, порекомендовал бы «идиоматический» dhall), но не смог бы найти никакой информации о нем.

Answer 1

Улучшения dhall lint действительно (на момент написания этой статьи) перечислены здесь и в настоящее время состоят из:

• удаление неиспользованных let привязок
• объединение вложенных let привязок для использования множественной let привязки
• переключение устаревших List -подобных Optional литералов для использования Some / None вместо
• удаление ключевого слова constructors

Как правило, следует ожидать, что улучшения dhall lint попадут в одну из двух категорий:

• Бесспорные улучшения кода

  ... например, первое улучшение для удаления неиспользованных let привязок

• Автоматическая миграция кода, чтобы помочь пользователям быть в курсе новых возможностей языка

  ... например, три последних улучшения