Ironwall Overview

Ironwall 概览

Ironwall 概覽

Ironwall is a small, strongly typed, safety-first language designed for explicit boundaries, predictable runtime behavior, and low implementation complexity. Its design favors clear rules over language magic, auditable runtime costs over hidden mechanisms, and direct failure over recovery machinery that can hide broken invariants.

Ironwall 是一门强类型、安全优先的语言，目标是提供显式边界、可预测的运行时行为，以及较低的实现复杂度。 它的设计偏向清楚规则，而不是语言魔法；偏向可审计的运行时代价，而不是隐藏机制；偏向直接失败，而不是用恢复机制掩盖已经破坏的不变式。

Ironwall 是一門強型別、安全優先的語言，目標是提供顯式邊界、可預測的執行期行為，以及較低的實作複雜度。 它的設計偏向清楚規則，而不是語言魔法；偏向可審計的執行期代價，而不是隱藏機制；偏向直接失敗，而不是用恢復機制掩蓋已經破壞的不變式。

Ironwall is intended to compile to native targets while keeping the core language model compact and inspectable. It accepts only a limited set of abstractions that improve practical expression without turning the language into a hard-to-audit system.

Ironwall 以编译到 native 目标为方向，同时保持核心语言模型紧凑、可检查。它只接受一组有限的抽象能力， 用来提升实际表达力，而不是把语言变成难以审计的系统。

Ironwall 以編譯到 native 目標為方向，同時保持核心語言模型緊湊、可檢查。它只接受一組有限的抽象能力， 用來提升實際表達力，而不是把語言變成難以審計的系統。

Key Features

关键特性

關鍵特性

• Compile to native targets
• Strong, explicit typing
• Mainly nominal types
• Higher-order functions
• Union types with exhaustive match
• Simple generics with explicit instantiation
• Mandatory, explicitly triggered Stop-The-World GC
• No macros, null, type aliases, inheritance, or language-level exceptions

• 编译到 native 目标
• 强类型，显式类型优先
• 主要采用名义类型
• 高阶函数
• 带穷尽 match 的 union type
• 显式实例化的简单泛型
• 强制且显式触发的 Stop-The-World GC
• 没有宏、null、type alias、继承或语言级异常

• 編譯到 native 目標
• 強型別，顯式型別優先
• 主要採用名義型別
• 高階函數
• 帶窮盡 match 的 union type
• 顯式實例化的簡單泛型
• 強制且顯式觸發的 Stop-The-World GC
• 沒有宏、null、type alias、繼承或語言級異常