【资料图】

haskell 是惰性的。

函数在真正需要结果以前不会被求值。再加上引用透明，你就可以把程序仅看作是数据的一系列变形。

惰性语言中的计算只是一组初始数据和变换公式。

haskell 是静态类型的。很大一部分错误都可以在编译时被发现，若试图将一个数字和字符串相加，编译器就会报错。

haskell 拥有一套强大的类型系统，支持自动类型推导。这一来你就不需要在每段代码上都标明它的类型，像计算 a=5+4，你就不需另告诉编译器“a 是一个数值”，它可以自己推导出来。类型推导可以让你的程序更加简练。假设有个二元函数是将两个数值相加，你就无需声明其类型，这个函数可以对一切可以相加的值进行计算。

haskell 采纳了很多高级概念，因而它的代码优雅且简练。与同层次的命令式语言相比，haskell 的代码往往会更短，更短就意味着更容易理解，bug 也就更少。

本文化学公式编辑器（有机化学公式编辑器）到此分享完毕，希望对大家有所帮助。

关键词：