Difference between revisions of "Liquid Haskell"
Jump to navigation
Jump to search
(initial version) |
(Update links) Tag: visualeditor-switched |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | Liquid Haskell allows to annotate code with |
+ | Liquid Haskell allows to annotate code with specifications |
| − | that complement the |
+ | that complement the validation imposed by the types. |
| − | These |
+ | These specifications are checked with an SMT solver. |
| − | + | They can check for non-negative numbers, sorted lists, matching lengths of lists, membership of certain elements in a <hask>Set</hask> or <hask>Map</hask>, and [https://ucsd-progsys.github.io/liquidhaskell/papers/ more]. |
|
| + | |||
| + | * [https://ucsd-progsys.github.io/liquidhaskell/ Documentation] |
||
| + | * [https://github.com/ucsd-progsys/liquidhaskell/ GitHub] |
||
* Hackage: {{HackagePackage|id=liquidhaskell}} |
* Hackage: {{HackagePackage|id=liquidhaskell}} |
||
| − | * Homepage: http://goto.ucsd.edu/liquidhaskell |
||
== See also == |
== See also == |
||
* [[Catch]] |
* [[Catch]] |
||
| − | * [[ESC]] |
+ | * [[Extended_Static_Checking|ESC]] |
[[Category:Development tools]] |
[[Category:Development tools]] |
||
Latest revision as of 13:58, 16 July 2023
Liquid Haskell allows to annotate code with specifications
that complement the validation imposed by the types.
These specifications are checked with an SMT solver.
They can check for non-negative numbers, sorted lists, matching lengths of lists, membership of certain elements in a Set or Map, and more.
- Documentation
- GitHub
- Hackage: liquidhaskell