Concurrency in Rust

零成本抽象是 Rust 的特性之一，而 Rust 的线程安全性也是贯彻了该特性。在这次演讲中，我们将确切了解 Rust 到底是如何实现这一点的。我们将探索组成 Rust 并发工具包的生态系统，了解 Rust 是如何扩展这些语言原则，来实现通道（Channel）、线程池、工作窃取算法、并发数据结构和异步 I/O 的。

属兔的处子——喜欢 Clojure，但怕动态语言太灵活怎么办

静若处子，动若脱兔。对于从事编程工作的我们来说，动静之分又有另一番意义。我们写着静态语言往往想着动态语言的灵活，写着动态语言又容易想着静态语言的稳定和可靠。因此 IT 界又有俗话说：最好自己写的时候用动态语言，读别人写的用静态语言。静动态语言之争更是到如今仍然没有平息，两边各说各有理，似乎是肯定没有鱼与熊掌可以兼得的好事的。

常听到有人说，Clojure 确实优美，但动态语言实在驾驭不了啊！没有类型的帮助，在涉及到复杂的数据结构之后很容易失去对现有程序的理解，易读性也会急速下降，而这也确实是 Clojure 作为动态语言所造成的问题。但是部分解决这个问题的办法总是有的。core.typed 和 core.spec 两个核心库就可以帮助我们缓解动态语言太过野性框不住的问题，而本次演讲的任务就是向大家介绍这两个库，以及这两个库解决这一问题的不同角度。

主要内容

1. Clojure / 动态语言的问题；
2. 灵活的胖子——给 Clojure 加个类型系统；
3. 给脱兔系上牵引绳——core.spec；
4. 讨厌给复杂数据结构写测试？试试生成性测试 ；
5. 两种角度的比较。

Go 构建日请求千亿级微服务的最佳实践

Go 在 2016 年获得了年度编程语言的称号，或许这和 Kubernetes 以及 Docker 的流行是分不开的。今日头条在 2015 年的时候开始使用 Go 语言构建后端的核心服务，并开发了基于 Thrift 协议的 Go 语言微服务框架，目前运行着近百个 Go 语言开发的微服务，每天在线处理超过 3000 亿次请求，在生产环境大规模使用 Go 语言开发服务的过程中，我们体验到了 Go 语言带来的在性能和开发效率上的平衡，同时也碰到了许多问题，例如：并发控制，超时控制，锁粒度控制，GC 调优，性能调优。这里和大家分享下关于 Go 语言的一些最佳实践，知道了这些，或许可以构建出更加优秀的服务。

听众收益

• 如何优雅地控制协程，使用并发和流水线方式处理数据；
• 网络调用的并发和超时控制，避免在微服务系统中放大 RPC 失败效应；
• GC 调优和对象复用改善服务的性能；
• 相对于传统 Web 编程语言，Go 带来了哪些编程思维上的变化；
• Go 语言的工程性带来哪些开发上的便利。

编程语言如何演化—— 以 JS 的 private 为例

与所有软件一样，用于编写软件的编程语言本身也在不断演化。但大多数程序员只是偶尔学习一下语言新特性，很少关心这些新特性是如何设计出来的。本次分享将以 JavaScript 语言社区正在讨论中的 private 特性提案为例，探索编程语言本身如何演化，与普通软件相比存在哪些独特挑战，如何平衡各种因素。之所以选择 private 特性，是因为这是绝大多数工业语言普遍实现了的，程序员也普遍使用的语言特性，因此无论是否熟悉 JavaScript，都不会存在理解障碍。