我可以在需要GHC 8的代码上使用Liquid Haskell吗？
问题描述：
我有一个项目，它是用堆栈构建的，需要GHC 8。考虑到它需要GHC 8，可以在我的项目中使用Liquid Haskell吗？如果是这样，我应该如何去安装和执行Liquid Haskell？我可以在需要GHC 8的代码上使用Liquid Haskell吗？
谢谢！
答
是的！你可以 - LH支持GHC现在的8.0.2（不是8.2尚未...）你可以建立/运行这里的操作说明：
https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md#build-with-stack-recommended
+0
欢迎访问解决方案的链接，但请确保您的答案在没有它的情况下很有用：[添加链接的上下文]（// meta.stackexchange.com/a/8259），以便您的同行用户了解它是什么以及为什么它在那里，然后引用您链接的页面中最相关的部分，以防目标页面不可用。 [仅仅是一个链接的答案可能会被删除。]（// *.com/help/deleted-answers） – paper1111
取决于...液体Haskell的页面上显示“适度子目前支持的语言*（最近包括monads！...）*“，它告诉我任何使用任何新功能的东西（例如polykinds）几乎肯定不会被支持。但我听起来像你期待LH验证你的依赖关系，而且我并不认为它是为此而构建的。这可能仍然可以支持您自己的代码，具体取决于您使用的功能。无论如何......听起来你还没有安装它？也许从开始玩弄它。 – luqui