cordea 最近的时间轴更新 cordea 最近的时间轴更新 |
cordeaV2EX 第 380919 号会员，加入于 2019-01-29 23:01:29 +08:00 |
cordea 最近回复了
2023 年 10 月 31 日 回复了 wangzaiSummer 创建的主题 › 阅读 › 请教一下大家在阅读官方英文技术文档时，会翻译成中文做笔记吗？ |
原文用什么语言，做笔记用什么语言
当然大部分情况下不做笔记
当然大部分情况下不做笔记
2023 年 6 月 8 日 回复了 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 年 5 月 9 日 回复了 clemente0620 创建的主题 › 程序员 › 有人关注 Mojo 吗 貌似是很有潜力的一个新语言 |
宣传内容太过美好以至于让人怀疑是不是真的，V 语言当年也是吹上天但是现在...
当然 V 语言也没大佬背书就是了
当然 V 语言也没大佬背书就是了
2022 年 1 月 9 日 回复了 OumaeKumiko 创建的主题 › macOS › 如果你不想天天被 bug 气到，就不要买 Mac |
点进帖子看看第几楼出现围软救果，没想到 2 楼就是，心满意足地离开
Select Language