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

Question

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

Answer 1

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