Телеграмм чат группы pyTelegramBotAPI_talks

тип результата или сам резуьтат?

18:50пожаловаться #1

будем считать что foo это метафункция.
у нее нет имплементации, она просто показывает какой тип вернет при двух полученных аргументах.

мы берем список типов, и засовываем их в редьюс, и нам надо узнать какой тип будет в результате на этапе статического анализа

18:51пожаловаться #2

вот у тебя допустим функция

def and_(a: bool, b: bool) -> bool:
     return a and b

ты же не будешь для нее сигнатуры писать в духе

def and_(a: Literal[True], b: Literal[True]) -> Literal[True]: ...
def and_(a: Literal[False], b: Literal[True]) -> Literal[False]:...
def and_(a: Literal[False], b: Literal[False]) -> Literal[False]:...
def and_(a: Literal[False], b: Literal[False]) -> Literal[False]:...

18:52пожаловаться #3

не будешь

18:52пожаловаться #4

так и тут не делай фигни

18:52пожаловаться #5

не буду, но нам надо явно указать какой тип будет в результате

18:52пожаловаться #6

Функция что-то делает - и тебе важен тип результата, а его значение скрыто внутри функции.

18:52пожаловаться #7

в результате у тебя будет Type

18:53пожаловаться #8

функция возвращает тип. Тип типа - type

18:53пожаловаться #9

так это у нас метафункция

18:53пожаловаться #10

нету никаких метафункций

18:53пожаловаться #11

есть функции

18:53пожаловаться #12

ну так надо сделать чета такое

18:53пожаловаться #13

я с фпшником закусился

18:53пожаловаться #14

а дальше у функции есть область определения и область значений

18:53пожаловаться #15

если функция работает на множестве типов - она работает на множестве типов.

18:54пожаловаться #16

если функция работает на множестве булов - она работает на множестве булов

18:54пожаловаться #17

нет никакой разницы

18:54пожаловаться #18

В сигнатуре ты указываешь область определения и область значений.
Иногда у тебя функция может рабоатть на нескольких различных областях определения и выдавать соответственно значения из разных множеств. Тогда ты юзаешь overload.

Но в overload пихать множества состоящие из одного элемента и по сути дублировать логику работы функции - это херня

18:57пожаловаться #19

а как мне сделать так чтобы статический анализатор понял, какой тип будет при редьюсе какого-то тайплиста?