Question

我正在使用我的程序中的类型进行原型设计和混乱，每当我想进行类型检查时，我目前都使用ghc --make。但是，此命令还花费时间编译和链接我不需要的实际可执行文件。是否有一些我可以传递给ghc的旗帜告诉它只进行类型检查？

Answer 1

将-fno-code标志传递给ghc将满足您的需求。

$ ghc -fno-code myfile.hs

Answer 2

GHCi将对您的代码进行类型检查并进行编译，但即使使用-O0，通常也会比GHC快得多。如果这还不够，还有为此目的而存在的hdevtools和ghc-mod等程序 - 它们通常意味着与文本编辑器集成，但也可以单独使用。

（另一个可能只使用常规编译器加快速度的选项是-S，它在生成汇编后停止而不进行汇编或链接。）