全部TypeScriptRustGoPythonSQLZig架构

TypeScript20 小时后公开

判别联合：让非法状态无法表示

TypeScript 最有用的技巧不是 any 的对立面，而是把运行时才会炸的分支，提前写成编译器能穷尽的类型。

2026年9月12日4 分钟002

Rust

所有权：借用检查器到底在查什么

Rust 的报错看起来像在跟你吵架。把它翻译成人话之后，它其实只问两个问题：这块内存谁说了算，以及引用能活多久。

2026年9月8日3 分钟000

Go

select：一个 goroutine 如何同时等很多件事

Go 的并发模型不是「多开几个线程」。核心原语其实是：channel 传递所有权，select 决定此刻听谁。

2026年9月2日3 分钟000

Python会员专享

Protocol：鸭子类型也可以有接口

Python 的类型提示不消灭动态性。Protocol 只是把「长得像文件的东西」写成静态可检查的形状。

2026年8月26日3 分钟000

SQL

索引不是魔法：一次 PostgreSQL 的 EXPLAIN

慢查询很少死在 SQL 写得不够炫。它们死在规划器只能顺序扫表，而你以为主键能保佑所有 WHERE。

2026年8月18日3 分钟000