Update Docs

Author: X-starRelight

.gitignore

@@ -6,3 +6,4 @@ cache/
 .vpm/
 Vix-lang/
 XpmCode/
+Vix-lang*/

.vitepress/config.mts

@@ -14,7 +14,8 @@ Vix 是一种轻量级、静态类型的编译型语言，目标是在保持语
 
 | 版本 | 文档 |
 |------|------|
-| **v0.2.0** (最新) | [中文](/v0.2.0/zh_CN/what-is-vix) \| [English](/v0.2.0/en/what-is-vix) \| [更新日志](/v0.2.0/zh_CN/release-notes) |
+| **v0.3.0** (最新) | [中文](/v0.3.0/zh_CN/what-is-vix) \| [English](/v0.3.0/en/what-is-vix) \| [更新日志](/v0.3.0/zh_CN/release-notes) |
+| **v0.2.0** | [中文](/v0.2.0/zh_CN/what-is-vix) \| [English](/v0.2.0/en/what-is-vix) \| [更新日志](/v0.2.0/zh_CN/release-notes) |
 | **v0.1.0** | [中文](/v0.1.0/zh_CN/what-is-vix) \| [English](/v0.1.0/en/what-is-vix) |
 
 ## 特性概览
@@ -57,7 +58,8 @@ make
 创建 `hello.vix`：
 
 ```vix
-fn main() -> i32 {
+fn main(): i32
+{
     print("Hello, Vix!")
     return 0
 }
@@ -79,14 +81,16 @@ fn main() -> i32 {
 ### 斐波那契
 
 ```vix
-fn fib(n: i32) -> i32 {
+fn fib(n: i32): i32
+{
     if (n <= 1) {
         return n
     }
     return fib(n - 1) + fib(n - 2)
 }
 
-fn main() -> i32 {
+fn main(): i32
+{
     print(fib(10))
     return 0
 }
@@ -95,8 +99,9 @@ fn main() -> i32 {
 ### for 循环
 
 ```vix
-fn main() -> i32 {
-    mut sum = 0
+fn main(): i32
+{
+    let mut sum = 0
     for (i in 1 .. 100) {
         sum = sum + i
     }
@@ -107,19 +112,18 @@ fn main() -> i32 {
 
 ## 文档
 
-- [CONTRIBUTING.md](/v0.1.0/zh_CN/CONTRIBUTING.md) —— 贡献指南，如何参与项目开发
-- [control-flow.md](/v0.1.0/zh_CN/control-flow.md) —— 控制流语句（if、循环等）的语法与用法
-- [functions.md](/v0.1.0/zh_CN/functions.md) —— 函数定义、调用、泛型等特性
-- [getting-started.md](/v0.1.0/zh_CN/getting-started.md) —— 快速入门指南，安装与第一个程序
-- [modules.md](/v0.1.0/zh_CN/modules.md) —— 模块系统，导入与导出规则
-- [pointers.md](/v0.1.0/zh_CN/pointers.md) —— 指针的声明、解引用、运算及使用示例
-- [stdlib.md](/v0.1.0/zh_CN/stdlib.md) —— 标准库提供的函数与常用模块
-- [structs.md](/v0.1.0/zh_CN/structs.md) —— 结构体定义、实例化、字段访问
-- [syntax.md](/v0.1.0/zh_CN/syntax.md) —— 完整语法参考，包含 EBNF 形式
-- [types.md](/v0.1.0/zh_CN/types.md) —— 类型系统：基本类型、泛型、联合类型等
-- [what-is-vix.md](/v0.1.0/zh_CN/what-is-vix.md) —— Vix 语言简介与设计目标
-
-> 提示：如果你只想从零开始跑通一次编译 + 运行，建议先看 [getting-started.md](/v0.1.0/zh_CN/getting-started.md)。
+- [control-flow.md](/v0.3.0/zh_CN/control-flow.md) —— 控制流语句（if、循环等）的语法与用法
+- [functions.md](/v0.3.0/zh_CN/functions.md) —— 函数定义、调用、泛型等特性
+- [getting-started.md](/v0.3.0/zh_CN/getting-started.md) —— 快速入门指南，安装与第一个程序
+- [modules.md](/v0.3.0/zh_CN/modules.md) —— 模块系统，导入与导出规则
+- [pointers.md](/v0.3.0/zh_CN/pointers.md) —— 指针的声明、解引用、运算及使用示例
+- [stdlib.md](/v0.3.0/zh_CN/stdlib.md) —— 标准库提供的函数与常用模块
+- [structs.md](/v0.3.0/zh_CN/type-struct.md) —— 结构体定义、实例化、字段访问
+- [syntax.md](/v0.3.0/zh_CN/syntax.md) —— 完整语法参考，包含 EBNF 形式
+- [types.md](/v0.3.0/zh_CN/types.md) —— 类型系统：基本类型、泛型、联合类型等
+- [what-is-vix.md](/v0.3.0/zh_CN/what-is-vix.md) —— Vix 语言简介与设计目标
+
+> 提示：如果你只想从零开始跑通一次编译 + 运行，建议先看 [getting-started.md](/v0.3.0/zh_CN/getting-started.md)。
 
 ## 参与贡献
 

index.md

@@ -0,0 +1,27 @@
+# Acknowledgements
+
+Vix Language is built on the shoulders of these open-source projects and communities.
+
+## Technology
+
+- **LLVM** — Compiler backend infrastructure
+- **Flex** — Lexer generator
+- **Bison** — Parser generator
+- **CMake** — Build system
+
+## Core Contributors
+
+- Daweidie — Project creator, core developer
+- Community contributors — See GitHub contributors list
+
+## Inspiration
+
+- **Rust** — Ownership and borrow checking concepts
+- **C** — Performance and low-level control
+- **Go** — Simplicity philosophy
+- **OCaml** — Hindley-Milner type inference
+
+## Contact
+
+- GitHub: [https://github.com/vixlang](https://github.com/vixlang)
+- Email: popolk1871@outlook.com

v0.3.0/en/acknowledgements.md

@@ -0,0 +1,81 @@
+# Compiler CLI Reference
+
+## Usage
+
+```
+vixc [options] <input.vix>
+vixc file1.o file2.o ... -o <output>
+```
+
+## Options
+
+| Flag | Description |
+|------|-------------|
+| `-o <file>` | Write output to `<file>` |
+| `-S [file]` | Emit assembly (default: `<input>.s`) |
+| `-obj [file]` | Emit object file (default: `<input>.o`) |
+| `-ll [file]` | Emit LLVM IR (default: `<input>.ll`) |
+| `-llvm` | Print LLVM IR to stdout |
+| `-ast` | Print AST to stdout |
+| `--debug` | Enable debug output |
+| `--check` | Syntax & type check only |
+| `--time` | Show phase timing breakdown |
+| `-opt=lN` | Set optimization level (N = 0..3) |
+| `--target=<triple>` | Set codegen/link target triple |
+| `-v, --version` | Display compiler version |
+| `-h, --help` | Display help message |
+
+## Attributes
+
+```vix
+#[no_std]   // Don't link standard library
+#[no_main]  // Don't require a main function
+```
+
+## Examples
+
+```bash
+# Compile to executable
+vixc hello.vix -o hello
+
+# Type check only
+vixc hello.vix --check
+
+# View AST
+vixc hello.vix -ast
+
+# View LLVM IR
+vixc hello.vix -llvm
+
+# Optimization level 3
+vixc hello.vix -opt=l3 -o hello
+
+# Cross-compile to ARM64
+vixc hello.vix --target=aarch64-linux-gnu -o hello
+
+# Cross-compile to WebAssembly
+vixc hello.vix --target=wasm32-unknown-unknown -o hello.wasm
+
+# Multi-object file linking
+vixc a.o b.o c.o -o program
+```
+
+## Linker C API
+
+```c
+typedef struct {
+    const char* target_triple;
+    int bare_mode;
+    const char* linker_script;
+    int static_link;
+    const char* entry_point;
+    const char* libc_dir;
+} VixLinkOptions;
+
+int vix_link(const char* obj_file, const char* output_file,
+             const VixLinkOptions* options, const char** error_msg);
+
+int vix_link_multi(const char** obj_files, int obj_count,
+                   const char* output_file,
+                   const VixLinkOptions* options, const char** error_msg);
+```

v0.3.0/en/compiler-cli.md

@@ -0,0 +1,58 @@
+# Compiler Architecture
+
+vixc is an AOT compiler that translates Vix sources to native executables. The frontend is written in C, backend in C++.
+
+## Compilation Pipeline
+
+```
+Source → Flex Lexer → Bison Parser → AST
+  → Import Inlining → Semantic Analysis → Type Check → Ownership Check
+  → LLVM IR Gen → LLC Object → LLD Link → Executable
+```
+
+## Source Organization
+
+```
+src/
+├── main.c              # Entry point, CLI, pipeline orchestration
+├── ast/ast.c           # AST node creation, manipulation, import inlining
+├── parser/
+│   ├── lexer.l         # Flex lexer
+│   └── parser.y        # Bison parser
+├── semantic/
+│   └── semantic.c      # Symbol table, scope analysis
+├── Typeck/
+│   ├── Typeck.cpp      # Hindley-Milner type checker
+│   ├── TypeckInfer.cpp # C bridge
+│   └── LayOut.cpp      # Type size/alignment
+├── Ownership/
+│   └── Ownership.cpp   # Ownership & borrow checker
+├── compiler/
+│   ├── CodeGen.cpp     # LLVM IR generation
+│   ├── Passes.cpp      # LLVM optimization
+│   ├── Llc/            # LLVM IR → object
+│   └── Linker/         # LLD linking
+├── utils/error.c       # Error reporting
+└── std/                # Standard library
+```
+
+## Headers
+
+| File | Purpose |
+|------|---------|
+| `include/ast.h` | AST node types, TypeInfo |
+| `include/codegen.h` | `llvm_emit_from_ast()` |
+| `include/compiler.h` | Error reporting API |
+| `include/env.h` | TypeEnv class |
+| `include/ownership.h` | `ownership_check_program()` |
+| `include/semantic.h` | Symbol table API |
+| `include/type.h` | Type system (C++ representation) |
+| `include/typeck.h` | `typecheck_program()` |
+| `include/unify.h` | Unifier engine |
+
+## Build
+
+```bash
+cmake -B build -DCMAKE_BUILD_TYPE=Release
+cmake --build build --config Release --parallel
+```

v0.3.0/en/compiler.md

@@ -0,0 +1,66 @@
+# Control Flow
+
+## if / elif / else
+
+```vix
+if (x > 10)
+{
+    print("greater than 10")
+} elif (x > 5)
+{
+    print("greater than 5")
+} else
+{
+    print("5 or less")
+}
+```
+
+## while Loop
+
+```vix
+let mut i = 0
+while (i < 10)
+{
+    print(i)
+    i += 1
+}
+```
+
+## for Loop
+
+```vix
+for (i in 0 .. 10)
+{
+    print(i)  // 0, 1, ..., 9
+}
+```
+
+## break and continue
+
+```vix
+// break
+for (i in 0 .. 100)
+{
+    if (i >= 10) { break }
+    print(i)
+}
+
+// continue
+for (i in 0 .. 10)
+{
+    if (i % 2 == 0) { continue }
+    print(i)  // odd numbers only
+}
+```
+
+## Nested Loops
+
+```vix
+for (x in 1 .. 3)
+{
+    for (y in 1 .. 3)
+    {
+        print(x, y)
+    }
+}
+```

v0.3.0/en/control-flow.md

@@ -0,0 +1,40 @@
+# Extern Functions
+
+## extern "C" Block
+
+```vix
+extern "C"
+{
+    fn printf(format: ptr, ...): i32
+    fn malloc(size: usize): ptr
+    fn free(ptr: ptr): void
+    fn strlen(s: ptr): usize
+}
+```
+
+## Variadic Functions
+
+```vix
+extern "C"
+{
+    fn printf(format: ptr, ...): i32
+    fn fprintf(file: ptr, format: ptr, ...): i32
+}
+```
+
+## Calling Extern Functions
+
+```vix
+fn main(): i32
+{
+    let msg = "Hello from C!\n"
+    printf(msg)
+    return 0
+}
+```
+
+## Notes
+
+- Extern declarations are registered in the outer scope
+- Avoid naming public wrappers the same as extern declarations (causes recursion)
+- Use `ptr` for C pointer types in FFI