An Introduction to Liquid Haskell
This paper is a tutorial introducing the underlying technology and the use of the tool Liquid Haskell, a type-checker for the functional language Haskell that can help programmers to verify non-trivial properties of their programs with a low effort. The first sections introduce the technology of Li...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2017-01-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1701.03320v1 |
| _version_ | 1819209481740877824 |
|---|---|
| author | Ricardo Peña |
| author_facet | Ricardo Peña |
| author_sort | Ricardo Peña |
| collection | DOAJ |
| description | This paper is a tutorial introducing the underlying technology and the use of the tool Liquid Haskell, a type-checker for the functional language Haskell that can help programmers to verify non-trivial properties of their programs with a low effort.
The first sections introduce the technology of Liquid Types by explaining its principles and summarizing how its type inference algorithm manages to prove properties. The remaining sections present a selection of Haskell examples and show the kind of properties that can be proved with the system. |
| first_indexed | 2024-12-23T05:55:58Z |
| format | Article |
| id | doaj.art-47ffcafda3dc462c817166346540e267 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-23T05:55:58Z |
| publishDate | 2017-01-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-47ffcafda3dc462c817166346540e2672022-12-21T17:57:49ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-01-01237Proc. PROLE 2016688010.4204/EPTCS.237.5:17An Introduction to Liquid HaskellRicardo Peña0 Universidad Complutense de Madrid This paper is a tutorial introducing the underlying technology and the use of the tool Liquid Haskell, a type-checker for the functional language Haskell that can help programmers to verify non-trivial properties of their programs with a low effort. The first sections introduce the technology of Liquid Types by explaining its principles and summarizing how its type inference algorithm manages to prove properties. The remaining sections present a selection of Haskell examples and show the kind of properties that can be proved with the system.http://arxiv.org/pdf/1701.03320v1 |
| spellingShingle | Ricardo Peña An Introduction to Liquid Haskell Electronic Proceedings in Theoretical Computer Science |
| title | An Introduction to Liquid Haskell |
| title_full | An Introduction to Liquid Haskell |
| title_fullStr | An Introduction to Liquid Haskell |
| title_full_unstemmed | An Introduction to Liquid Haskell |
| title_short | An Introduction to Liquid Haskell |
| title_sort | introduction to liquid haskell |
| url | http://arxiv.org/pdf/1701.03320v1 |
| work_keys_str_mv | AT ricardopena anintroductiontoliquidhaskell AT ricardopena introductiontoliquidhaskell |