cordea 最近的时间轴更新 cordea 最近的时间轴更新 |
cordeaV2EX 第 380919 号会员，加入于 2019-01-29 23:01:29 +08:00今日活跃度排名 19389 |
cordea 最近回复了
56 天前 回复了 cordea 创建的主题 › 拼车 › Microsoft 365（Office 365）拼车 一车位 40 元/年 |
顶一顶，车位还在
191 天前 回复了 wangzaiSummer 创建的主题 › 阅读 › 请教一下大家在阅读官方英文技术文档时，会翻译成中文做笔记吗？ |
原文用什么语言，做笔记用什么语言
当然大部分情况下不做笔记
当然大部分情况下不做笔记
336 天前 回复了 marin11 创建的主题 › 程序员 › 一些关于 Python 编程的疑惑 |
类似.ipynb 的这种东西并不是 python 独有，支持 repl 的语言都能做到类似的事，像 commonlisp 这种语言甚至就是鼓励你用 repl 来写到哪里执行到哪里。
再说 debug ，debug 是一种最后的手段，在理想情况下，潜在的错误应该在执行程序前就被发现。而找到程序执行结果与期望不一致的原因并不一定要通过“实际去运行程序”来完成。类似于 haskll ，idris 这样的语言，能够在类型层面确保程序的一致性，使用这样的语言很少需要依赖 debug 这种最后的手段。
以楼主的例子来说，模型输入 size 和特征量 size 不符，如果编程语言支持依赖类型之类的高级特性，会直接在运行前就提示你类型不符，就像往一个只接受 int 的函数里传入 string 一样。
而对于更一般的语言，比如 cpp ，由于设计上的取舍，类型系统的缺陷等等，则不得不依赖 debug 或者程序员的经验来找出错误。
再说 debug ，debug 是一种最后的手段，在理想情况下，潜在的错误应该在执行程序前就被发现。而找到程序执行结果与期望不一致的原因并不一定要通过“实际去运行程序”来完成。类似于 haskll ，idris 这样的语言，能够在类型层面确保程序的一致性，使用这样的语言很少需要依赖 debug 这种最后的手段。
以楼主的例子来说，模型输入 size 和特征量 size 不符，如果编程语言支持依赖类型之类的高级特性，会直接在运行前就提示你类型不符，就像往一个只接受 int 的函数里传入 string 一样。
而对于更一般的语言，比如 cpp ，由于设计上的取舍，类型系统的缺陷等等，则不得不依赖 debug 或者程序员的经验来找出错误。
2023-05-09 12:25:25 +08:00 回复了 clemente0620 创建的主题 › 程序员 › 有人关注 Mojo 吗 貌似是很有潜力的一个新语言 |
宣传内容太过美好以至于让人怀疑是不是真的，V 语言当年也是吹上天但是现在...
当然 V 语言也没大佬背书就是了
当然 V 语言也没大佬背书就是了
2022-01-09 18:14:31 +08:00 回复了 LoneFireBlossom 创建的主题 › macOS › 如果你不想天天被 bug 气到，就不要买 Mac |
点进帖子看看第几楼出现围软救果，没想到 2 楼就是，心满意足地离开
Select Language