Flow——教程 序列化（kotlinx.serialization） Lincheck（kotlinx.lincheck） Lincheck 指南 用 Lincheck 编写第一个测试 测试策略 操作参数 数据结构约束 进度保证 时序规范 Ktor↗ API 参考 标准库（stdlib）↗ 测试库（kotlin.test）↗ 协程（kotlinx.coroutines）↗ 序列化（kotlinx Kotlin 构建 web 应用程序。 4. Spring Boot 与 Kotlin 及 RSocket 合用。 适用于架构决策时看重自由度的 开发者的轻量级框架。 5. 使用 Ktor 创建 HTTP API。 6. 使用 Ktor 创建 WebSocket 聊天。 7. 使用 Ktor 创建交互式网站。 8. 发布服务器端 Kotlin 应用程序： Ktor on Heroku。 9 的现代全栈框架，用于构建模块化、易于测试的微 服务与无服务器应用程序。它带有许多有用的内置特性。 http4k是一个纯 Kotlin 编写、占用空间很小的用于 Kotlin HTTP 应用程序 的函数式工具包。 该库基于 Twitter 的论文《你的服务器即函数》（Your Server as a Function），并将 HTTP 服务器与客户端都建模为可以组合起来 的简单 Kotlin 函数。 Javalin

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.demo.wangweimin.site/bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 Documentation 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 还支持使用 Codemirror [https://codemirror.net/] 实现代码 风格的编辑区，只需使用 code 参数传入Codemirror支持的选项即可(最简单的 情况是直接传入 code={} 或 code=True): 以上代码将在浏览器上显示如下： 这里 列举了一些常用的Codemirror选项，完整的Codemirror选项请见：

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.demo.wangweimin.site/bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 Documentation 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 还支持使用 Codemirror [https://codemirror.net/] 实现代码 风格的编辑区，只需使用 code 参数传入Codemirror支持的选项即可(最简单的 情况是直接传入 code={} 或 code=True): 以上代码将在浏览器上显示如下： 这里 列举了一些常用的Codemirror选项，完整的Codemirror选项请见：

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.demo.wangweimin.site/bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 Documentation 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 还支持使用 Codemirror [https://codemirror.net/] 实现代码 风格的编辑区，只需使用 code 参数传入Codemirror支持的选项即可(最简单的 情况是直接传入 code={} 或 code=True): 以上代码将在浏览器上显示如下： 这里 列举了一些常用的Codemirror选项，完整的Codemirror选项请见：

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.demo.wangweimin.site/bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 Documentation 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 还支持使用 Codemirror [https://codemirror.net/] 实现代码 风格的编辑区，只需使用 code 参数传入Codemirror支持的选项即可(最简单的 情况是直接传入 code={} 或 code=True): 以上代码将在浏览器上显示如下： 这里 列举了一些常用的Codemirror选项，完整的Codemirror选项请见：

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.demo.wangweimin.site/?pywebio_api=bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 还支持使用 Codemirror [https://codemirror.net/] 实现代码 风格的编辑区，只需使用 code 参数传入Codemirror支持的选项即可(最简单的 情况是直接传入 code={} 或 code=True): 以上代码将在浏览器上显示如下： 这里 列举了一些常用的Codemirror选项，完整的Codemirror选项请见：

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.demo.wangweimin.site/?pywebio_api=bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 还支持使用 Codemirror [https://codemirror.net/] 实现代码 风格的编辑区，只需使用 code 参数传入Codemirror支持的选项即可(最简单的 情况是直接传入 code={} 或 code=True): 以上代码将在浏览器上显示如下： 这里 列举了一些常用的Codemirror选项，完整的Codemirror选项请见：

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.pywebio.online/bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 Documentation 这个文档同时也提供 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 中可以使用 code 参数来开启代码风格的编辑区。 以上代码将在浏览器上显示如下： 输入组 PyWebIO支持输入组, 返回结果为一个字典。pywebio.input.input_group() 接 受单项输入组成的列表作为参数, 返回以单项输入中的 name 作为键、以输入数 据为值的字典: code = textarea('Code

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.pywebio.online/bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 Documentation 这个文档同时也提供 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 中可以使用 code 参数来开启代码风格的编辑区。 以上代码将在浏览器上显示如下： 输入组 PyWebIO支持输入组, 返回结果为一个字典。pywebio.input.input_group() 接 受单项输入组成的列表作为参数, 返回以单项输入中的 name 作为键、以输入数 据为值的字典: code = textarea('Code

行交互： 将上面代码最后一行对 bmi() 的直接调用改为使用 pywebio.start_server(bmi, port=80) 便可以在80端口提供 bmi() 服务( 在线Demo [http://pywebio- demos.pywebio.online/bmi] )。 将 bmi() 服务整合到现有的Web框架请参考 与Web框架集成 。 Documentation 这个文档同时也提供 成输入将表单提交后，函数返回用户输入的值。 下面是一些其他类型的输入函数: age = input("How old are you?", type=NUMBER) 输入选项 输入函数可指定的参数非常丰富（全部参数及含义请见 函数文档 ）: 以上代码将在浏览器上显示如下： 我们可以为输入指定校验函数，校验函数应在校验通过时返回None，否则返回 错误消息: # Password input password 当用户输入了不合法的值时，页面上的显示如下: pywebio.input.textarea() 中可以使用 code 参数来开启代码风格的编辑区。 以上代码将在浏览器上显示如下： 输入组 PyWebIO支持输入组, 返回结果为一个字典。pywebio.input.input_group() 接 受单项输入组成的列表作为参数, 返回以单项输入中的 name 作为键、以输入数 据为值的字典: code = textarea('Code