haskell - hlint、hdevtools 和 ghc-mod 之间有什么不同

Question

我正在寻找与 vim 一起使用的代码 lint、类型查询、自动类型插入和杂项帮助程序(如自动完成)。

经过一些研究，我发现了多个类似的工具可以完成我想要的事情

• 提示
• hdev工具
• ghc-mod

主要问题这些基本上都是相同的工具吗？

当我进行一些测试时，我发现只有 ghc-mod 可以开箱即用(对于代码 lint，没有尝试任何 Type-helper 函数)

$ cat test.hs 
main = putStrLn "test"
$ ghc-mod check test.hs 
test.hs:1:1:Warning: Top-level binding with no type signature: main :: IO ()
$ hdevtools check test.hs 
Run from outside a project, using implicit global project config
$ hlint test.hs 
No hints

我需要为hlint和hdevtools制作任何配置文件吗？

$ hdevtools --version
hdevtools: version 0.1.4.1 (ghc-8.0.1-x86_64-linux, cabal-1.24.0.0)
$ hlint --version
HLint v1.9.35, (C) Neil Mitchell 2006-2016
$ ghc-mod --version
ghc-mod version 5.6.0.0 compiled by GHC 8.0.1
$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.0.1

所有工具都是通过stack install安装的，并且我在$PATH中有/home/wizzup/.local/bin

Answer 1

ghc-mod 将名为 ghc-mod 的二进制文件安装到您的 $PATH 中，该二进制文件能够加载和询问您的软件包数据库和源代码代码(还有一个名为 ghc-modi 的“交互式”版本，它从标准输入读取命令并保留)。它使用 GHC 和 Cabal API 来执行此操作。进展一度陷入停滞，但现在又恢复到忙碌的状态。有些 Emacs/Vim/Sublime 软件包知道如何与 ghc-mod 交互，并为最终用户提供各种类似 IDE 的功能:类型检查、漏洞、程序/证明搜索、查找定义。

hdevtools 是一个较新的项目，受到 ghc-mod 的启发。它在架构上是相似的——使用每个编辑器包运行一个持久的后台服务器。它旨在完全取代ghc-mod。 ghc-mod 和 hdevtools 之间的差异似乎是哲学上的。 hdevtools 的 ghc-mod 功能较少，但(根据我的经验)速度要快得多。粗略浏览一下代码库就发现了一些东西:hdevtools 似乎依赖 GHC API 来实现类似 GHCi 的服务器，能够快速重新加载代码。也许这是获得良好表现的关键决定？我确信我过于简单化了。

hlint 非常不同。这是一个古老的项目(由 Haskell 社区长老之一 Neil Mitchell 于 2006 年启动)。它能够检测典型的 Haskell 不良习惯(例如使用 concat .map 而不是 concatMap)，并且在某些情况下，轻轻地重构它们。它依赖于将 Haskell 代码解析为 AST 的 haskell-src-exts。我相信 hlint 甚至不需要对代码库进行完整的类型检查:它可以单独查看抽象语法树来建议更改和声音警报。您通常会选择 ghc-mod 或 hdevtools 并将它们与 hlint 结合使用以获取完整的 Haskell IDE 经验。

我们在这里还应该花时间提及 FP Complete 的 intero 项目，该项目运行 ghci，并且与 hdevtools 类似。然而，只有当您的编辑器是 Emacs 并且您正在使用堆栈时，它才有效。我无法找到关于它与 ghc-mod 或 hdevtools 有何不同的良好文档；有人认为它是为了给 Emacs 用户提供更好的体验，因为您经常会遇到 hdevtools/ghc-mod 由于编译器而顽固地拒绝运行的情况或编辑器包不匹配。借助 intero，您可以使用一小段 Elisp 来启动并运行。

这是一个很大的旧烂摊子!