29、函数式编程语言开发与SML/NJ使用指南

函数式编程语言开发与SML/NJ使用指南

1. 函数式编程语言概述

如今，使用函数式编程语言开发实际应用程序是可行的，它们具有诸如更高的生产力和可靠性等特殊优势。除常见的语言外，还有一些值得关注的选择。

例如，某些语言在图形和数据库方面有良好的接口支持。它具备与Tk、Gtk +和OpenGL的图形接口，以及与PostgreSQL和MySQL数据库的接口。

另外，Haskell是惰性函数式语言领域的一个替代方案。它可以编译成机器代码，但由于其惰性求值，运行速度往往比SML/NJ慢。不过，它在基础设施支持方面表现出色，尤其是在Microsoft Windows系统上编程时。Haskell支持COM和CORBA，在图形方面有Tk和Gtk +接口，数据库方面有PostgreSQL和MySQL接口，在Windows上还支持ODBC。

常见的一些语言也存在各自的问题，例如Lisp运行速度慢，尽管多年来已有优化编译器；Ada体积庞大且臃肿；C语言虽能进行底层编程，但它20世纪70年代的机器模型已不太适合现代计算机。

2. 学习SML资源

学习SML，特别是SML/NJ，可以借助以下资源，这些资源在新泽西标准ML主页上有相关链接。
-书籍：
- 《ML for the Working Programmer》：针对有经验的程序员，主要的编程示例是一个简单的数学定理证明器，基于作者在Isabelle定理证明器的经验。书中还会涉及lambda演算和编程形式推理等高级主题。
- 《Elements of ML Programming》：是SML编程的入门书籍，假设读者没有函数式编程