V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  svenFeng  ›  全部回复第 2 页 / 共 8 页
回复总数  141
1  2  3  4  5  6  7  8  
2019-06-08 12:33:06 +08:00
回复了 Qiaogui 创建的主题 程序员 Tripod-语言参考规范(草案)
你写的这么多,还不如给个 Semantic Specification,不用说,连 spec 都没有,你估计都没想过证明你的 type system 的正确?写编译靠蒙吗?
2019-06-08 12:25:42 +08:00
回复了 Qiaogui 创建的主题 程序员 Tripod-语言参考规范(草案)
唉,我觉得吧,咱能不能多读点书、paper 再出来搞个大新闻,你这除了对 C++拙劣的模仿还有啥? PL 有些东西已经很成熟了,不好好学习瞎整除了误导别人还有什么意义?

sum type 这么自然的结构没有,还 null ?噢,还引入了 nil。。。

template 作为 meta language 虽然可以做泛型来用,但是我很好奇怎么保证 parametric polymorphism 的 forall 语义,不保证的话像 C++一编译一路 SFINAE 就狂吐错误么?再说了,你这也没有 concepts 做限制吧。

你号称解决 C++的遗留问题,你知道你不但没解决这些问题,还更垃圾了么?
2019-06-04 16:05:01 +08:00
回复了 jzyff 创建的主题 程序员 大家平时写完代码都是怎么做自测的
用形式化验证,代码一分钟,证明十小时,懒的时候就写 quickCheck。
2019-05-29 17:05:05 +08:00
回复了 zxcjqyy 创建的主题 程序员 你们是怎么避免 list 为空
Rust、Haskell:没有 null,不能每次都判断 null,真羡慕你们这些成功的语言。
2019-05-24 20:00:47 +08:00
回复了 d0m2o08 创建的主题 Go 编程语言 请教一下怎么优雅的处理 go 中的 err
这都能讨论这么多,我的天,不就是个 Monad 随手就能解决的问题么,真是尴尬
2019-04-13 09:34:46 +08:00
回复了 Akiyu 创建的主题 问与答 如何去陌生的大学蹭课?
川大一般不安排周末课程,说实话除了少数硬核老师开的课,其他的质量都很差。
2019-04-12 12:29:38 +08:00
回复了 Sanko 创建的主题 问与答 编译原理到底该怎么学?
人家是想学编译原理,不是想学 parser 原理,都答的啥啊。。。去看 eopl,在写各式各样的解释器就懂不少东西了,再挑喜欢的方向深入,比什么各种编译器书高多了
S3-fuse
这个帖子真是奇观。。。
@void1900 看你的回复就知道,你不是做存储的,实际也不懂,回去多看书和论文吧,还 RAID。。。

这里的三副本往往指的是分布式存储中的三副本,具体细节没说,号称 9 个 9 可靠性,下意识还以为是用 Raft/Paxos 做了强一致性同步,结果呢,磁盘 Bug 导致全部数据没了,没了。。。多大脸。。。
3.5 之后,可以用 type hint,然后在运行前,用 mypy 检查一遍
2018-06-19 13:58:20 +08:00
回复了 duzhihao 创建的主题 绿茵场 写给一个不懂球的同学
我有点愤怒,楼主是不是看不起我荷兰!😕😕😕
2018-06-19 09:54:09 +08:00
回复了 Knowegg 创建的主题 Linux Linux Deepin 怕是要凉了, CTO 王勇被逼走了
@wenzhoou 😕我的逻辑是:server 版是给服务器厂商用的商业版,肯定是会裁剪的,商业服务器谁会用无线?无线模块肯定要被砍掉啊,Linux 黑点不少,但是你这个都黑地莫名其妙,你不会回我了,打扰了
1  2  3  4  5  6  7  8  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   998 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 31ms · UTC 19:15 · PVG 03:15 · LAX 11:15 · JFK 14:15
Developed with CodeLauncher
♥ Do have faith in what you're doing.