表(List)是Verga的一个重要的数据结构。表是某一数据类型的数据的集合。表可以是空的,也可以通过insert方法向表中的某一位置插入一个元素,也可以通过delete方法删除表中的某一元素;可以通过下标运算或take函数访问表中的元素,通过scan函数来枚举表中的元素。
触品科技 Fuxi 表类型
最新推荐文章于 2023-08-25 18:46:38 发布
表(List)是Verga的一个重要的数据结构。表是某一数据类型的数据的集合。表可以是空的,也可以通过insert方法向表中的某一位置插入一个元素,也可以通过delete方法删除表中的某一元素;可以通过下标运算或take函数访问表中的元素,通过scan函数来枚举表中的元素。