Pony 是一门很冷门的语言，但它功能上十分独特，独持到我认为值得单独为 Pony 讲上一课。它像是 Rust 和 Erlang 的合体：这一小时不会用来给大家推荐Pony 在生产环境使用，而是希望它能作为一个载体（Pun intended）来解释一些最近新兴的编程语言概念。

Pony 是：

• 使用角色模型的语言（Erlang 是爸爸）
• 性能可与 C 比肩的语言（compile to native）
• 类型安全的语言
• 内存安全的语言（不会有 dangling pointers）
• 异常安全的语言（没有运行时异常）
• 没有 race condition 的语言（编译即并发安全）
• 没有死锁的语言（嘛，没有锁，所以没有死锁）

这是场不讲究实用的 talk，但我希望这对听众是一场有意思、有营养的 talk。

When working as a software developer, as well as in any other job, it’s important to be productive and to get things done. You want to focus on what adds value, increase your development speed, and cut out as many of the cumbersome, boring and repetitive tasks as possible.

不管你是软件开发人员还是从事别的职业，高效完成工作都是非常重要的事情。我们都想要专注于增加价值，提高开发速度，尽可能地减少繁琐枯燥的任务。

This session shows seven principles of how to accomplish the goal of being more effective and efficient as a Java developer. These principles include technical as well as self-organizational aspects. We’ll see how to implement them, especially how we can get the most out of our tools, why the invention of the mouse was a setback in productivity, and which mindsets to follow. This talk is not limited to specific tools or technologies yet it’ll provide examples and experiences, and it is brought to you by a German — from the country of efficiency.

本次演讲将为你展示如何成为更有效和更高效的 Java 开发者的七个原则。这些原则包括技术和自我管理方面。我们将看到如何实现它们，特别是如何充分利用我们的工具，为什么鼠标的发明会降低生产力，以及遵循什么样的心态。本演讲不仅包含特定的工具或技术，还将提供示例和经验，这些都将由一位高效的德国人带给你。

在密集的业务开发中，协同的工程师是很多的，复杂的环境和项目不一致会导致各自的学习、沟通成本变高，间接导致效率低下。《Go 工程项目实践》会重点讲述 Go 语言在工程项目布局、单元测试、API 设计，以及一体化的工具链的实战。 

听众受益

1、Go 语言业务开发工程项目布局； 

2、Go 语言业务开发中的单元测试； 

3、Go 语言业务开发中的 API 设计。 

最近几年以来，伴随着各个端平台的迅猛发展，以 TypeScript、Swift、Kotlin 和 Dart 为代表的新一代应用编程语言纷纷浮现，不仅有取代各平台既有语言之势，还不断开疆扩土，竞逐跨端和全栈领域。本次演讲将分析 JavaScript 的新特性，并对未来发展作一些展望。

使用一门语言，使用的主要是其生态。Scala 在初期就对异步友好，不仅本身实现的 Future/Promise 模式适合于快速构建异步并发程序，基于 Scala 实现的 Akka、Play 等框架，更是将反应式的思想应用得深入骨髓。我分享的内容就是围绕 Scala 构建反应式系统的简单、迅速和强大。

随着小程序应用的日益升温，以及在 5G 背景下跃跃欲试的各类互动应用，相对常规的 Web 应用，具有高频互动特性的小程序对服务器的负载、响应速度、响应质量、发布策略，以及服务本身的复杂度控制，都提出了不少新的挑战。凭借 .NET Core 的高性能架构，并借助 Senparc.Weixin 微信 SDK（Senparc.Weixin 是目前 GitHub Star/Fork/Watch 等综合指标第一的中国 C# 开源项目），我们可以快速实现各项复杂的微信功能开发，同时确保系统高效稳定，并大幅度降低运维成本。

内容大纲

• .NET Core 部分特性概述；
• 微信小程序基础通讯原理；
• Senparc.Weixin SDK 小程序模块概述；
• 创建全双工实时通讯的小程序；
• 一些经验总结和讨论。

听众收益

• 深刻理解为何使用 .NET 的公司很少 996；
• 深刻理解为何使用 .NET Core 可以帮助减少脱发；
• 了解小程序开发的一些要点；
• 学习快速开发小程序的必备技能。

Common Table Expressions，可能是近二十年来 SQL 语言极为重要的发展，基于可递归的 CTE 技术，可以优雅的解决很多传统的 SQL 语言不擅长的问题。无论形式和性能，都有质的提升。这里通过一组问题，讨论 CTE 的使用。