作者：肖锋钢
原文：https://www.jianshu.com/p/4a7d652c9ba2
前面在通过一个例子说明了“系统的行为、约束和属性是严格、精确、抽象和简洁的，将设计过程自动化直接从系统行为、约束和属性产生代码”，也从一个侧面让我们看到了设计的未来之路。当未来开始显现时，我们不禁要问：面对未来我能做些什么？
AlphaGo给予我们的启示
2016年3月，当AlphaGo击败人类最顶尖职业围棋选手时，犹如像一池平静的湖水中掷入一颗石子一样，全世界都发出了惊叹更是引发了前所未有的对人工智能的恐慌，似乎所有人都在一夜之间看到人类的结局。难道科幻小说中的天网就要成为现实而人类几千年来积累的智慧就在冰冷的机器面前不堪一击吗？
alphago
回看历史不难发现这样类似的恐慌也曾有过，可都最终化为了历史的尘埃，为何？就是因为人是一种智慧生物，能驾驭能力远远超越自己的东西，比如人不会飞，但是能造出飞机；人的力气不够大，但是可以造出拖拉机、挖土机；人走的慢，但是能造出汽车。人与AlphaGo之间的情况是否也很类似呢，赢得未来的关键在于真正驾驭，要想真正驾驭就必须了解它，认识它，学习它，如果做不到真正驾驭那么被淘汰也是理所当然。那么究竟该如何做才能在未来取得优势呢？
面向未来的学习
系统规格说明
- 离散数学
- TLA+, Alloy
- 清晰、严格的思考和表达
- 可运行、可调试、自动穷举验证的设计
程序语言理论
- 语义学
- 类型系统
- 编译和解释
抽象和组合
- Denotational Semantics
- Category Theory
对待工作的态度
- 认真对待测试用例
- 清晰、严格思考表达
- 系统行为、属性
- 维护老系统，认真分析解决每一个Bug
- 深入理解系统的行为、属性和约束
- 收益要远大于用新技术、新语言开发新系统
- 以全局的眼光和理论的态度学习“流行”技术
- 问题、团队、成本、收益等
- 规范、稳定、可控的代码人肉生成
可供参考的未来之书
specifying systems
essentials of programming languages
software abstractions
dentational semantics
types and programming languages
category theory for programmers
