Ensuring correctness through the type system - 信息索引