diff --git a/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java b/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java
index d32a544..dbde250 100644
--- a/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java
+++ b/src/main/java/org/jcnc/snow/compiler/ir/builder/IRProgramBuilder.java
@@ -8,6 +8,7 @@ import org.jcnc.snow.compiler.parser.ast.base.Node;
 import org.jcnc.snow.compiler.parser.ast.base.NodeContext;
 import org.jcnc.snow.compiler.parser.ast.base.StatementNode;
 
+import java.util.ArrayList;
 import java.util.List;
 
 /**
@@ -36,8 +37,8 @@ public final class IRProgramBuilder {
         for (Node node : roots) {
             switch (node) {
                 case ModuleNode moduleNode ->
-                    // 模块节点: 批量构建并添加模块内所有函数
-                        moduleNode.functions().forEach(f -> irProgram.add(buildFunction(f)));
+                    // 对每个模块，所有函数均自动注入 globals
+                        moduleNode.functions().forEach(f -> irProgram.add(buildFunctionWithGlobals(moduleNode, f)));
                 case FunctionNode functionNode ->
                     // 顶层函数节点: 直接构建并添加
                         irProgram.add(buildFunction(functionNode));
@@ -52,6 +53,30 @@ public final class IRProgramBuilder {
         return irProgram;
     }
 
+    /**
+     * 构建带有模块全局声明“注入”的函数。
+     * 为了在当前 IR 设计下能访问全局变量，将模块的 globals 作为前置声明
+     * 追加到函数体最前面，使其在函数内被注册到 IR 作用域中。
+     */
+    private IRFunction buildFunctionWithGlobals(ModuleNode moduleNode, FunctionNode functionNode) {
+        if (moduleNode.globals() == null || moduleNode.globals().isEmpty()) {
+            return buildFunction(functionNode);
+        }
+        // 重建函数体：先放 globals 的声明，再放原来的语句
+        List<StatementNode> newBody = new ArrayList<>(moduleNode.globals().size() + functionNode.body().size());
+        newBody.addAll(moduleNode.globals());
+        newBody.addAll(functionNode.body());
+
+        FunctionNode wrapped = new FunctionNode(
+                functionNode.name(),
+                functionNode.parameters(),
+                functionNode.returnType(),
+                newBody,
+                functionNode.context()
+        );
+        return buildFunction(wrapped);
+    }
+
     /**
      * 利用 FunctionBuilder 将 FunctionNode 转换为 IRFunction。
      *
@@ -79,8 +104,8 @@ public final class IRProgramBuilder {
     private FunctionNode wrapTopLevel(StatementNode stmt) {
         return new FunctionNode(
                 "_start",
-                null,
-                String.valueOf(List.of()),
+                List.of(),
+                "void",
                 List.of(stmt),
                 new NodeContext(-1, -1, "")
         );
diff --git a/src/main/java/org/jcnc/snow/compiler/lexer/token/TokenFactory.java b/src/main/java/org/jcnc/snow/compiler/lexer/token/TokenFactory.java
index 27ef96b..c22acf0 100644
--- a/src/main/java/org/jcnc/snow/compiler/lexer/token/TokenFactory.java
+++ b/src/main/java/org/jcnc/snow/compiler/lexer/token/TokenFactory.java
@@ -12,7 +12,7 @@ import java.util.Set;
  * </p>
  *
  * <p>
- * 主要功能与特性: 
+ * 主要功能与特性:
  * <ul>
  *     <li>统一管理语言关键字和类型名集合，便于扩展与维护。</li>
  *     <li>自动推断 Token 类型，无需外部干预。</li>
@@ -25,7 +25,7 @@ public class TokenFactory {
     /**
      * 语言的保留关键字集合。
      */
-    private static final Set<String> KEYWORDS = Set.of("module", "function", "parameter", "return_type", "body", "end", "if", "then", "else", "loop", "declare", "return", "import", "init", "cond", "step");
+    private static final Set<String> KEYWORDS = Set.of("module", "function", "parameter", "return_type", "body", "end", "if", "then", "else", "loop", "declare", "return", "import", "init", "cond", "step","globals");
 
     /**
      * 内置类型名称集合，如 int、string 等。
diff --git a/src/main/java/org/jcnc/snow/compiler/parser/ast/ModuleNode.java b/src/main/java/org/jcnc/snow/compiler/parser/ast/ModuleNode.java
index 84262dd..2a1b371 100644
--- a/src/main/java/org/jcnc/snow/compiler/parser/ast/ModuleNode.java
+++ b/src/main/java/org/jcnc/snow/compiler/parser/ast/ModuleNode.java
@@ -18,6 +18,7 @@ import java.util.StringJoiner;
 public record ModuleNode(
         String name,
         List<ImportNode> imports,
+        List<DeclarationNode> globals,
         List<FunctionNode> functions,
         NodeContext context
 ) implements Node {
@@ -33,12 +34,17 @@ public record ModuleNode(
         for (ImportNode imp : imports) {
             importJoiner.add(imp.moduleName());
         }
+        StringJoiner globalJoiner = new StringJoiner(", ");
+        for (DeclarationNode g : globals) {
+            globalJoiner.add(g.getType() + " " + g.getName());
+        }
         StringJoiner funcJoiner = new StringJoiner(", ");
         for (FunctionNode fn : functions) {
             funcJoiner.add(fn.name());
         }
         return "Module(name=" + name
                 + ", imports=[" + importJoiner + "]"
+                + ", globals=[" + globalJoiner + "]"
                 + ", functions=[" + funcJoiner + "])";
     }
 }
diff --git a/src/main/java/org/jcnc/snow/compiler/parser/module/ModuleParser.java b/src/main/java/org/jcnc/snow/compiler/parser/module/ModuleParser.java
index 5cc7335..f438719 100644
--- a/src/main/java/org/jcnc/snow/compiler/parser/module/ModuleParser.java
+++ b/src/main/java/org/jcnc/snow/compiler/parser/module/ModuleParser.java
@@ -1,6 +1,7 @@
 package org.jcnc.snow.compiler.parser.module;
 
 import org.jcnc.snow.compiler.lexer.token.TokenType;
+import org.jcnc.snow.compiler.parser.ast.DeclarationNode;
 import org.jcnc.snow.compiler.parser.ast.FunctionNode;
 import org.jcnc.snow.compiler.parser.ast.ImportNode;
 import org.jcnc.snow.compiler.parser.ast.ModuleNode;
@@ -10,6 +11,7 @@ import org.jcnc.snow.compiler.parser.context.ParserContext;
 import org.jcnc.snow.compiler.parser.context.TokenStream;
 import org.jcnc.snow.compiler.parser.context.UnexpectedToken;
 import org.jcnc.snow.compiler.parser.function.FunctionParser;
+import org.jcnc.snow.compiler.parser.statement.DeclarationStatementParser;
 
 import java.util.ArrayList;
 import java.util.List;
@@ -17,7 +19,7 @@ import java.util.List;
 /**
  * {@code ModuleParser} 负责解析源码中的模块结构，是顶层结构解析器实现之一。
  * <p>
- * 模块定义可包含多个导入（import）语句和函数定义（function），
+ * 模块定义可包含多个导入（import）语句、globals 全局声明和函数定义（function），
  * 导入语句可在模块中任意位置出现，且允许模块体中穿插任意数量的空行（空行会被自动忽略，不影响语法结构）。
  * </p>
  *
@@ -26,6 +28,8 @@ import java.util.List;
  * <pre>
  * module: mymod
  *   import ...
+ *   globals:
+ *     declare ...
  *   function ...
  *   ...
  * end module
@@ -40,7 +44,7 @@ public class ModuleParser implements TopLevelParser {
      * 解析过程包括:
      * <ol>
      *     <li>匹配模块声明起始 {@code module: IDENTIFIER}。</li>
-     *     <li>收集模块体内所有 import 和 function 语句，允许穿插空行。</li>
+     *     <li>收集模块体内所有 import、globals 和 function 语句，允许穿插空行。</li>
      *     <li>匹配模块结束 {@code end module}。</li>
      * </ol>
      * 若遇到未识别的语句，将抛出 {@link UnexpectedToken} 异常，定位错误位置和原因。
@@ -64,12 +68,15 @@ public class ModuleParser implements TopLevelParser {
         ts.expectType(TokenType.NEWLINE);
 
         List<ImportNode> imports = new ArrayList<>();
+        List<DeclarationNode> globals = new ArrayList<>();
         List<FunctionNode> functions = new ArrayList<>();
 
         ImportParser importParser = new ImportParser();
         FunctionParser funcParser = new FunctionParser();
+        DeclarationStatementParser globalsParser = new DeclarationStatementParser();
 
         while (true) {
+            // 跳过空行
             if (ts.peek().getType() == TokenType.NEWLINE) {
                 ts.next();
                 continue;
@@ -78,12 +85,33 @@ public class ModuleParser implements TopLevelParser {
                 break;
             }
             String lex = ts.peek().getLexeme();
-            if ("import".equals(lex)) {
-                imports.addAll(importParser.parse(ctx));
-            } else if ("function".equals(lex)) {
-                functions.add(funcParser.parse(ctx));
-            } else {
-                throw new UnexpectedToken(
+            switch (lex) {
+                case "import" -> imports.addAll(importParser.parse(ctx));
+                case "function" -> functions.add(funcParser.parse(ctx));
+                case "globals" -> {
+                    ts.expect("globals");
+                    ts.expect(":");
+                    ts.expectType(TokenType.NEWLINE);
+                    while (true) {
+                        if (ts.peek().getType() == TokenType.NEWLINE) {
+                            ts.next();
+                            continue;
+                        }
+                        String innerLex = ts.peek().getLexeme();
+                        if ("declare".equals(innerLex)) {
+                            globals.add(globalsParser.parse(ctx));
+                        } else if ("function".equals(innerLex) || "import".equals(innerLex) || "end".equals(innerLex)) {
+                            break;
+                        } else {
+                            throw new UnexpectedToken(
+                                    "globals 区块中不支持的内容: " + innerLex,
+                                    ts.peek().getLine(),
+                                    ts.peek().getCol()
+                            );
+                        }
+                    }
+                }
+                case null, default -> throw new UnexpectedToken(
                         "Unexpected token in module: " + lex,
                         ts.peek().getLine(),
                         ts.peek().getCol()
@@ -94,6 +122,6 @@ public class ModuleParser implements TopLevelParser {
         ts.expect("end");
         ts.expect("module");
 
-        return new ModuleNode(name, imports, functions, new NodeContext(line, column, file));
+        return new ModuleNode(name, imports, globals, functions, new NodeContext(line, column, file));
     }
 }
diff --git a/src/main/java/org/jcnc/snow/compiler/parser/utils/ASTJsonSerializer.java b/src/main/java/org/jcnc/snow/compiler/parser/utils/ASTJsonSerializer.java
index 9091af8..b3094c1 100644
--- a/src/main/java/org/jcnc/snow/compiler/parser/utils/ASTJsonSerializer.java
+++ b/src/main/java/org/jcnc/snow/compiler/parser/utils/ASTJsonSerializer.java
@@ -14,7 +14,7 @@ import java.util.*;
  * 并可借助 {@code JSONParser.toJson(Object)} 方法将其序列化为 JSON 字符串，用于调试、
  * 可视化或跨语言数据传输。
  * <p>
- * 支持的节点类型包括（新增对 {@code BoolLiteralNode}、{@code UnaryExpressionNode} 的完整支持）: 
+ * 支持的节点类型包括:
  * <ul>
  *   <li>{@link ModuleNode}</li>
  *   <li>{@link FunctionNode}</li>
@@ -83,7 +83,7 @@ public class ASTJsonSerializer {
         return switch (n) {
             // 模块节点
             case ModuleNode(
-                    String name, List<ImportNode> imports, List<FunctionNode> functions, NodeContext _
+                    String name, List<ImportNode> imports, List<DeclarationNode> globals, List<FunctionNode> functions, NodeContext _
             ) -> {
                 Map<String, Object> map = newNodeMap("Module");
                 map.put("name", name);
@@ -92,6 +92,15 @@ public class ASTJsonSerializer {
                     imps.add(Map.of("type", "Import", "module", imp.moduleName()));
                 }
                 map.put("imports", imps);
+                List<Object> globs = new ArrayList<>(globals.size());
+                for (DeclarationNode d : globals) {
+                    Map<String, Object> decl = newNodeMap("Declaration");
+                    decl.put("name", d.getName());
+                    decl.put("varType", d.getType());
+                    decl.put("init", d.getInitializer().map(ASTJsonSerializer::exprToMap).orElse(null));
+                    globs.add(decl);
+                }
+                map.put("globals", globs);
                 List<Object> funcs = new ArrayList<>(functions.size());
                 for (FunctionNode f : functions) {
                     funcs.add(nodeToMap(f));
diff --git a/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java b/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java
index 0803ee0..cb54eb6 100644
--- a/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java
+++ b/src/main/java/org/jcnc/snow/compiler/semantic/core/FunctionChecker.java
@@ -2,6 +2,7 @@ package org.jcnc.snow.compiler.semantic.core;
 
 import org.jcnc.snow.compiler.parser.ast.FunctionNode;
 import org.jcnc.snow.compiler.parser.ast.ModuleNode;
+import org.jcnc.snow.compiler.parser.ast.DeclarationNode;
 import org.jcnc.snow.compiler.parser.ast.ReturnNode;
 import org.jcnc.snow.compiler.semantic.analyzers.base.StatementAnalyzer;
 import org.jcnc.snow.compiler.semantic.error.SemanticError;
@@ -16,7 +17,7 @@ import org.jcnc.snow.compiler.semantic.type.BuiltinType;
  * 它逐个遍历所有模块中的函数定义，并对函数体中的每一条语句调用对应的语义分析器，
  * 执行类型检查、作用域验证、错误记录等任务。
  * <p>
- * 核心职责包括: 
+ * 核心职责包括:
  * <ul>
  *   <li>为每个函数构建局部符号表并注册函数参数为变量；</li>
  *   <li>分发函数体语句至相应的 {@link StatementAnalyzer}；</li>
@@ -39,7 +40,7 @@ public record FunctionChecker(Context ctx) {
     /**
      * 执行函数体检查流程。
      * <p>
-     * 对所有模块中的所有函数依次进行处理: 
+     * 对所有模块中的所有函数依次进行处理:
      * <ol>
      *   <li>查找模块对应的 {@link ModuleInfo}；</li>
      *   <li>创建函数局部符号表 {@link SymbolTable}，并注册所有参数变量；</li>
@@ -54,11 +55,18 @@ public record FunctionChecker(Context ctx) {
             // 获取当前模块对应的语义信息
             ModuleInfo mi = ctx.modules().get(mod.name());
 
+            // 先构建全局符号表
+            SymbolTable globalScope = new SymbolTable(null);
+            for (DeclarationNode g : mod.globals()) {
+                var t = ctx.parseType(g.getType());
+                globalScope.define(new Symbol(g.getName(), t, SymbolKind.VARIABLE));
+            }
+
             // 遍历模块中所有函数定义
             for (FunctionNode fn : mod.functions()) {
 
-                // 构建函数局部作用域符号表，设置父作用域为 null
-                SymbolTable locals = new SymbolTable(null);
+                // 构建函数局部作用域符号表，父作用域为 globalScope
+                SymbolTable locals = new SymbolTable(globalScope);
 
                 // 将函数参数注册为局部变量
                 fn.parameters().forEach(p ->