为什么Crystal不能解析1 +1赋值的类型？

Crystal是一种静态类型的编程语言，它在编译时会对变量的类型进行严格的检查。在Crystal中，变量的类型必须在声明时就确定，并且不能随意改变。

当我们尝试将一个表达式的结果赋值给一个变量时，Crystal会根据表达式的类型来确定变量的类型。例如，当我们将一个整数表达式1 + 1赋值给一个变量时，Crystal会尝试推断表达式的类型为整数类型，并将这个类型应用于变量。

然而，Crystal不能解析1 + 1赋值的类型的原因是，表达式1 + 1的类型并不是一个确定的整数类型。在Crystal中，整数类型有多种不同的大小和符号，例如Int32、Int64、UInt32等。由于1 + 1的结果可以是任意大小的整数，Crystal无法确定应该使用哪种具体的整数类型来表示这个结果。

为了避免类型的不确定性，Crystal要求在赋值操作中明确指定变量的类型。因此，正确的写法应该是将表达式的结果赋值给一个明确指定类型的变量，例如：

result : Int32 = 1 + 1

在这个例子中，我们明确指定了变量result的类型为Int32，Crystal可以正确解析1 + 1的类型为Int32，并将结果赋值给result变量。

总结起来，Crystal不能解析1 + 1赋值的类型是因为表达式的类型不确定，为了避免类型的不确定性，我们需要在赋值操作中明确指定变量的类型。