basic-types

基礎型別

types — 型別定義

Nolang 型別到 LLVM 的對映關係：

Nolang	LLVM
bool	i1
byte	i8
char	i32
i8/i16/i32/i64/i128	i8/i16/i32/i64/i128
u8/u16/u32/u64/u128	i8/i16/i32/i64/i128
f32	float
f64	double
str	{*byte, i64, i64}（data, len, cap，堆分配）
txt	{ [255 x i8], i8 }（固定 256 字節）

複合型別：

• 變長數組 []t：底層 { t*, i64 }（data, len）
• 定長數組 [n]t：LLVM 固定大小陣列
• 字串 str：堆分配的位元組序列 {*byte, i64, i64}（data, len, cap），支援 s[i]、s[i..j]、s + t
• 固定字串 txt：固定 256 字節結構 { [255]byte data, byte len }，前 255 字節存儲數據，最後 1 字節存儲字節長度（0-255），無需堆分配，必須類型標註（t txt = 'abc'）；t.len() 回傳 code point 數量（與 str 對齊，等價 t.count()），t.len-bytes() 回傳字節數量；索引 t[i] 讀寫均以碼點為單位——讀回該碼點的 char（越界回傳 -1），寫入 t[i] = c 會把 c 重新 UTF-8 編碼並後移尾部字節（i 等於碼點數時為追加，總字節長超過 255 的部分丟棄）；字節級原始讀寫使用成對的 t.byte(i) / t.set-byte(i, b)。注意 str 的 s[i] = v 仍是字節級寫入，與 txt 在此有意分叉
• 列舉/Union：option tagged enum（ok t / nil / err str）
• 結構體：必須多行定義，欄位不加逗號
• 配列：底層 linked-hash-map
• 迭代器：for iter.next() {}（介面方法 next() (ok bool)）

option — 選項型別

option<t> 標籤列舉（tag=0=val, 1=nil, 2=err）：

x ?t                ; 宣告 option<t>
x = 42              ; 設為有值
x = nil             ; 設為空
x = err('msg')      ; 設為錯誤

; match
x: {
    val -> f(it)
    nil ->
    err -> g(it)
}  

風格指引： 函數可能失敗或返回空值時，應使用 ?t option 而非 (val, ok bool)。?t 有三種狀態：ok（有值）、nil（空值/正常缺失）、err（錯誤）。正常值會隱性綁定。例如 pop() 返回 ?i64（nil = 空）、read-line() 返回 ?str（nil = EOF，err = 錯誤）、lookup() 返回 ?str（nil = 未找到）。詳見語法文檔。

---