用于记录串联的机械化类型推断 · HackerLangs