(left, right)
| 19 | return merge(left_arr1, right_arr1) |
| 20 | |
| 21 | def merge(left, right): |
| 22 | result = [] |
| 23 | while left and right: |
| 24 | result.append(left.pop(0) if left[0] <= right[0] else right.pop(0)) |
| 25 | # while left: |
| 26 | # result.append(left.pop(0)) |
| 27 | result.extend(left) |
| 28 | result.extend(right) |
| 29 | # while right: |
| 30 | # result.append(right.pop(0)) |
| 31 | return result |
| 32 | |
| 33 | |
| 34 | # 希尔 |