https://jurnalpublikasi.com/zh/类型系統