# Haskell 还是 SML? 这取决于你的目标,简单对比一下: ## SML (Standard ML) **优点:** - 语言规范小而精确,有正式的形式化语义 - 严格求值(strict evaluation),行为更容易预测 - 非常适合学习函数式编程基础和类型系统理论 - 经典教材多(如《Programming in Standard ML》),很多大学用它教 PL 课程 **