块是一段可以传给方法的代码。
在其他编程语言中，这被称为匿名函数或 lambda。
方法可以把块转换成 Proc，Proc 表示一段代码。
def my_method(&block)
1 + yield
end
my_method { 2 }
# => 3
块和 Proc 在 Crystal 中非常常用，比如用于迭代和回调。
它们也常用来创建 DSL（领域特定语言），DSL 的例子包括 Web 框架 Kemal 和测试框架 Spec（它是用来测试你提交的 Crystal 解答的）。
块
要创建能接收块的方法，需要在最后一个实参前加上一个与号（&）。
这样会把块转换成 Proc，并赋值给那个实参。
之后用yield就能执行传给方法的块。
def my_method(&block)
1 + yield
end
传入块有两种方式：使用do ... end关键字，或者使用花括号（{}）。
两者最主要的区别是优先级：do ... end支持多行的块，而花括号（{}）不支持。
my_method do
2
end
# => 3
my_method { 2 }
# => 3
yield
yield是一个关键字，用来执行传给方法的块。
也就是说，如果没有调用yield，块就永远不会被执行。
它还可以带实参，这些实参会传给块。
传给块的实参数量没有限制。
要在块中使用这些实参，可以使用|x, y, ...|语法。
这里的 x、y、…… 就是实参的名字。
def my_method(&block)
1 + yield 2
end
# With curly braces:
my_method { |x| x * 3 }
# => 7
# With do ... end:
my_method do |x|
x * 3
end
# => 7
在上面的例子中，块收到的实参是2，块把它乘以3并返回6。
然后方法在结果上加1，返回7。
如果传给yield的实参数量多于块所期望的实参数量，就会抛出错误。
def my_method(&block)
1 + yield
end
my_method { |x| x * 3 }
# Error: too many block parameters (given 1, expected maximum 0)
块的类型
块可以显式或隐式地书写。
隐式的块最常见，上面例子中的都是隐式块。
你甚至可以让块接收不同类型的实参，编译器会推断出这些类型并生成联合类型。
def my_method(&block)
yield "a"
yield 1
end
my_method do |x|
p typeof(x)
end
# output: (String | Int32)
写显式块时，你可以指定实参的类型和返回类型。
这通过Arg1Type, Arg2Type, ... -> ResultType语法来完成。
其中实参之间用逗号（,）分隔，结果类型用->分隔。
def my_method(&block : Int32, Int32 -> Int32)
1 + yield(2, 3)
end
my_method { |x, y| x * y }
# => 7
和其他显式类型一样，编译器也会强制类型符合预期。
如果块与方法所给的类型不匹配，就会抛出错误。
Proc
Proc和块有非常紧密的联系。
关键区别在于，Proc是一种类型，而块不是。
Proc表示一个函数指针，可以像变量一样传递。
要定义一个Proc，可以使用 proc 字面量->(args) { ... }语法。
实参之间用逗号（,）分隔，块用{ ... }分隔。
要调用一个 Proc，可以使用call方法，把实参传给它。
形参的类型必须指定。
返回类型会从 proc 的主体推断出来，但也可以显式提供。
my_proc = ->(x : Int32, y : Int32) : Int32 { x * y }
my_proc.call(2, 3)
# => 6
捕获块
捕获块是一种从块创建Proc的方式。
做法是在方法的最后一个实参前使用&运算符。
这会把块转换成Proc，并赋值给那个实参。
def my_method(&block)
block.call
end
my_method { 1 + 2 }
# => 3
把 Proc 传给方法
Proc 可以传给期望接收块的方法。
当你希望根据某些条件传入不同的块时，这会很方便。
def my_method(&block)
yield 5
end
my_proc = -> (x) { x * 2 }
my_method(&my_proc)
# => 10
声明变量的类型
声明变量时，可以用: Type语法来声明变量的类型。
对于 proc，使用Proc((ArgType, ...), ResultType)语法。
最后一个类型始终是返回类型，其余的是实参类型。
也就是说，如果只有一个类型，它就是返回类型，这个 proc 不接收任何实参。
my_proc : Proc(Int32, Int32, Int32) = ->(x, y) { x * y }
other_proc : Proc(Int32) = -> { 1 }
学习练习
