@yangwcool #1 可以来试试 https://github.com/ruslin-note/ruslin-android ，启动速度和编辑性能应该都比官方的 RN 版本快很多（不过编辑性能受到 Compose Text 实现，在文本巨长的情况下会卡顿）。PC 版我也在慢慢慢慢迭代了，能有三个版本：electron 、qt6 和 gtk 。

@txx #19 从 R23 上看对比 M1 跑分已经翻倍了（要不关几个核心？）（我还在考虑的另一款是 GPD Win Max 2 7840U 版，到家开主机，这个做个轻厚全能本我觉得也还行

@zhoushengyue #18 这个体验太短了，看了中正评测感觉还行，合格的干活本，不知道笔吧评测室会不会更新。

这款机械革命无界 14+锐龙版(R7-7840HS 16G 1T 2.8K 120Hz 高色域)？我正在考虑要不要换

直接暴露 RDP 端口到公网？那还是建议用 Wireguard ，可以试试 https://github.com/DianQK/magisk-wireguard-auto-connect 使用内核的 wg （ magisk/kernelsu 都可用），我还搭配了 clash tproxy 版本，二者就可以共存了。

确实，造个新的好了，https://github.com/ruslin-note 我就正在写呢。

ntfy 似乎是支持持续响起铃声的，可以试试改进 https://github.com/DianQK/unseenmail ，我试了下 gmail 也可以用 imap （但是好像检查未读邮件功能不正常）

@bfdh #116 Android 版比较卡，UI 也很旧了。Linux 是我切换到了使用 Arch 的通用的 electron 可以节约一下磁盘空间，我加了额外的 patch 可以在 wayland 下使用输入法。

@yzwduck #13 我用的 Hyprland ，缩放好像没什么问题，我试过 1.8x 笔记本搭配 1080@1x 的使用，另一台单独的是 [email protected] 。不过多屏我还没搞明白怎么用的方便。已知的一个问题 xwayland + jb 系的弹窗课本看不到（不知道和我用的是不是 hidpi patch 有关）。我试了 android-studio-canary 倒是还行能用。

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 能不能满足？