总结

语法和语义是学习编程语言的强大范式。当我们学习 OCaml 的特性时，我们会仔细记录它们的语法和语义。我们已经看到，可以有多种语法来表达相同的语义概念，也就是说，相同的计算。

函数应用的语义是 OCaml 和函数式编程的核心，我们将在课程中多次回顾这一点，以加深我们的理解。