# 类型检查
Blockly 完全支持 JS 和 Python 之类的动态类型的模型，并且还包括对 C / C ++ 之类的静态类型的模型的支持，但需要做一些额外的工作。
在这两种情况下，Blockly 都可以防止构造一些非理性的组合。以下三个模块之间没有业务联系：
Blockly 的每种连接类型（值输入/输出，下一个/上一个语句）都可以用类型信息标记，明显无效的连接将拒绝连接。这为用户提供了即时反馈，并避免了许多简单的错误。
# 值输入和输出
让我们从一个数字块开始。指定输出时，还可以设置类型字符串。由于此块应该返回一个数字，因此让我们将输出类型设置为字符串 'Number'：
一个更复杂的块是确定数字是否为偶数的数学块。该块具有一个期望输入数字的输入，以及一个返回布尔值的输出。这是指定此代码的代码：
当数字块连接到该数学块时，两个连接的类型均为 'Number'，因此连接成功。而如果有人尝试将文本块（输出类型为 'String'）插入数学块，则这两种类型将不匹配，并且连接将拒绝连接。
“length of”块类似，除了它需要能够接受文本块或列表块。因此，将输入的类型设置为两个选项的数组，而不是一个字符串：
可以想象，一个块返回两种或多种类型之一。尽管在 Blockly 中没有当前的示例，但是可以通过将输出类型设置为类型数组来支持。如果输入中的任何单个类型与输出中的类型匹配，则可以连接这些块。
变量是可以保存任何类型的值块的示例。因此，可以将其类型设置为 null 代表通配符的类型：
这允许将块插入任何输入，而与输入的类型无关。
注意，在Blockly（所使用的类型的字符串 'Number'，'Boolean'，'String'，'Array'，'Colour'）是完全任意的。任何字符串都是可以接受的，并且可以临时发明新的字符串。只要确保输出和输入之间的一致性即可。
# 语句栈
以与输入和输出的水平连接相同的方式，垂直语句堆栈也可以具有类型信息。大多数编码应用程序都不会使用此功能，因为任何语句通常都可以跟随其他任何语句。
在 Blockly 开发者工具 (opens new window) 的 Block Factory 选项卡中可以看到一种罕见的类型化语句连接示例。请注意，字段块可能不会堆叠在应将输入块放到的位置，输入块可能不会堆叠在应将字段放到的位置。
在三个地方定义了类型化语句：在块的上一个和下一个连接上，以及在语句输入的连接上。这些定义在块的顶部和底部的堆叠槽口，这些槽口只能连接到槽口未类型化或槽口包含至少一种匹配类型的块。
在语句堆栈中，如果底部语句块中的 previousConnection 所允许的任何类型也被顶部语句块中的 nextConnection 所允许，则一个语句块将成功连接到另一个语句块的底部。
语句输入将连接任意 previousConnection 连接类型与输入的 check 类型匹配的块。 语句输入的 check 属性仅用于检查与其连接的堆栈中第一个块的类型。
null 类型是通配符，它将接受任何类型的连接。 例如，nextConnection 的值为 null 将允许任何块连接到下一个连接，而不管该块的 previousConnection 值如何。
以下示例演示了 “老鼠(Mouse)” 和 “耗子(Rat)” 类型，其中两种类型的块都可以添加到语句输入啮齿动物(RODENTS) 中。但是，此玩具示例在啮齿动物列表中不支持“老鼠” 连接到 “耗子”。
# 自定义类型检查
如果要实现更复杂的类型系统（例如继承），则应实现 IConnectionChecker Interface 。