在Go语言中：

1. var a chan int 定义了一个名为 a 的变量，其类型为 chan int。这意味着 a 是一个整型值的通道（channel）。通道是Go语言中用于goroutine之间通信的一种机制，你可以通过通道发送和接收特定类型的值。在这个例子中，通道允许传递整型数值。

2. var a func(string) int 定义了一个名为 a 的变量，其类型为函数类型，具体来说是一个接受一个字符串作为参数并返回一个整数的函数。你可以在Go语言中将函数赋值给变量，这样变量就可以像普通函数一样被调用。在这个例子中，如果你调用 a("some string")，它将会返回一个整数值。

在go语言中， a=10，假如a之前没有定义过，这话是错误的吗?
在Go语言中，直接写出 a = 10 这样的语句而不预先定义变量 a 的话，根据Go语言的标准语法规则，这将导致编译错误，因为编译器无法确定 a 的类型。在Go中，变量必须先声明再使用，正确的做法是在使用变量前先定义其类型，如下所示：

Go
var a int
a = 10
或者采用简短声明方式同时定义并初始化变量：

Go
a := 10
在上述第二种形式中，:= 操作符用于简短声明并初始化变量 a 为整数类型，并赋值为10。如果在当前作用域内 a 未被声明过，那么此处会隐式声明 a 为整型变量。但如果在同一个作用域内已经有一个不同类型的 a 存在，这样做就会导致编译错误。

Go 语言不支持三目运算符（也称为条件运算符，如 C/C++/Java 中的 condition ? expression1 : expression2 形式）的主要原因在于语言设计者对于可读性和简洁性的权衡选择。以下是几个关键理由：

1. 避免复杂性：Go 语言的设计原则之一是避免复杂的语法构造，特别是在表达式的上下文中。三元运算符可以简化某些条件表达式，但也可能在复杂的场景中造成代码不易理解。

2. 提高可读性：Go 设计团队认为，使用传统的 if-else 结构虽然在字面上比三元运算符要多几行，但它能让代码意图更加明显，尤其是当条件或表达式较为复杂时，增加的可读性远胜于节省的行数。

3. 一致性：Go 语言鼓励清晰和一致的代码风格，通过去除一些可能会导致代码晦涩难懂或风格多样化的特性，包括三元运算符。

4. 避免滥用：设计者观察到三元运算符有时会被过度使用，导致出现难以理解的链式条件表达式，从而降低了代码的维护性和可读性。

总之，Go 语言舍弃了三目运算符，转而坚持使用简洁明了的 if-else 结构，这是为了更好地契合语言设计的整体哲学——简洁、清晰和一致。

在Go语言中，var siteMap map[string]string 这行代码确实声明了一个名为 siteMap 的映射（map）变量，它是一个键（key）为字符串类型，值（value）也为字符串类型的映射。然而，这只是声明了变量的存在，还没有真正创建（或者说初始化）映射本身。

要在Go中创建并使用映射，还需要通过 make 函数来分配内存并初始化映射：

var siteMap map[string]string
// 此时siteMap是nil，不能用来存取数据// 创建并初始化映射
siteMap = make(map[string]string)// 或者直接声明并初始化
siteMap := make(map[string]string)

所以，单纯地声明 var siteMap map[string]string 并不算完全创建了一个集合（映射），必须通过 make 函数来完成创建过程。在Go语言中，映射类似于其他语言中的关联数组或字典，常常被称为“集合”这一概念的一个实现。

在Go语言中，可以在if条件语句中直接定义并初始化变量，这是一种简洁的语法特性。这种方式允许程序员在一个逻辑块（如if语句）内部声明并初始化局部变量，这样变量的作用域就被限制在这个逻辑块内部，提高了代码的局部性和可读性。

在你提供的代码片段中，

if diff := guess*guess - x; diff < epsilon && -diff < epsilon {return guess
}

diff := guess*guess - x 是一个简短声明（short variable declaration），它在if语句的条件部分定义并初始化了一个新的局部变量 diff，其值等于 guess 乘以自身再减去 x。然后这个新声明的变量 diff 直接用于后续的条件判断。这种语法结构使得变量 diff 只在需要它的if语句块内部可见和有效，从而保持了代码的整洁和逻辑紧凑。