yxd19 最近的时间轴更新
yxd19

yxd19

V2EX 第 627273 号会员,加入于 2023-05-05 16:02:17 +08:00
yxd19 最近回复了
91 天前
回复了 dumbbell5kg 创建的主题 程序员 一个逻辑直觉的问题
@geelaw 我大概明白了,你之前说“不能推断任何事情”是说“编译器不能推断任何事情”吗?这样的话,针对你的三个点,编译器可以知道 complete 和 close 相不相等;有可能是提醒“x.getProcessStatus() != complete || x.getProcessStatus() != close”恒为真因此跟 scopes 是否非空没关系;倒是认为两次 getProcessStatus()结果一样确实比较武断。但这里输出的应该是个 info 啊 note 之类的,所以可能宁滥勿缺?我也不知道是啥语言。
91 天前
回复了 dumbbell5kg 创建的主题 程序员 一个逻辑直觉的问题
@geelaw 是在聊形式逻辑,可是不添加足够多的前提假设怎么聊形式逻辑呀。比如要讨论“去买一斤橘子,如果有西瓜就买一个”这句话的逻辑,当然要首先靠常识(“编程最佳实践”)把这个不严密的说法改写成(相对)严密的说法(去买一斤橘子;如果有西瓜就买一个西瓜),来显露出形式逻辑,然后把重点放到逻辑上,而不是宣称这句话可能有两种不同的理解方式啊。

我想你也知道 lz 只不过是突然发现「天不是甲或天不是乙」恒为真这件事,你当然可以认为这件事是初等的、没啥可讨论的,但是也没必要把讨论拉到 lz 在这个帖子中并不关注的另一部分。这对于其他人理解 lz 的重点没啥好处。
上次自己换 led 灯盘 还是很有成就感的。新时代换灯泡。
91 天前
回复了 dumbbell5kg 创建的主题 程序员 一个逻辑直觉的问题
@geelaw
1. 如果有人写了一个叫 getProcessStatus 的带副作用的函数,你可以打他。
2. 如果有人写了两个相等的叫 complete 和 close 的常量,你可以打他。
3. 如果有人用 xs.anyMatch(x -> true)判断 xs 是否为空,你可以打他。
@hccsoul 别说了 太恐怖了
115 天前
回复了 poseidOn7246 创建的主题 跑步 请教各位想无伤跑步需要怎么做?
@poseidOn7246 这大概已经消化完了吧。
115 天前
回复了 poseidOn7246 创建的主题 跑步 请教各位想无伤跑步需要怎么做?
我 2 月份开始跑步,开始的时候可能 bmi 比你低一些也差不多。同样建议不要患得患失,跑姿热身呼吸啥的都不重要,坚持跑下去最重要。岔气不知道是不是跑前吃东西没消化。岔气一般问题不大,咬牙坚持就可以。没事可以上 b 站看看黑影儿 TV 打打鸡血吃吃定心丸。跑就完了。
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   3200 人在线   最高记录 6543   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 12ms · UTC 10:52 · PVG 18:52 · LAX 03:52 · JFK 06:52
Developed with CodeLauncher
♥ Do have faith in what you're doing.