Liquid Haskell启用Prelude吗？

Question

是否有一个带注释的变体或Haskell Prelude可以轻松迁移调用head或length等函数的现有程序？

Answer 1

正如LH 文档中所讨论的，您可以使用.spec文件扩充现有文件， .spec文件仅提供现有代码的规范。 LH本身带有一个很大的前奏（参见include文件夹），其中包括许多常见内容的规范，包括head ， length ， Data.Set函数等。