Joplin ，手机上用自己写的 https://github.com/ruslin-note/ruslin-android ，Linux 上自己打包 https://aur.archlinux.org/packages/joplin-electron

还是编成 so ，然后参见 https://github.com/mozilla/uniffi-rs

fastmail

@Vitta 计划今年的重点的 Android ，然后是 Linux ，接下来 Windows macOS iOS ，如果做的话应该要等很久很久了。

我可以肯定的说，OP 你可以忽略这个习题，因为作者回复我了，说这是个不重要的习题。我跟随作者给出的一些提示 /答案，总结大概如下（我的理解不一定对）：

首先我可以肯定，这是将自动机（ FA ）相关的问题，前置知识在龙书的第 3.6 小节（不推荐看网上的一些介绍，感觉没有龙书写的详细易懂）。Type Analysis 虽然也是静态分析？但通常提到的静态分析对应的应当是本书后面章节的内容。Type Analysis 应该划分为另一个范畴了吧，我觉得忽略这章看本书更合适一些。

这里一直提到的 language 翻译过来虽然是语言，但我觉得解释为句子 /一段话更贴切一些。比如“很高兴见到你”，这是一段话，也是中文（对应的 language ）。
所以这里说的就是正则语言（表达式），只不过不是平常理解的正则表达式，而是更通用的概念。即符合某种正确规则的具体描述语言（一段话）。

抱歉，我没有继续把龙书的 3.7-3.9 看了，这几节应该是讲 FA 的应用部分。Ex 3.3 也**只是说怎么把定义的各种类型画成对应的 FA**，至于啥用，我不知道。作者回我的图片很模糊，感觉不是标准的 FA 。（抱歉，我不能直接贴这张图，因为我忘记了要一份授权，但我基于自己的理解重新画一遍应该没问题吧。）

OP 你把 3.6 小节看了之后，应该就可以了解底下的内容（如果没有，那一定是我转述 /理解的不对）。

画出来的 FA 如图：
https://i.imgur.com/G84Jhvv.png

有些字符我还不知道怎么打出来，就平替一下。这里 FA 用来判断能否接受一个描述对应类型的语言。
一些设定：
- 虚线圈似乎表示这里可以自由发挥 /匹配，什么类型都可以接受
- 1 、2 、3 数字用来表示状态转换的顺序 /参数？，当遇到一个 TypeVar （ t ）时候，回到初始状态按照数字顺序匹配
- ut.(&int, t)->int 中的 t 是受限（递归的）的，t 必须满足自身的 (&int, t)->int 类型，这种时候可以回到初始状态接着匹配

所以图中的 FA 可以接受 ut.(&int, t)->int ，首先匹配参数 1 ，&int 成功，然后参数 2 是 t 回到开始状态，参数 3 直接一个 int 结束。

恭喜 OP

这刚好是我今年计划看的一本书，我试着把这块的看了，上箭头 int 就是指 int 的指针类型。
但 Exercise 3.3 我也看不明白要说啥。 似乎是说 TypeVar 这种 regular type （大概是说符合书中描述的规则的类型？）里面的 t 是不确定的，然后设计一个状态机可以用来判断两个类型是否相同？（不懂）
不过我重新翻了一下之前的版本，Types 这个章节就是一页带过，至少对我来说，这一章不是静态分析的关键内容。跳过这一章看后面的应该没啥问题。如果是我，我选择跳过不懂的这部分。

pdf 倒是我最喜欢的一种格式了，高保真&可离线。也可以跳转的，取决于作者写不写吧。我看 spa 这本又不少可以跳转的地方。或者是 OP 下载地址不对？ https://cs.au.dk/~amoeller/spa/

除了跳过，还可以直接问作者呀。我发了邮件，不过还没回复我。

同求，从 KDE -> Gnome -> Hyprland ，刚把 Hyprland 差不多配置好。
我都是从上面提到的 unixporn 挑选的已有配置作为基础修改。

cty 中的 `c_long`？

你不能在泛型 A 中返回一个具体的类型，如果用的时候是 `ImplT2<ImplTX>` 会导致期望返回 `ImplTX` 而实际返回 `ImplT1`，这不符合约定。（这里不是 Java ，更没有继承）。

感觉 op 想可以在不同场景下，切换 T1 和 T2 的实现，不知道 https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=c63c18f4708f830a22130e5e2297b42d 能不能满足？

联想 Yoga 14s Pro ？ AMD 6800HS 版本
评测： https://www.bilibili.com/video/BV1Xg411Y7XY/，6599 就是太贵了，我还是用的小新

虽然我是前端，但去年看的《 Designing Data-Intensive Applications 》写得很有意思。（事实上我可能更推荐的是 https://tai-e.pascal-lab.net/lectures.html 课程）

@yyws2012 当时看项目有完整的源码，就自己加上 wireguard 跑了一把，我试试看 fcitx5 ，microg 我用过一段时间，总能出现奇怪的崩溃就没再关注了（应该是和 lineageos 的兼容不太好）

我用的就是 NUC12 ，然后 PVE 加 Arch

你这让我日常用 Arch 的怎么答，一台破机器就可以流畅跑 Gnome/KDE 进行各种开发了。

wallabag / zotero ?

看起来是 panic 之类会记录当前的一些信息，不知道转成 abort 有没有帮助？