 |
wittyfansV2EX 第 340094 号会员，加入于 2018-08-10 11:14:45 +08:001
 14  80  |
www.scottzhang.pro
wittyfans 最近回复了
16 小时 5 分钟前 回复了 yazinnnn0 创建的主题 › 程序员 › 最早用箭头(->或=>)来代表 lambda 表达式/匿名函数的语言是什么? |
最近学到 lambda 演算，这东西很早就提出来了，比如
TRUE := λa.λb. a
FALSE := λa.λb. b
AND := λp.λq. p q FALSE
OR := λp.λq. p TRUE q
从理论上来说，任何可以用 Lambda 演算定义的函数，都可以由一台图灵机来计算；反之，任何可以由图灵机计算的函数，也都可以用一个 Lambda 表达式来定义。这一等价性证明是理论计算机科学的奠基石。
TRUE := λa.λb. a
FALSE := λa.λb. b
AND := λp.λq. p q FALSE
OR := λp.λq. p TRUE q
从理论上来说，任何可以用 Lambda 演算定义的函数，都可以由一台图灵机来计算；反之，任何可以由图灵机计算的函数，也都可以用一个 Lambda 表达式来定义。这一等价性证明是理论计算机科学的奠基石。
19 天前 回复了 qwqqwq 创建的主题 › 问与答 › 喜欢一个女生的第一感觉是什么？ |
我弟弟知道
这些词其实并没有一个很准确的的定义，本质上就是一些 KOL 的口头禅传播开来了而已，我记得影视飓风就很喜欢说“抽象”这个词，比如他评测的时候说不理解厂商为什么这么设计，就会说“这就很抽象”，但我自己是绝不会这么说的，当对语言的使用，大家都越来越多的误用，那就会增加很多沟通成本。
26 天前 回复了 moudy 创建的主题 › Apple › 看测试，苹果新的 40w 单口 PD3.2 充电头严重虚标啊 |
我就想知道市面上有没有 60w 充电头做到这个大小的？如果有那买这个就没什么意思了，除非对温度要求很高
28 天前 回复了 LazypersonJKing 创建的主题 › Apple › 发现苹果自带的地图真不错，一眼看到路线关键信息 |
高德开静音还是可以的，不然真的一直 bb 吵死了
34 天前 回复了 nah 创建的主题 › iPhone › 如果 Apple 智能将来在中国推出，我在中国购买的 iPhone 系列机型能启用 Apple 智能吗？ |
Apple 智能属于喜欢折腾的人想要的东西，我这天天能用但也很少用，不如 ChatGPT 和 Gemini 。
34 天前 回复了 EVJohn 创建的主题 › Apple › 妈蛋，我今年刚换的 16pro 啊，问下能不能去国外 trade in |
手持 16 Pro 没有换的欲望
34 天前 回复了 erde 创建的主题 › Apple › Airpods Pro3 发布了，降噪提升至 2 倍，续航提升至 8 小时，感觉很值得换？ |
芯片是一样的都是 H2 ，降噪提升应该是算法加设计优化。
耳机不能 trade in ，换就很麻烦。
耳机不能 trade in ，换就很麻烦。
34 天前 回复了 TomasKozey 创建的主题 › Apple › 没想到港版 iPhone 17 Pro 才是最适合我的版本 |
有个问题，现在联通支持 esim 的话，外版手机回国，原有的大陆实体 SIM 卡，能切换成 esim 吗？可以的话，就没必要买实体卡槽的了，得牺牲续航。
Select Language