p
а про что? :)
Size: a a a
2021 May 04
S
Про вход/выход, а не то, что неявно сбоку.
p
а ты не можешь избавиться от сайд-эффектов.
S
Так я и не прошу избавляться
Б
Так проаннотировали же)
Б
https://github.com/python/typeshed/blob/30154447e77d2492eafaad81567b64954c2eec57/stdlib/builtins.pyi#L1269-L1272
@overload
def sorted(__iterable: Iterable[SupportsLessThanT], *, key: None = ..., reverse: bool = ...) -> List[SupportsLessThanT]: ...
@overload
def sorted(__iterable: Iterable[_T], *, key: Callable[[_T], SupportsLessThan], reverse: bool = ...) -> List[_T]: ...
Б
Какие красивые превьюхи у гитхаба
Б
class reversed(Iterator[_T], Generic[_T]):
@overload
def __init__(self, __sequence: Sequence[_T]) -> None: ...
@overload
def __init__(self, __sequence: Reversible[_T]) -> None: ...
def __iter__(self) -> Iterator[_T]: ...
def __next__(self) -> _T: ...MV
Это, кажется, sorted/reversed
MV
А не sort/reverse
Б
А, речь о том, чтобы менять коллекцию
Б
Входные типы можно прописать без проблем
MK
что, народ хочет систему типов с контролем сайд эффектов?)
S
А есть такая?
MK
конечно, на любой вкус
SS
А в питоне? 😏
MK
есть даже системы типов, в которых можно сказать
sort :: xs : List[a] -> ys : SortedList[a] && SameElems(ys, xs) и тебе не дадут написать сортировку, которая не сортируетE
"Давай прод на Agda перепишем". С зависимыми типами. 😏😀
MK
я спросил кандидата на собесе, хотел бы он так сделать
MK
он сказал что нет