Есть ли в Liquid Haskell включенная прелюдия?
Есть ли аннотированный вариант или Haskell Prelude для легкой миграции существующих программ, которые вызывают такие функции, как head или же length?
1 ответ
Как обсуждалось в документации LH, вы можете дополнять существующие файлы с помощью .spec файлы, которые дают только спецификации уже существующего кода. Сам LH поставляется с большой прелюдией (см. Папку include), которая включает в себя спецификации для многих общих вещей, в том числе head, length, функции на Data.Set, так далее.