很久没写 TypeScript 了，有点怀念

说起类型体操，不得不提 TypeScript 的类型系统是图灵完备的，理论上可以拿它实现任何逻辑。

当年学 TypeScript 的时候特意写了个编程语言解释器，有兴趣可以玩玩： https://codeberg.org/esolangs/type-unlambda （纯玩具项目，大佬们轻喷）

https://i.imgur.com/wq01UHz.png

Pixel 7 + GrapheneOS 用户路过。曾经在上面用过一小段时间的国产应用，但是有两个问题：

首先，我需要的银行 app 不支持 64 位，完全用不了。但是随着新的硬件逐渐不再支持 32 位，这点或许会有所改善。

其次，我试过的几乎所有国产应用在 GrapheneOS 上都有偶尔的闪退问题，看日志一般是在 libart.so 或 libc.so 出现 segfault 。有意思的是，关闭 memory allocator hardening ，或者直接用 Pixel 原装的系统就不会复现。而且我在使用从 F-Droid 等渠道获取的自由软件时，从来没有遇到这类问题。所以我倾向于这不是 Pixel 或 GrapheneOS 的缺陷，而是那些国产应用的代码中使用了一些“水土不服”的奇技淫巧（或许有懂逆向的大佬可以研究下）。

出于以上原因，我很快就不在 Pixel 上使用国产应用了，而是买了个 iPhone SE 备用机专门做这种事。

最后希望国产应用（特指微信、网银这类和民生息息相关的 app ）变得对用户更友好，甚至更进一步，拥抱自由软件，这样平时使用手机的不便和烦恼会减少许多