之前尝试过用纯 type 实现 Lua 虚拟机，只能说这玩意全是难点。
举个简单的例子，纯 type 实现 通用的整数加法运算：

// 创建长度为 N 的元组类型
type BuildTuple<N extends number, R extends unknown[] = []> =
R['length'] extends N
? R
: BuildTuple<N, [...R, unknown]>;

// 通过元组长度实现加法
type Add<A extends number, B extends number> =
[...BuildTuple<A>, ...BuildTuple<B>]['length'];

但这玩意最多只能算到 45 ，因为 ts 类型系统有递归限制，默认的类型递归深度限制是 50 。
要突破这个限制就只有把整数转为二进制数组，再从二进制数组转回整数。

这样的限制存在方方面面... 所以这老哥真是神人了。