简介 使用带提示符的解释器 挑选一个编辑器 使用源文件 输出 它如何工作 可执行的Python程序 获取帮助 概括 简介 我们将看一下如何用Python编写运行一个传统的 Hello World 程序。通过它，你将学会如何编写、保存和运行Python程序。 有两种使用Python运行你的程序的方式——使用交互式的带提示符的解释器或...

协议 协议语法 属性要求 方法要求 Mutating 方法要求 构造器要求 构造器要求在类中的实现 可失败构造器要求 协议作为类型 委托（代理）模式 通过扩展添加协议一致性 通过扩展遵循协议 协议类型的集合 协议的继承 类类型专属协议 协议合成 检查协议一致性 可选的协议要求 协议扩展 提供默认实现 为协议扩展添加限制条件...

第一步 使用解释器提示符 如何退出解释器提示符 选择一款编辑器 PyCharm {#pycharm} Vim Emacs 使用一份源代码文件 获取帮助 总结 第一步 接下来我们将看见如何在 Python 中运行一个传统的“Hello World”程序。本章将会教你如何编写、保存与运行 Python 程序。 通过 Python 来运...

Cubical The interval and path types Transport Partial elements Homogeneous composition Glue types Higher inductive types Indexed inductive types What works, and what doesn’t ...

Cubical The interval and path types Transport Partial elements Homogeneous composition Glue types Higher inductive types Indexed inductive types What works, and what doesn’t ...

协议 协议语法 属性要求 方法要求 异变方法要求 构造器要求 协议构造器要求的类实现 可失败构造器要求 协议作为类型 委托 在扩展里添加协议遵循 有条件地遵循协议 在扩展里声明采纳协议 使用合成实现来采纳协议 协议类型的集合 协议的继承 类专属的协议 协议合成 检查协议一致性 可选的协议要求 协议扩展 提供默认实现 为...

Cubical The interval and path types Transport Partial elements Homogeneous composition Glue types Higher inductive types Indexed inductive types What works, and what doesn’t ...

References References Abelson, Harold, Gerald Jay Sussman, and Julie Sussman. 1996. Structure and Interpretation of Computer Programs. Second. The MIT Electrical Engineering an...

15.7 GitHub 一、Git常用命令 1. git常用命令： 2. 团队协作git操作流程： 二、安装Git客户端 1. 下载git客户端 2. 安装客户端 3. 绑定用户 三、创建GitHub仓库 1. 登录github 2. 创建repository(仓库) 四、为GitHub账户设置SSH key 1. 生成ssh key ...

Serializer relations Inspecting relationships. API Reference StringRelatedField PrimaryKeyRelatedField HyperlinkedRelatedField SlugRelatedField HyperlinkedIdentityField Nes...