Liquid Haskell简介
An Introduction to Liquid Haskell
摘要：
本文是介绍底层技术和工具Liquid Haskell的使用的教程，Liquid Haskell是函数式语言Haskell的类型检查器，可以帮助程序员以较低的工作量验证其程序的非平凡属性。第一部分通过解释其原理并总结其类型推断算法如何证明属性来介绍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 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
