化「元类型」而「元类型」

汉语：类型构造器：指定引用中保存的值类型，形成可变引用类型。 文言：定所藏值类，成可变引之类。 赋曰：先定匣中何物藏，方开引用一门堂。名随处在值能换，来往皆须合旧章。

化「元类型」而「元类型」

汉语：类型构造器：指定元素类型，形成同类元素的可变数组引用类型。 文言：定元素之类，成同类可变数组引之类。 赋曰：长廊诸室共规章，先定珍藏哪一方。各格能更同类物，从零数到末间房。

承「甲」而化「甲」而（「引用类」于「甲」）

汉语：将初始值保存到一个新可变引用中，返回引用。 文言：藏初值于新引，得引而还。 赋曰：新匣藏珠有定方，凭签来取旧珍藏。从今值可随时换，一处安身待后章。

承「甲」而化（「引用类」于「甲」）而「甲」

汉语：返回引用当前保存的值。 文言：读引中今值而还之。 赋曰：循签开匣取今珠，旧日光华未必如。只认此时所藏物，传来掌上照新书。

承「甲」而化（「引用类」于「甲」）而化「甲」而「有」

汉语：依次接收引用和值，用新值替换引用内容，返回元。 文言：受引及值，以新易藏，归元。 赋曰：旧匣新珠换一回，来人仍向此门来。不移门址移中物，今后开函见别裁。

承「甲」而化「甲」而化「整数」而（「数组引用类」于「甲」）

TODO：我们需要考虑加入边界检查！ 汉语：接收初始值和非负长度，创建每个槽位都保存该值的数组引用；不会深复制该值。 文言：以初值充非负长之诸位，物本同一，不深抄之。 赋曰：一珠分影满长廊，格格同存最初光。莫把同源当别体，原身依旧在中藏。

承「甲」而化「整数」而（「数组引用类」于「甲」）

！！读取一个未初始化的数组不是安全的 汉语：接收非负长度，分配未初始化的数组引用；每个槽位必须先写后读。 文言：依非负长造数组而不置初值；诸位须先写后读。 赋曰：空阁分间待客来，诸门未置案和杯。先将实物安其室，方可开门取所栽。

承「甲」而化（「数组引用类」于「甲」）而化「整数」而「甲」

汉语：接收数组引用和从零开始的索引，读取对应值；调用者须保证索引有效且槽位已初始化。 文言：按零起序读数组之位；须在界内且已置值。 赋曰：按号开门取旧藏，从零起步莫逾疆。须知此室曾安物，空阁休凭想象量。

承「甲」而化（「数组引用类」于「甲」）而化「整数」而化「甲」而「有」

汉语：接收数组引用、从零开始的索引和值，写入对应槽位，返回元；调用者须保证索引在界内。 文言：按零起序写数组之位，归元；须自守界。 赋曰：持珠按号入长廊，认准房门换旧藏。写罢归来无所带，后来人见此新光。

「元类型」

汉语：混合数组的底层类型，各槽位可存不同类型，类型一致性与边界由调用者维护。 文言：杂数组之类也，诸位可异，用者自守类与界。 赋曰：百宝分居一处堂，门门异色各珍藏。持签须记原来类，莫混珠光与玉光。

化「整数」而「混合数组引用类」

汉语：按非负长度创建未初始化的混合数组，各槽位可存不同类型；须先写后读。 文言：造非负长之杂数组，诸位可异类，须先写而后读。 赋曰：多间空阁向阳开，各待珍奇异类来。未置一物休先取，先藏后读始无猜。

承「甲」而化「混合数组引用类」而化「整数」而「甲」

汉语：按从零开始的索引读取混合数组槽位；类型参数须与写入值一致，且索引有效、槽位已初始化。 文言：按序读杂数组，所授类须合所藏，位须有值且在界内。 赋曰：异宝同楼各有门，持签须识物真身。莫将玉匣称金瓮，按位循名始得珍。

承「甲」而化「混合数组引用类」而化「整数」而化「甲」而「有」

汉语：依次接收混合数组引用、索引和值，写入后返回元；索引须在界内，后续读取须使用对应类型。 文言：以值写杂数组之位而归元；序须在界，后读须同类。 赋曰：百样珍奇各入房，按号安置记其章。后来若问何名物，须与今时同一方。