170 похожих чатов

Как в питоне указать, что в def split_at(seq: Sequence[T], at:

int) -> tuple[Sequence[T], Sequence[T]]: ...
тип seq совпадает с типами внутри тюпла?
T = TypeVar("T")
S = TypeVar("S", bound=Sequence[T])
не помог - баунд не может быть дженериком

15 ответов

7 просмотров

а покажи имплементацию

Алиса-Королёва Автор вопроса

Боюсь представить как надо написать код, чтобы это вообще сработало. В общем случае ты НЕ можешь создать объект такого же типа как сущестющий

Алиса-Королёва Автор вопроса
Tishka17
Боюсь представить как надо написать код, чтобы это...

ну в питоне вроде обычно нет штук типа str_view или list_view

Алиса Королёва
ну в питоне вроде обычно нет штук типа str_view ил...

А при чем тут str и list? Разных секвенсов бесконечно много

decorator-factory
seq[1:]

А разве у нас сигнатура секвенса требует чтобы срез возвращал тот же тип?

Tishka17
А разве у нас сигнатура секвенса требует чтобы сре...

а хм да, вообще нет https://github.com/python/typeshed/blob/main/stdlib/typing.pyi#L521-L522

Алиса-Королёва Автор вопроса
Tishka17
А разве у нас сигнатура секвенса требует чтобы сре...

да мне хоть как, главное чтобы тайпчекалось

Алиса Королёва
да мне хоть как, главное чтобы тайпчекалось

Как можно тайпчекать код, который невозможно написать?

Алиса-Королёва Автор вопроса
Tishka17
Как можно тайпчекать код, который невозможно напис...

def split_at(seq: ..., at: int) -> tuple[..., ...]: return seq[:at], seq[at:]

Алиса Королёва
def split_at(seq: ..., at: int) -> tuple[..., ...]...

Судя по ссылке выше, срез не обязан возвращать тот же тип. Он возвращает секвенс

Алиса Королёва
ну можно не тот же

Ну тогда то что ты изначально сказала

Алиса-Королёва Автор вопроса
Алиса Королёва
ну можно не тот же

собственно в том что я на расте написала типы разные

Похожие вопросы

Обсуждают сегодня

я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
короче сгенерила мне эта штука код на ассемблере: struc string val { common local .value dq .value .value: if ~val eq db val end if db 0 } fo...
Vi Chapmann Chapmann
12
Всем привет! Массив вводится с клавиатуры, кол-во элементов неизвестно, поэтому я указал arr db 100 dup(?) С нахождением максимума проблем нет, а вот минимум почему-то всегд...
En Vind Av Sorg
11
кто шарит: mattermost отслеживает что ты на пк запускаешь?
Valentin
13
Помогите, пожалуйста, делаю программу для для подсчёта корней квадратного уравнения, знаю, что есть куча недочётов, недоработок, но основная проблема в том, что почему-то при ...
NYC
13
#include <stdio.h> int main(void) { int n; scanf("%d", &n); int digits1[n] = {0}; int digits2[n] = {0}; я не могу таким образом заранее массив нулями заполнить?
Linus
12
в сях есть множество как в питоне? для удаление дубликатов
Linus
25
читать файл максимально быстро? странный вопрос))
zamtmn
53
я про форму записи. смысл указывать что 8 байтный регистр 8 байт?
Aiwan \ (•◡•) / _bot
10
Вроде бы вопрос уже заезжанный, но тем не менее У меня есть функция menu() которая выводит набор возможных действий, а затем спрашивает у пользователя что он хотел бы сделать....
David Golovatin
5
Карта сайта