Liquid Haskell启用Prelude吗? 2023年5月10日 343次阅读 是否有一个带注释的变体或 Haskell Prelude可以轻松迁移调用head或length等函数的现有程序? 最佳答案 正如LH 07000中所讨论的,您可以使用.spec文件扩充现有文件,这些文件仅提供现有代码的规范. LH本身带有一个很大的前奏(参见 include文件夹),其中包括许多常见内容的规范,包括头部,长度,Data.Set上的函数等. < 上一篇 下一篇 >