Ensuring correctness through the type system - 资讯列表