结果类型 Result type

保存成功值或带类型失败值，供之后检查的一种类型。