语言类教材

操作系统与高性能计算的底座，指针和手动内存管理是绕不开的基本功。

在 C 之上加了类、模板与 STL，游戏引擎、数据库、量化交易的主力语言。

用所有权和借用检查在编译期消灭内存错误，性能对标 C++ 却不需要 GC。

Swift 之前的苹果开发语言，方括号消息语法很有辨识度，老项目维护仍会遇到。

把函数式与面向对象揉在 JVM 上，大数据框架 Spark 就是用它写的。

文本处理与正则的老牌王者，运维脚本里至今随处可见，写法极其自由。

写起来像 Python、跑起来接近 C 的科学计算语言，多重派发是它的灵魂。

纯函数式语言的标杆，惰性求值与类型系统会彻底改变你写代码的思路。

跑在 Erlang 虚拟机上的现代函数式语言，天生擅长高并发与容错服务。

为电信级不停机系统设计的语言，轻量进程与「让它崩溃」哲学影响深远。

JVM 上的现代 Lisp，默认不可变数据结构，处理并发时省心得多。

Clojure 的进阶篇：用宏在编译期改写代码，体会 Lisp 同像性的威力。

多范式的经典 Lisp 方言，宏系统与 CLOS 对象模型至今仍是很多语言抄袭的对象。

Emacs 的配置与扩展语言，学会它才算真正拿到这个编辑器的全部权限。

Scheme 家族里最能折腾的一支，常被用来做语言设计与程序设计教学。

带完整类型推断的函数式语言，模式匹配与代数数据类型的经典范本。

.NET 平台上的函数式语言，能直接调用全部 C# 类库，两种范式随手切换。

语法几乎照搬 Ruby，却是静态类型编译执行，写着舒服跑得也快。

缩进语法像 Python，编译成 C 后性能接近原生，元编程能力很强。

华为为鸿蒙生态推出的静态类型语言，C 系语法外壳加上现代的类型与并发设计。

写以太坊智能合约的语言，代码一旦上链就改不了，安全细节比语法更要命。

承袭 REBOL 的全栈语言，从底层系统到图形界面用同一套语法搞定。

Mathematica 背后的语言，擅长符号计算，内置知识库能直接查现实世界的数据。

1950 年代诞生的数值计算语言，气象、核物理等超算领域至今仍在服役。

面向商业事务的老语言，银行与保险的核心账务系统里还在跑着大量 COBOL。

CoffeeScript 的函数式表亲，管道、柯里化这些写法都是语言内置的。

计算机组成原理课上最常用的 RISC 汇编，寄存器与指令集都极其规整。

学术排版的事实标准，公式、参考文献和图表编号都交给它自动处理。