目录 第0章：关于《Go语言101》 - 为什么写这本书 第1章：致谢 第2章：Go语言简介 - 为什么Go语言值得学习 第3章：Go官方工具链 - 如何编译和运行Go程序 Go编程入门 第4章：程序源代码基本元素介绍 第5章：关键字和标识符 第6章：基本类型和它们的字面量表示 第7章：常量和变量 - 顺便介绍了类型不确定值和类型推断 第8章：运算操作符 - 顺便介绍了更多的类型推断规则 com/golang101/golang101 ? 获取本书最新版） 关于《Go语言101》 我觉得很难用通常的描述方式来描述本文中的内容。 所以本文将采用采访的 形式来进行描述。 你好，老貘，你是什么时候开始写这本书的？ 大概在2016年七月份左右，不是很密集地使用了Go两年后，我觉得Go是一门 简单的语言，我感觉我已经精通了Go编程。 在那个时候，我在日常编程中已 经搜集了不少关于Go编程的细节。 我对Go编程中的很多细节的底层原因产生了困惑。 随着 越来越多的困惑的积攒，我觉得我对Go的领悟非常有限。 我感觉我仍然是一 个Go新手程序员。 我放弃了写那本书。 放弃？《Go语言101》现在不是已经完成了 吗？ 那本曾经计划要写的书不是《Go语言101》。 放弃那本书的写作计划后，我通 过阅读很多官方Go文档和网络中的各种Go文章、关注Go官方项目的问题跟踪 列表和一些Go论坛、查看一些代码等途径， 逐渐地，我几乎消除了我所有关

目录 第0章：关于《Go语言101》 - 为什么写这本书 第1章：致谢 第2章：Go语言简介 - 为什么Go语言值得学习 第3章：Go官方工具链 - 如何编译和运行Go程序 Go编程入门 第4章：程序源代码基本元素介绍 第5章：关键字和标识符 第6章：基本类型和它们的字面量表示 第7章：常量和变量 - 顺便介绍了类型不确定值和类型推断 第8章：运算操作符 - 顺便介绍了更多的类型推断规则 com/golang101/golang101 获 取本书最新版） 关于《Go语言101》 我觉得很难用通常的描述方式来描述本文中的内容。 所以本文将采用采访的形 式来进行描述。 你好，老貘，你是什么时候开始写这本书的？ 大概在2016年七月份左右，不是很密集地使用了Go两年后，我觉得Go是一门简 单的语言，我感觉我已经精通了Go编程。 在那个时候，我在日常编程中已经搜 集了不少关于Go编程的细节。 我对Go编程中的很多细节的底层原因产生了困惑。 随着越 来越多的困惑的积攒，我觉得我对Go的领悟非常有限。 我感觉我仍然是一个 Go新手程序员。 我放弃了写那本书。 放弃？《Go语言101》现在不是已经完成了吗？ 那本曾经计划要写的书不是《Go语言101》。 放弃那本书的写作计划后，我通 过阅读很多官方Go文档和网络中的各种Go文章、关注Go官方项目的问题跟踪 列表和一些Go论坛、查看一些代码等途径， 逐渐地，我几乎消除了我所有关于

loosely related languages are Coq [http://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [http://idris-lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant

loosely related languages are Coq [http://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [http://idris-lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant

loosely related languages are Coq [https://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [https://idris- lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant

loosely related languages are Coq [https://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [https://idris- lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant

loosely related languages are Coq [https://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [https://idris- lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant

loosely related languages are Coq [https://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [https://idris- lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant

loosely related languages are Coq [https://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [https://idris- lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant

loosely related languages are Coq [https://coq.inria.fr/], Epigram [http://www.e-pig.org/], and Idris [https://idris- lang.org/]. Because of strong typing and dependent types, Agda can be used as a proof assistant