为什么 Union + Intersection 类型下子类型检查不可判定？
"There are no solved problems; there are only problems that are more or less solved." - Henri Poincaré
Product
神笔：在浏览器里造一门给小朋友的编程语言
"The best way to predict the future is to invent it." - Alan Kay
用 OCaml 实现一个嵌入式表达式语言
"A language that doesn't affect the way you think about programming is not worth knowing." - Alan Perlis
为 Google Workspace 插件打造 Webpack 脚手架
"The best tool is the one that disappears into the workflow." - Jef Raskin
PowerSearch：构建可组合的前端高级搜索栏
"The art of being wise is the art of knowing what to overlook." - William James
Schema 驱动表单（下）：表达式引擎与通用 UI 渲染
"Any sufficiently advanced configuration is indistinguishable from code." - Adapted from Arthur C. Clarke
Schema 驱动表单（上）：数据模型与渲染器
"Simplicity is the ultimate sophistication." - Leonardo da Vinci
从零构建分布式异步任务队列：在 Shopee 的实战经验
"The best time to plant a tree was 20 years ago. The second best time is now." - Chinese Proverb
手搓 SSR Server：为 GraphQL 应用构建自定义服务端渲染
"Any sufficiently advanced technology is indistinguishable from magic." - Arthur C. Clarke
用 OCaml 写一个 URL Router：一个有趣的过度工程
"A language that doesn't affect the way you think about programming is not worth knowing." - Alan Perlis