С 2018 года существует гораздо более короткое и элегантное решение. Просто используйте. Array.prototype.sort () .
Пример:
var items = [
{ name: 'Edward', value: 21 },
{ name: 'Sharpe', value: 37 },
{ name: 'And', value: 45 },
{ name: 'The', value: -12 },
{ name: 'Magnetic', value: 13 },
{ name: 'Zeros', value: 37 }
];
// sort by value
items.sort(function (a, b) {
return a.value - b.value;
});
Правильная тактика в этом случае - apply
.
apply my_first_proof.
rewrite
используется, чтобы заменить одну подтерму цели другой, обычно с леммой, показывающей, что эти подтермы в некотором смысле равны или эквивалентны my_first_proof
не является доказательством равенства.