C++:生命周期、编程范式
C++:常量、类型推导、异常
C++:智能指针、函数式编程
OCaml:数据 / 控制结构、函数
OCaml:高阶函数、模块、异常
OCaml:排序、队列
OCaml:函子、单子