文章探讨了编程语言的语法和语义。语法是程序结构的规则，语义关注程序的意义和行为。低级语义涉及类型系统的正确性，高级语义关注程序功能的实现。以JavaScript和TypeScript为例，说明语法和语义错误的区别。最后提到语用学，涉及语言的实用性和效率。

本文讨论了大语言模型（LLM）与语言学之间的关系。大型语言模型的开发与语言学领域脱节，但它们的成功重新引发了该领域的争论。大模型在语言生成方面有优势，但在世界知识和语用学方面存在局限性。目前大模型与语言学和人类认知关系不大，但语言学可能会受益于大模型作为语言习得和处理建模的工具。