V2EX › maxco292 的所有回复 › 第 7 页 / 共 7 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

已注册用户请登录

1 2 3 4 5 6 7

❮

❯

2018-01-16 00:10:49 +08:00

睡啊睡啊，不想睡

2017-12-28 01:10:35 +08:00

失眠

2017-11-23 10:04:55 +08:00

双拼 MRH=没让

2017-08-29 11:12:07 +08:00

回复了 ech0x 创建的主题 › 编程 › 错误、类型和抽象

另外，类型系统其实可以通过《类型和程序设计语言》入门

2017-08-29 11:06:24 +08:00

回复了 ech0x 创建的主题 › 编程 › 错误、类型和抽象

其实若想编译即没有 bug，方法是有的，就是给程序写证明，如 idris，f*，这样的 Dependent type 的语言

2017-08-09 23:02:20 +08:00

@hackpro 哈哈哈

2017-07-21 22:47:26 +08:00

可以买个震楼器

2017-07-06 13:05:17 +08:00

这是在比 helloworld 长短吗，最起码搞个一些常见算法数据结构（譬如快排）的代码

1 2 3 4 5 6 7

❮

❯