容器（类型理论）-一流百科

容器（类型理论）

容器（类型理论）在类型理论中，容器是一种抽象，它允许各种集合类型，如列表和树，以统一的方式表示。容器的扩展是由一个形状（S型）和一个位置（P型）组成...

词条百科