列表类型索引

此乃类型构造器列表索引之行为规范。此篇与汉语稿相应。

列表元素定义域可为整数、爻、字符串、递归列表。索引收字面列、已核类之变量及标准库罄、缀、附加之完备调用；径调用户函数则合专用诊断而拒，余计算先用 虑 缚之。

声明循所有者“豫言”、包名“标准库”、模块“数据结构/多态列。豫”之位核之，内建罄、缀径识。合法性检查循声明引用别名溯标准库总集之重出，不行函数体。对象检查所入隐式元素类由调用脊去之，罄不收显式实参，缀、附加各收二参。

规范形存有序字面段及变量段，去空列、合相邻字面段，循附加结合律规之；存变量之序及重复。元素循各自定义域递规之，预算由元素传尾列、由附加左列传右列，嵌套列表共耗同一预算。一百万步尽则报“类型规约超出步数”。

生产相等之较另治闭合列表，核双方已检查之隐式元素定义域而递较实规范值。缺域、含变量、余式皆还原结构比较。整数元素用数学整数多项式，不循机器整数回绕。

单层列表、嵌套列表、附加等价正例出七，次序异、径调用户函数反例皆如期拒之。完整自举、定点整体类检、豫构测试皆过；正式广义类型回归三十四项皆过。原生验收犹待毕。

长度、第N个、乘积之纯规范形规约及声明身份凡二十五专项断言皆过。长度、乘积已接整数之规（标准库 数据结构/多态列。豫 供「乘积」），含变量之整数索引依多项式较之，见依值类型。待办事项：第N个犹未接整数之规；含变量之列索引仍惟依结构较之。