Nix 中记录串联的机械化类型推断 · HackerLangs