我可以在需要GHC 8的代碼上使用Liquid Haskell嗎？

我有一個項目，它是用堆棧構建的，需要GHC 8。考慮到它需要GHC 8，可以在我的項目中使用Liquid Haskell嗎？如果是這樣，我應該如何去安裝和執行Liquid Haskell？我可以在需要GHC 8的代碼上使用Liquid Haskell嗎？

謝謝！

來源

2016-12-27 the-konapie

取決於...液體Haskell的頁面上顯示「適度子目前支持的語言*（最近包括monads！...）*「，它告訴我任何使用任何新功能的東西（例如polykinds）幾乎肯定不會被支持。但我聽起來像你期待LH驗證你的依賴關係，而且我並不認爲它是爲此而構建的。這可能仍然可以支持您自己的代碼，具體取決於您使用的功能。無論如何......聽起來你還沒有安裝它？也許從開始玩弄它。 – luqui

是的！你可以 - LH支持GHC現在的8.0.2（不是8.2尚未...）你可以建立/運行這裏的操作說明：

https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md#build-with-stack-recommended

來源

2017-09-06 23:08:12

歡迎訪問解決方案的鏈接，但請確保您的答案在沒有它的情況下很有用：[添加鏈接的上下文]（// meta.stackexchange.com/a/8259），以便您的同行用戶瞭解它是什麼以及爲什麼它在那裏，然後引用您鏈接的頁面中最相關的部分，以防目標頁面不可用。 [僅僅是一個鏈接的答案可能會被刪除。]（// stackoverflow.com/help/deleted-answers） – paper1111

我可以在需要GHC 8的代碼上使用Liquid Haskell嗎？

回答

相關問題