是否有带注释的变体或 Haskell Prelude 可用于轻松迁移调用 head 或 length 等函数的现有程序？
最佳答案
如 LH Documentation 中所述，您可以使用仅提供现有代码规范的 .spec 文件来扩充现有文件。 LH 本身附带了一个很大的前奏(请参阅 include 文件夹)，其中包括许多常见内容的规范，包括 head、length、Data 上的函数。设置等
关于haskell - 有 Liquid Haskell 启用的 Prelude 吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/35117590/