反射 JVM dependency 类引用 绑定的类引用 可调用引用 函数引用 示例：函数组合 属性引用 与 Java 反射的互操作性 构造函数引用 绑定的函数与属性引用 绑定的构造函数引用 反射 反射是这样的一组语言和库功能，让你可以在运行时自省你的程序的结构。 Kotlin 中的函数和属性是一等公民，而对其自省（即在运行时获悉...

对象表达式和对象声明 对象表达式 对象声明 伴生对象 对象表达式和对象声明之间的语义差异 对象表达式和对象声明 有时候，我们需要创建一个对某个类做了轻微改动的类的对象，而不用为之显式声明新的子类。Java 用匿名内部类处理这种情况。Kotlin 用对象表达式和对象声明对这个概念稍微概括了下。 对象表达式 要创建一个继承自某个（或某些）类...

MQTT Erlang 客户端库 emqtt 使用示例 emqtt MQTT 5.0 支持 MQTT Erlang 客户端库 emqtt (opens new window) 是开源 MQTT Broker EMQX 官方提供的客户端库，适用于 Erlang 语言。 Erlang 生态有多个 MQTT Broker 实现，如通过插件支持 MQT...

Chapter 4 Labels and variants 4.1 Labels 4.1.1 Optional arguments 4.1.2 Labels and type inference 4.1.3 Suggestions for labeling 4.2 Polymorphic variants Basic use Advan...

What’s this look like, then? Lambdas Actor literals Primitive literals Sometimes it’s really convenient to be able to write a whole object inline. In Pony, this is called an o...

与 JavaScript 的互操作 Use JavaScript code from Kotlin external modifier @JsFun annotation @JsModule Use Kotlin code from JavaScript @JsExport annotation Kotlin types in JavaScrip...

Enum Classes Initialization Anonymous Classes Implementing Interfaces in Enum Classes Working with Enum Constants Enum Classes The most basic usage of enum classes is imple...

类型安全的构建器 一个类型安全的构建器示例 实现原理 作用域控制：@DslMarker（自 1.1 起） com.example.html 包的完整定义 类型安全的构建器 通过使用命名得当的函数作为构建器，结合带有接收者的函数字面值 ，可以在 Kotlin 中创建类型安全、静态类型的构建器。 类型安全的构建器可以创建基于 Kotlin 的...

MQTT Erlang 客户端库 emqtt 使用示例 emqtt MQTT 5.0 支持 MQTT Erlang 客户端库 emqtt 是开源 MQTT Broker EMQ X 官方提供的客户端库，适用于 Erlang 语言。 Erlang 生态有多个 MQTT Broker 实现，如通过插件支持 MQTT 的 RabbitMQ ，...

时序规范 时序规范 To be sure that the algorithm provides correct sequential behavior, you can define its sequential specification by writing a straightforward sequential implementation ...