Blockly是一个用于生成可视化编程编辑器的库。在代码生成过程中进行子模块的类型检查是一种常见的需求，可以通过以下解决方法来实现：

1. 定义模块的类型： 在Blockly中，可以通过定义模块的类型来进行类型检查。可以使用Blockly的registerBlockType方法来注册模块类型，并为每个模块指定所需的输入和输出类型。

Blockly.Blocks['math_arithmetic'] = {
  init: function() {
    this.jsonInit({
      "type": "math_arithmetic",
      "message0": "%1 %2 %3",
      "args0": [
        {
          "type": "input_value",
          "name": "A",
          "check": "Number"
        },
        {
          "type": "field_dropdown",
          "name": "OP",
          "options": [
            ["+", "ADD"],
            ["-", "MINUS"],
            ["*", "MULTIPLY"],
            ["/", "DIVIDE"]
          ]
        },
        {
          "type": "input_value",
          "name": "B",
          "check": "Number"
        }
      ],
      "output": "Number",
      "colour": 230,
      "tooltip": "",
      "helpUrl": ""
    });
  }
};

2. 添加类型检查： 在生成代码的过程中，可以通过检查每个模块的输入和输出类型来进行类型检查。可以使用Blockly的getFieldValue方法来获取模块的字段值，使用getValueInput方法来获取模块的输入值，并使用setCheck方法来设置模块的输出类型检查。

Blockly.JavaScript['math_arithmetic'] = function(block) {
  var a = Blockly.JavaScript.valueToCode(block, 'A', Blockly.JavaScript.ORDER_ATOMIC);
  var b = Blockly.JavaScript.valueToCode(block, 'B', Blockly.JavaScript.ORDER_ATOMIC);
  var operator = block.getFieldValue('OP');
  
  // 检查输入类型
  if (!Blockly.Types.isNumber(a) || !Blockly.Types.isNumber(b)) {
    throw new Error('Inputs must be numbers.');
  }
  
  // 设置输出类型检查
  Blockly.Types[Blockly.Types.NUMBER].setOutput(true);
  
  var code = '';
  switch (operator) {
    case 'ADD':
      code = a + ' + ' + b;
      break;
    case 'MINUS':
      code = a + ' - ' + b;
      break;
    case 'MULTIPLY':
      code = a + ' * ' + b;
      break;
    case 'DIVIDE':
      code = a + ' / ' + b;
      break;
  }
  return [code, Blockly.JavaScript.ORDER_ATOMIC];
};

通过以上方法，可以在Blockly中对子模块进行类型检查，并在代码生成过程中进行相应的处理。