1
0
mirror of https://github.com/exaloop/codon.git synced 2025-06-03 15:03:52 +08:00
codon/stdlib/internal/sort.codon
Ibrahim Numanagić 5de233a64e
Dynamic Polymorphism (#58)
* Use Static[] for static inheritance

* Support .seq extension

* Fix #36

* Polymorphic typechecking; vtables [wip]

* v-table dispatch [wip]

* vtable routing [wip; bug]

* vtable routing [MVP]

* Fix texts

* Add union type support

* Update FAQs

* Clarify

* Add BSL license

* Add makeUnion

* Add IR UnionType

* Update union representation in LLVM

* Update README

* Update README.md

* Update README

* Update README.md

* Add benchmarks

* Add more benchmarks and README

* Add primes benchmark

* Update benchmarks

* Fix cpp

* Clean up list

* Update faq.md

* Add binary trees benchmark

* Add fannkuch benchmark

* Fix paths

* Add PyPy

* Abort on fail

* More benchmarks

* Add cpp word_count

* Update set_partition cpp

* Add nbody cpp

* Add TAQ cpp; fix word_count timing

* Update CODEOWNERS

* Update README

* Update README.md

* Update CODEOWNERS

* Fix bench script

* Update binary_trees.cpp

* Update taq.cpp

* Fix primes benchmark

* Add mandelbrot benchmark

* Fix OpenMP init

* Add Module::unsafeGetUnionType

* UnionType [wip] [skip ci]

* Integrate IR unions and Union

* UnionType refactor [skip ci]

* Update README.md

* Update docs

* UnionType [wip] [skip ci]

* UnionType and automatic unions

* Add Slack

* Update faq.md

* Refactor types

* New error reporting [wip]

* New error reporting [wip]

* peglib updates [wip] [skip_ci]

* Fix parsing issues

* Fix parsing issues

* Fix error reporting issues

* Make sure random module matches Python

* Update releases.md

* Fix tests

* Fix #59

* Fix #57

* Fix #50

* Fix #49

* Fix #26; Fix #51; Fix #47; Fix #49

* Fix collection extension methods

* Fix #62

* Handle *args/**kwargs with Callable[]; Fix #43

* Fix #43

* Fix Ptr.__sub__; Fix polymorphism issues

* Add typeinfo

* clang-format

* Upgrade fmtlib to v9; Use CPM for fmtlib; format spec support; __format__ support

* Use CPM for semver and toml++

* Remove extension check

* Revamp str methods

* Update str.zfill

* Fix thunk crashes [wip] [skip_ci]

* Fix str.__reversed__

* Fix count_with_max

* Fix vtable memory allocation issues

* Add poly AST tests

* Use PDQsort when stability does not matter

* Fix dotted imports; Fix  issues

* Fix kwargs passing to Python

* Fix #61

* Fix #37

* Add isinstance support for unions; Union methods return Union type if different

* clang-format

* Nicely format error tracebacks

* Fix build issues; clang-format

* Fix OpenMP init

* Fix OpenMP init

* Update README.md

* Fix tests

* Update license [skip ci]

* Update license [ci skip]

* Add copyright header to all source files

* Fix super(); Fix error recovery in ClassStmt

* Clean up whitespace [ci skip]

* Use Python 3.9 on CI

* Print info in random test

* Fix single unions

* Update random_test.codon

* Fix polymorhic thunk instantiation

* Fix random test

* Add operator.attrgetter and operator.methodcaller

* Add code documentation

* Update documentation

* Update README.md

* Fix tests

* Fix random init

Co-authored-by: A. R. Shajii <ars@ars.me>
2022-12-04 19:45:21 -05:00

85 lines
2.5 KiB
Python

# Copyright (C) 2022 Exaloop Inc. <https://exaloop.io>
from algorithms.pdqsort import pdq_sort_inplace
from algorithms.insertionsort import insertion_sort_inplace
from algorithms.heapsort import heap_sort_inplace
from algorithms.qsort import qsort_inplace
from algorithms.timsort import tim_sort_inplace
def sorted(
v: Generator[T],
key=Optional[int](),
reverse: bool = False,
algorithm: Static[str] = "auto",
T: type,
) -> List[T]:
"""
Return a sorted list of the elements in v
"""
newlist = [a for a in v]
if not isinstance(key, Optional):
newlist.sort(key, reverse, algorithm)
else:
newlist.sort(reverse=reverse, algorithm=algorithm)
return newlist
def _is_pdq_compatible(x):
if (isinstance(x, int) or
isinstance(x, float) or
isinstance(x, bool) or
isinstance(x, byte) or
isinstance(x, str) or
isinstance(x, Int) or
isinstance(x, UInt)):
return True
elif isinstance(x, Tuple):
for a in x:
if not _is_pdq_compatible(a):
return False
return True
else:
return False
def _sort_list(
self: List[T], key: Callable[[T], S], algorithm: Static[str], T: type, S: type
):
if algorithm == "tim" or algorithm == "auto":
tim_sort_inplace(self, key)
elif algorithm == "pdq":
pdq_sort_inplace(self, key)
elif algorithm == "insertion":
insertion_sort_inplace(self, key)
elif algorithm == "heap":
heap_sort_inplace(self, key)
elif algorithm == "quick":
qsort_inplace(self, key)
else:
compile_error("invalid sort algorithm")
@extend
class List:
def sort(
self,
key=Optional[int](),
reverse: bool = False,
algorithm: Static[str] = "auto",
):
if isinstance(key, Optional):
if algorithm == "auto":
# Python uses Timsort in all cases, but if we
# know stability does not matter (i.e. sorting
# primitive type with no key), we will use
# faster PDQ instead. PDQ is ~50% faster than
# Timsort for sorting 1B 64-bit ints.
if self:
if _is_pdq_compatible(self[0]):
pdq_sort_inplace(self, lambda x: x)
else:
tim_sort_inplace(self, lambda x: x)
else:
_sort_list(self, lambda x: x, algorithm)
else:
_sort_list(self, key, algorithm)
if reverse:
self.reverse()