Kotlin sealed interface配合when表达式实现穷举式匹配 使用 sealed interface 与 when 表达式配合，可以在编译期强制处理所有可能的情况
Rust 泛型：<T 类型参数与 trait 泛型让同一套代码适配多种数据类型。<T 是类型占位符，trait（中文常称“特征”，即规定类型必须具备的一组方法）是行为契约。按以下步
Dart 类型推断：var 与 dynamic Dart 是一种类型安全的语言，支持静态类型检查。但在日常开发中，你可能会看到两种写法：用 var 声明变量，或用 dynamic
C++模板元编程实现编译期类型检查 C++模板元编程（Template Metaprogramming, TMP）允许你在编译阶段执行逻辑判断和计算，从而在代码还未运行时就完成类型
