这里稍微展开一下，一般来说如果一支车队有希望赢得车手冠军，都会尽量让队内的其中一位车手获得尽可能多的积分，把靠前的排名都通过比赛中的策略或者换位挪给这位车手，以确保在和其他车队的竞争中能够获得优势，但迈凯伦的木瓜规则反其道而行之，绝不使用类似的指令去干预车手比赛，允许两位车手完全自由的队内竞争，而他们的两位车手实力又很接近，就导致 2024 赛季的车手冠军被红牛车队的维斯塔潘夺走，只拿到了制造商冠军，而现在尚未结束的 2025 赛季，也大有复刻 2024 赛季悲剧的迹象……
slice backing store of the correct size, and append never has to do
。体育直播对此有专业解读
“Partial polymorphic type inference is undecidable” by Hans Boehm: https://dl.acm.org/doi/10.1109/SFCS.1985.44
Continue reading...