Haskell是一种功能性语言（也就是说，所有的事情都是通过函数调用完成的），静态的、隐式的类型（类型由编译器检查，但你不需要声明它们），懒惰的（在需要之前什么都不做）语言。
ShellCheck，一个针对shell脚本的静态分析工具
Dockerfile linter，验证内联bash，用Haskell写。