全球属性的局部推理 · HackerLangs