V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  dianqk  ›  全部回复第 3 页 / 共 15 页
回复总数  289
1  2  3  4  5  6  7  8  9  10 ... 15  
2023 年 5 月 8 日
回复了 gpt5 创建的主题 问与答 诸位是如何打造个人知识库的? wiki 还是笔记软件?
2023 年 4 月 17 日
回复了 horou 创建的主题 程序员 Rust 怎么方便的与 Android 交互
还是编成 so ,然后参见 https://github.com/mozilla/uniffi-rs
fastmail
2023 年 3 月 23 日
回复了 dianqk 创建的主题 Linux [AUR] 打包了一个在 Wayland 下支持 Fcitx5 的 joplin-election
@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 结束。
2023 年 3 月 23 日
回复了 hahahabro 创建的主题 问与答 今天终于给 Chromium 合并了代码,开心
恭喜 OP
这刚好是我今年计划看的一本书,我试着把这块的看了,上箭头 int 就是指 int 的指针类型。
但 Exercise 3.3 我也看不明白要说啥。 似乎是说 TypeVar 这种 regular type (大概是说符合书中描述的规则的类型?)里面的 t 是不确定的,然后设计一个状态机可以用来判断两个类型是否相同?(不懂)
不过我重新翻了一下之前的版本,Types 这个章节就是一页带过,至少对我来说,这一章不是静态分析的关键内容。跳过这一章看后面的应该没啥问题。如果是我,我选择跳过不懂的这部分。

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

除了跳过,还可以直接问作者呀。我发了邮件,不过还没回复我。
2023 年 3 月 15 日
回复了 KimJungWha 创建的主题 Linux 请教 Linux 用户的 DE/WM 配置细节问题
同求,从 KDE -> Gnome -> Hyprland ,刚把 Hyprland 差不多配置好。
我都是从上面提到的 unixporn 挑选的已有配置作为基础修改。
cty 中的 `c_long`?
2023 年 1 月 31 日
回复了 istomyang 创建的主题 Rust 小白: Rust 一个编译问题。
你不能在泛型 A 中返回一个具体的类型,如果用的时候是 `ImplT2<ImplTX>` 会导致期望返回 `ImplTX` 而实际返回 `ImplT1`,这不符合约定。(这里不是 Java ,更没有继承)。

感觉 op 想可以在不同场景下,切换 T1 和 T2 的实现,不知道 https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=c63c18f4708f830a22130e5e2297b42d 能不能满足?
2023 年 1 月 31 日
回复了 KMpAn8Obw1QhPoEP 创建的主题 问与答 有没有综合体验能跟 MBA M1 差不多的 Linux 笔记本
联想 Yoga 14s Pro ? AMD 6800HS 版本
评测: https://www.bilibili.com/video/BV1Xg411Y7XY/,6599 就是太贵了,我还是用的小新
2023 年 1 月 29 日
回复了 acctv2 创建的主题 程序员 推荐一篇 2022 年你看过最好的一本技术书籍/技术文章?
虽然我是前端,但去年看的《 Designing Data-Intensive Applications 》写得很有意思。(事实上我可能更推荐的是 https://tai-e.pascal-lab.net/lectures.html 课程)
2023 年 1 月 25 日
回复了 dianqk 创建的主题 Linux 我的 Arch Linux 和 LineageOS 使用心得
@yyws2012 当时看项目有完整的源码,就自己加上 wireguard 跑了一把,我试试看 fcitx5 ,microg 我用过一段时间,总能出现奇怪的崩溃就没再关注了(应该是和 lineageos 的兼容不太好)
我用的就是 NUC12 ,然后 PVE 加 Arch
2022 年 12 月 27 日
回复了 xibidix 创建的主题 问与答 求个 V2EX 华为手机客户端
2022 年 12 月 9 日
回复了 likre 创建的主题 程序员 为什么你不用 Linux 当桌面?
你这让我日常用 Arch 的怎么答,一台破机器就可以流畅跑 Gnome/KDE 进行各种开发了。
wallabag / zotero ?
2022 年 11 月 21 日
回复了 horou 创建的主题 Rust Rust 编译 Wasm 文本格式的问题
看起来是 panic 之类会记录当前的一些信息,不知道转成 abort 有没有帮助?
2022 年 11 月 18 日
回复了 linuxgo 创建的主题 Linux Linux 系统做备份该怎么做
1  2  3  4  5  6  7  8  9  10 ... 15  
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   4810 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 44ms · UTC 02:43 · PVG 10:43 · LAX 18:43 · JFK 21:43
♥ Do have faith in what you're doing.