Why Crystal
Crystal作为ruby的语法的继承者，crystal书写方式让熟悉ruby的程序员很舒服，并且它可以编译成为二进制代码，可以加速程序的运行速度，某些时候，如果你是为客户写程序，还能保护你的代码。Crystal在2017年好像讨论还蛮多的，到2019年消息越来越少，不过既然喜欢ruby，一种类似ruby又能编译成二进制的语言我还是要尝试一下。crystal不爽的地方是库没有那么多，有时候需要自己造轮子。另外，静态类型，让习惯ruby动态类型的我疲惫不堪，编一个小程序，80%的时间在处理类型。刚好，最近也在学习Go，就把两者的类型相关语法放在一起比较。
简单的声明
简单的类型声明如果不赋值，使用冒号 : 作为后注， 如果有赋值，则不需要进行类型申明，编译器可以进行类型推断。
# in Crystal
str : String #注意冒号两端都有空白
s = "Be nice"
在Go中 的逻辑也是类似，不过它里面类型后注没有冒号。一个新的变量要不是用var起始，就是用 :=标识出来
// In Go
var str string
i := 1
从这两小段代码就能看出来，Crystaly中Class是大写的，比如Int32， Int64，在Go中没有Class的概念，基本类型都是小写的，Struct的话你自己爱定义什么都行。反而，在Go的标准库中，各种方法都是首字母大写，比如常用fmt.Println
复合类型
Crystal中，有复合类型的概念，这种设计可能是为了适应Ruby程序员都习惯了模糊类型，所以创造了这个折中方案。复合类型其实是某种痛苦的开始，它方便了将相关的东西放在一起，不一定是同一类型，而不必像Go那样每每有不同类型组合时，都要重新创建新struct。Crystal中一种类型的组合就是一个类型，比如
array1 : Array(Int32|String)
array2 : Array(Int32)
这两个数组的元素类型是不同的，如果你用 array1=array2这样的语句，仿佛是可以的，毕竟array1中的元素类型可以更加广泛。实际上，编译器是无法通过的，因为复合类型也是一个类型。
数组-Hash-初始化
赋值空值
array1=[] of Int32|String|Bool
hash1={} of String=>Int32 | Bool
赋值已有元素
array2=[1,2,3] of Int32|String|Bool
array3=[1.as(Int32|String|Bool)]
hash2={"a"=>30,"b"=>40,c="fifty"} of String=>Int32|Bool
Array 的类型申明如上，hash的类型申明如下:
array1 : Array(Int32|String)
hash1 : Hash(String , Int32|Bool)
从上面的语句可以看到，类型申明的后注像函数，而of 后面语句更像是数组或Hash的免去括号的单一元素初始化.
复合数据类型
由数组和Hash这两种基本的复合类型，可以衍生出很多种组合。其实在实际编程过程中，只要你不怕麻烦，可以使用这两者的组合完成多数面向对象编程能完成的事情。面向对象的编程的好处就是，对于数据结构的操作预先设置好后，可以免去很多看index，看key的过程，隐藏数据结构的复杂性。所以Go中免去了class的概念，面向接口编程，接口共用，代码重复更加少。闲话少说，来看crystal中的复杂数据结构
1. Hash of Array
ha = {} of String=>Array( Int32|Bool) )
# ha : Hash(String, Array(Int32|Bool))
2. Array of Hash
ah=[] of Hash(String, Int32|Bool)
# ah : Array(Hash(String, Int32|Bool) )
可以再进行套叠，变成二维的三维的都可以。但是上面的工作仅仅是申明，申明完了以后要进行赋值，以Hash of Array为例
ha["one"]=[1] of Int32|Bool
后面的of 语句是需要的，因为如果不申明[1] 的类型是Array(Int32) 和Array(Int32|Bool)不是同一类型。或者可以使用
ha["one"]=[1.as(Int32|Bool)]
上面两个句子中 []相当于是在内存中开辟了一个空间，作为数组的存放位置，而后面的类型标注方便编译器规定数组的每个单元格的大小，以及内部存取规则。
Go 中有关类型声明的知识点
Go中数组与切片
Go中的数组和动态语言中的数组不太一样，事实上动态语言中的数组功能在Go中需要由Array和Slice组合才能达到。Go中的数组是fixed-length，也就是定长的， 切片相当于数组中的某段范围的指针
数组申明
var a [3]int
# 3表示数组的长度，int为类型，默认初始化为该类型的零值，对int来说就是0
初始化
var a [3]int{1,2,3} #数组和Hash的初始化都是在类型后面的花括号里面完成
var b [...]int{1,2,3,4} #用三个点来让编译器计算数组的长度
var c [...]int{99: -1} #该数组有100个元素，其他都是0
d := [...]int{1,2,4,6} #不用var 用 := 初始化或者重新赋值
数组相等需要数组的长度和里面的元素都是相等才行。
切片
1. 切片变量的申明可以从头开始
s1 = [] int {1,2,3,4,5}
一个切片含有一个underlying Array，切片指向该Array的某个元素的地址，然后切片有长度len,和负载能力cap,
2. 切片变量也可以从一个数组产生
s2 :=months[4:7] # 元素4,5,6; 7不包括，开区间
如果一个函数的参数设置为切片，其实是相当于将数组以指针传递。
3. 用make函数产生
s3=make([]int, len) # capacity = length
s4=make([]int,len,cap) # 内存中划出了cap长度的数组，len是s4 的可视范围
Map
在Go中Hash被称为Map
声明map
age :=make(map[string] int)
每次 对age的写操作，都有可能会动态的改变相应元素的地址，因此
&age["Roger"] #编译错误，取地址操作是不能通过编译的。
参考资源
- Go程序设计语言
- Crystal 官方教程
- Go 标准语言库
初学者，请多指教
原创内容，转载请注明 copywrite by threadtag