haskell - 是否有已启用Liquid Haskell的Prelude？

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

最佳答案

如LH Documentation中所述，您可以使用.spec文件扩展现有文件，这些文件仅给出已经存在的代码的规范。 LH本身带有一个很大的前奏(请参阅include文件夹)，其中包含许多常见内容的规范，包括head，length，Data.Set上的函数等。