Erlang lists:sort Ô´Âë·½·¨

×¢ÊÍдµÄÕæºÃ

406 %% sort(List) -> L

407 %% sorts the list L

408

409 -spec sort(List1) -> List2 when

410 List1 :: [T],

411 List2 :: [T],

412 T :: term().

413

414 sort([X, Y | L] = L0) when X =< Y ->

415 case L of

416 [] ->

417 L0;

418 [Z] when Y =< Z ->

419 L0;

420 [Z] when X =< Z ->

421 [X, Z, Y];

422 [Z] ->

423 [Z, X, Y];

424 _ when X == Y ->

425 sort_1(Y, L, [X]);

426 _ ->

427 split_1(X, Y, L, [], [])

428 end;

429 sort([X, Y | L]) ->

430 case L of

431 [] ->

432 [Y, X];

¡£¡£¡£¡£¡£¡£¡£¡£¡£¡£¡£¡£¡£¡£