Описание тега liquid-haskell
По вопросам, относящимся к статическому верификатору LiquidHaskell.
LiquidHaskell - это статический верификатор, работающий с языком Haskell.
Сам LiquidHaskell основан на Liquid Types и направлен на то, чтобы помочь писать безопасные для памяти, но также и доказательно правильные программы, позволяя пользователям аннотировать типы с помощью логических ограничений, которые позже могут быть решены с помощью решателей SMT.